A847706-ОХФ Шелепова, Людмила Ивановна. Лексические разночтения в Прологе (по спискам XII-XVII вв.) [Текст] : учеб. пособие / Л. И. Шелепова ; . - Барнаул : [б. и.], 1992. - 106 с. - Библиогр. - ISBN 5-230-29679-8 : 7.00 р.
Рубрики: языкознание--славянские языки, 12-17 вв. Кл.слова (ненормированные): история русского языка -- древнерусский язык -- лексика -- Пролог -- письменность древнеславянская -- рукописи Экземпляры всего: 1 ОХФ (1) |
A852484-ОХФ Марселлус, Дэнэл, Н. Программирование экспертных систем на Турбо Прологе [Текст] = Expert Sistems Programming in Turbo Prolog / Дэнэл, Н. Марселлус ; . - Москва : Финансы и статистика, 1994. - 255 с. : ил. - ISBN 5-279-00613-0 : 1000.00 р.
Рубрики: вычислительная техника--искусственный интеллект--языки программирования Кл.слова (ненормированные): экспертные системы -- искусственный интеллект -- Турбо Пролог -- Пролог -- языки программирования Экземпляры всего: 1 ОХФ (1) |
A850464-ОХФ Стобо, Джон. Язык программирования Пролог [Текст] = Problem Solving with Prolog : учеб. пособие / Дж. Стобо ; . - Москва : Радио и связь, 1993. - 368 с. - ISBN 5-256-00921-4 : 450.00 р.
Рубрики: вычислительная техника--языки программирования Кл.слова (ненормированные): языки программирования -- Пролог Экземпляры всего: 1 ОХФ (1) |
A494526-ОХФ, A494581-ОХФ, A494625-ОХФ Тихонов, Юрий Вениаминович. МПролог-язык логического программирования: Версия 2. 3 [Текст] : рекомендовано Мин.образования / Юрий Вениаминович Тихонов. - Москва : Машиностроение, 1994. - 80 с. - (Пользователю ПК). - Библиогр. - ISBN 5-217-01557-8 : 500.00 р.
Рубрики: вычислительная техника--языки программирования Кл.слова (ненормированные): языки программирования -- Пролог Экземпляры всего: 3 ОХФ (3) |
A856987-ОХФ Грэй, Питер. Логика, алгебра и базы данных [Текст] / П. Грэй ; . - Москва : Машиностроение, 1989. - 360 с. - Библиогр. - ISBN 5-217-00178-X , 0-470-2025 (в пер.) : 3000.00 р.
Рубрики: вычислительная техника--базы и банки данных Кл.слова (ненормированные): математическая логика -- алгебра -- базы данных -- экспертные системы -- реляционное исчисление -- Кодасил концепция -- пролог Экземпляры всего: 1 ОХФ (1) |
A856988-ОХФ Чери, Стефано. Логическое программирование и базы данных [Текст] = Logic Programming and Databases / С. Чери, Г. Готлоб, Л. Танка ; . - Москва : Мир, 1992. - 352 с. : ил. - Библиогр. - ISBN 5-03-002472-7 : 4000.00 р.
Рубрики: вычислительная техника--базы и банки данных--программирование Кл.слова (ненормированные): логическое программирование -- базы данных -- Пролог -- Дейталог Доп. точки доступа: Готлоб, Г. Танка, Л. Экземпляры всего: 1 ОХФ (1) |
A629938-ОХФ Каймин, Виталий Адольфович. Научные основы и методика преподавания информатики [Текст] : метод. рекомендации для учителей и студентов педвузов / Виталий Адольфович Каймин. - Псков : Б. и., 1992. - 159 с. : ил. - Библиогр. - 2500.00 р.
Рубрики: вычислительная техника--информационные технологии Кл.слова (ненормированные): информатика -- компьютерная грамотность -- Пролог Экземпляры всего: 1 ОХФ (1) |
A496504-ОХФ, A496505-ОХФ Geske, Ulrich. Prolog: Grundlagen-Programmiermethoden-Standards [Текст] : научное издание / Ulrich Geske. - Berlin : Akad.-Verl., 1993. - 331 S. : Abb. - (Informatik ; Bd. 7.). - Bibliogr. - ISBN 3-05-501517-7 : 273000.00 р.
Рубрики: вычислительная техника--языки программирования Кл.слова (ненормированные): языки программирования -- Пролог -- программирование -- Prolog Экземпляры всего: 2 ОХФ (2) |
A877853-ОХФ, A877854-ОХФ, A877855-ОХФ, A877856-ОХФ, A877857-ОХФ Каймин, Виталий Адольфович. Информатика [Текст] : Учеб. для студентов вузов по естеств.-науч. спец. / Виталий Адольфович Каймин. - 2-е изд., перераб. и доп. - Москва : Инфра-М, 2002. - 271, [1] c. : ил. - (Высшее образование). - Библиогр. - ISBN 5-16-000612-5 (в пер.) : 56.56 р.
Рубрики: вычислительная техника--ЭВМ Кл.слова (ненормированные): информатика -- информационные технологии -- Интернет -- персональный компьютер (ПК) -- базы данных -- Пролог -- языки программирования -- Internet Экземпляры всего: 5 ОХФ (5) |
A886630-ОХФ, A887010-ОХФ-ЧЗ-4, A887011-ОХФ-ЧЗ-4 Каймин, Виталий Адольфович. Информатика [Текст] : учеб. для студентов высш. учеб. заведений, обучающихся по естеств.-науч. направлениям и специальностям / Виталий Адольфович Каймин. - 4-е изд. - Москва : ИНФРА-М, 2004. - 283, [5] с. - (Высшее образование). - Библиогр.: с. 281-282 (27 назв.). - ISBN 5-16-001928-6 (в пер.) : 103.103 р.
Рубрики: вычислительная техника--информационные технологии Кл.слова (ненормированные): информатика -- информационные технологии -- Интернет -- Пролог -- языки программирования -- Internet Экземпляры всего: 3 ОХФ (1), ОХФ-ЧЗ-4 (2) |
A963080-ОХФ Державина, Ольга Александровна. Древняя Русь в русской литературе XIX века. (Сюжеты и образы древнерусской литературы в творчестве писателей XIX века) [Текст] / О. А. Державина ; Пролог. Избранные тексты / отв. ред. В. П. Гребенюк ; Акад. наук СССР, Ин-т мировой лит. им. А. М. Горького. - Москва : ИМЛИ АН СССР [изд.], 1990. - 416 с. - Имен. указ.: с. 392-412. - ISBN [Б. и.] : 35.00 р.
Рубрики: литературоведение--русская литература--Россия, 19 в.; 17 в. Кл.слова (ненормированные): персоналии -- русская литература -- древнерусская литература -- литературные образы -- литературные сюжеты -- сюжеты исторические -- Пролог Доп. точки доступа: Гребенюк, В. П. Экземпляры всего: 1 ОХФ (1) |
A965975-ОХФ-ЧЗ-4 Каймин, Виталий Адольфович. Информатика [Текст] : учебник / В. А. Каймин ; М-во образования Рос. Федерации. - 5-е изд. - Москва : ИНФРА-М, 2006. - 283, [5] с. : ил. - (Высшее образование). - Библиогр.: с. 281-282 (27 назв.). - ISBN 5-16-002584-7 (в пер.) : 99.90 р. Рекомендовано М-вом образования Рос. Федерации в качестве учеб. для студентов вузов, обучающихся по естеств.- науч. направлениям и специальностям
Рубрики: вычислительная техника--информационные технологии Кл.слова (ненормированные): информатика -- информационные технологии -- Интернет -- Пролог -- языки программирования -- Internet Экземпляры всего: 1 ОХФ-ЧЗ-4 (1) |
Учебная литература, A978146-ОХФ, A978147-ОХФ, Каймин, Виталий Адольфович. Информатика [Текст] : учебник / В. А. Каймин. - 5-е изд. - Москва : Инфра-М, 2008. - 283, [5] с. : рис. - (Высшее образование). - Библиогр.: с. 281-282 (27 назв.). - ISBN 978-5-16-002584-1 (в пер.) : 109.00 р. Рекомендовано М-вом образования РФ в качестве учеб. для студентов вузов, обучающихся по естеств.-науч. направлениям и специальностям
Рубрики: вычислительная техника--информационные технологии Кл.слова (ненормированные): информатика -- информационные технологии -- Интернет -- Пролог -- языки программирования -- Internet Экземпляры всего: 10 ОХФ (2), ОУОЕН (8) |
Учебная литература, A981975-ОХФ-СБО, Н. Г. Чернышевский. Статьи, исследования и материалы [Текст] : сборник научных трудов / Сарат. гос. ун-т им. Н. Г. Чернышевского, Пед. ин-т, Музей-усадьба Н. Г. Чернышевского ; редкол.: А. А. Демченко (отв. ред.) [и др.]. - Саратов : Издательский центр "Наука". - Загл., сост. каталогизатором : Чернышевский. Статьи, исследования и материалы. Вып. 16. - Саратов : Издательский центр "Наука", 2007. - 190, [2] с. - ISBN 978-5-91272-092-9 : 50.00 р., 209.00 р., 125.00 р.
Рубрики: литературоведение--русская литература--Россия, 19 в. Кл.слова (ненормированные): персоналии -- русская литература -- литературная критика -- "Современник" -- "Что делать?" -- романы -- "Остров Орельяно" -- "Пролог" -- личные библиотеки -- "Анна Каренина" -- интертекстуальность -- "Повести в повести" -- литературные связи -- проза -- литературные музеи -- Чернышевского Н. Г. Дом-музей Аннотация: В сборнике представлены труды ученых из Саппоро (Япония), Баку (Азербайджана), Елабуги (Татарстан), Тамбова, Саратова, Балашова, исследующих биографию Н. Г. Чернышевского, его философские и литературно-критические воззрения, созданные во время тюремного заключения в Петропавловской крепости в Сибири. Держатели документа: ЗНБ СГУ Доп. точки доступа: Демченко, Адольф Андреевич \\редкол.\\ (отв. ред.) Белов, Владимир Николаевич \\редкол.\\ Борисов, Юрий Николаевич \\редкол.\\ Захарова, И. Е. \\редкол.\\ Троицкий, Николай Алексеевич \\редкол.\\ Экземпляры всего: 4 ОХФ-СБО (1), ОУООПН-ЧЗ 14 (1), ОУООПН-АБ 4 (2) |
A983160-ОХФ-ЧЗ-4 Гринченков, Дмитрий Валерьевич. Математическая логика и теория алгоритмов для программистов [Текст] : учеб. пособие / Д. В. Гринченков, С. И. Потоцкий. - Москва : КНОРУС, 2010. - 206, [2] с. - Библиогр.: с. 205-206 (24 назв.). - ISBN 978-5-406-00120-2 (в пер.) : 140.00 р. Допущено М-вом образования и науки РФ в качестве учеб. пособия для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- булева алгебра -- множеств теория -- нечеткие множества -- логическое программирование -- Пролог -- языки программирования Доп. точки доступа: Потоцкий, Сергей Иванович Экземпляры всего: 1 ОХФ-ЧЗ-4 (1) |
A986043-ОХФ-ЧЗ-4 Сергиевский, Георгий Максимович. Функциональное и логическое программирование [Текст] : учеб. пособие для студентов вузов / Г. М. Сергиевский, Н. Г. Волчёнков. - Москва : Изд. центр "Академия", 2010. - 317, [3] с. - (Высшее профессиональное образование. Информатика и вычислительная техника). - Библиогр.: с. 313-314. - ISBN 978-5-7695-6433-8 (в пер.) : 490.60 р. Допущено Учеб.-метод. об-нием вузов по унив. политехн. образованию в качестве учеб. пособия для студентов вузов, обучающихся по направлению "Информатика и вычислительная техника"
Рубрики: вычислительная техника--программирование Кл.слова (ненормированные): функциональное программирование -- логическое программирование -- языки программирования -- Haskell -- Пролог -- ЛИСП Доп. точки доступа: Волчёнков, Николай Геннадьевич Волченков, Николай Геннадьевич Экземпляры всего: 1 ОХФ-ЧЗ-4 (1) |
Учебная литература, Каймин, Виталий Адольфович. Информатика [Текст] : учебник / В. А. Каймин. - 6-е изд. - Москва : Инфра-М, 2010. - 283, [5] с. - (Высшее образование). - Библиогр.: с. 281-282 (27 назв.). - ISBN 978-5-16-003778-3 (в пер.) : 189.97 р. Рекомендовано М-вом образования РФ в качестве учеб. для студентов вузов, обучающихся по естеств.-науч. направлениям и специальностям
Рубрики: вычислительная техника--информационные технологии Кл.слова (ненормированные): информатика -- информационные технологии -- Интернет -- Пролог -- языки программирования -- Internet Экземпляры всего: 56 ОУОЕН (ГК) (56) |
A918139-ОХФ, A918140-ОХФ-ЧЗ-4 Тюгашев, Андрей Александрович. Языки программирования [Текст] : учебное пособие для бакалавров и специалистов / А. А. Тюгашев. - Москва ; Санкт-Петербург [и др.] : Питер, 2015. - 333, [3] с. : ил. - (Учебное пособие) (Стандарт третьего поколения). - Библиогр.: с. 274-275 (24 назв.). - ISBN 978-5-496-01006-1 (в пер.) : 1012.80 р. Допущено УМО вузов по образованию в обл. информац. безопасности Ин-та криптографии, связи и информатики Акад. ФСБ России в качестве учеб. пособия для студентов вузов, обучающихся по специальности 10.05.03 (090303) "Информационная безопасность автоматизированных систем"
Рубрики: вычислительная техника--языки программирования Кл.слова (ненормированные): языки программирования -- C++ -- Си -- объектно-ориентированное программирование (ООП) -- функциональное программирование -- ЛИСП -- логическое программирование -- Пролог -- визуальное программирование Экземпляры всего: 2 ОХФ (1), ОХФ-ЧЗ-4 (1) |