A849958-ОХФ Вычислительные системы [Текст] : сб. науч. тр. - Новосибирск : [б. и.]. 146 : Логика и семантическое программирование. - 1992. - 202 с. : ил. - Библиогр. - ISBN 5-7623-0417-5 : 150.00 р.
Рубрики: вычислительная техника--ЭВМ Кл.слова (ненормированные): вычислительные системы -- логическое программирование -- семантическое программирование -- языки программирования Экземпляры всего: 1 ОХФ (1) |
A853618-ОХФ Вычислительные системы [Текст] : сб. науч. тр. - Новосибирск : [б. и.]. Вып. 148 : Логические методы в информатике. - 1993. - 176 с. : ил. - Библиогр. - ISBN 5-7623-0675-5 : 1000.00 р.
Рубрики: вычислительная техника--ЭВМ Кл.слова (ненормированные): логическое программирование -- операционная семантика -- денотационная семантика -- семантическое программирование -- искусственный интеллект -- экспертные системы Экземпляры всего: 1 ОХФ (1) |
A856988-ОХФ Чери, Стефано. Логическое программирование и базы данных [Текст] = Logic Programming and Databases / С. Чери, Г. Готлоб, Л. Танка ; . - Москва : Мир, 1992. - 352 с. : ил. - Библиогр. - ISBN 5-03-002472-7 : 4000.00 р.
Рубрики: вычислительная техника--базы и банки данных--программирование Кл.слова (ненормированные): логическое программирование -- базы данных -- Пролог -- Дейталог Доп. точки доступа: Готлоб, Г. Танка, Л. Экземпляры всего: 1 ОХФ (1) |
A496502-ОХФ, A496503-ОХФ Goltz, Hans-Joachim. Grundlagen der logischen Programmierung [Текст] : научное издание / Hans-Joachim Goltz, Heinrich Herre. - Berlin : Akad.-Verl., 1990. - 319 S. - (Informatik. Kybernetik. Rechentechnik ; Bd. 34). - Bibliogr. - ISBN 3-05-500690-9 : 175000.00 р.
Рубрики: вычислительная техника--ЭВМ Кл.слова (ненормированные): логическое программирование Доп. точки доступа: Herre, Heinrich Экземпляры всего: 2 ОХФ (2) |
A904196-ОХФ-ЧЗ-4, A904703-ОХФ Бен-Ари, М. Языки программирования: Практический сравнительный анализ [Текст] = Understanding Programming Languages : учеб. по яз. программир. / М. Бен-Ари ; . - Москва : Мир, 2000. - 366, [2] с. - ISBN 5-03-003314-9. - ISBN 0-471-95846-8 : 40.00 р.
Рубрики: вычислительная техника--языки программирования Кл.слова (ненормированные): языки программирования -- объектно-ориентированное программирование (ООП) -- логическое программирование -- функциональное программирование -- C++ -- Ada 95 -- Java -- Prolog -- PL/1 -- ML Экземпляры всего: 2 ОХФ-ЧЗ-4 (1), ОХФ (1) |
A972346-ОХФ, A972347-ОХФ Попов, С. В. Логическое моделирование [Текст] / С. В. Попов ; ред. Н. М. Шумакова. - Москва : Тровант, 2006. - 256 с. : ил. - Библиогр.: с. 254-255 (26 назв.). - ISBN 5-89513-049-6 (в пер.) : 120.00 р.
Рубрики: вычислительная техника--ЭВМ Кл.слова (ненормированные): логическое программирование -- логическое моделирование -- логические задачи Доп. точки доступа: Шумакова, Н. М. Экземпляры всего: 2 ОХФ (2) |
A915287-ОХФ Подколзин, Александр Сергеевич. Компьютерное моделирование логических процессов. Архитектура и язык решателя задач [Текст] / А. С. Подколзин. - Москва : ФИЗМАТЛИТ, 2008. - 1022, [2] с. - Библиогр.: с. 1021-1022 (31 назв.). - ISBN 978-5-9221-1045-7 (в пер.) : 500.00 р.
Рубрики: вычислительная техника--искусственный интеллект Кл.слова (ненормированные): логическое программирование -- компьютерное моделирование -- алгоритмические языки -- ЛОС -- ГЕНОЛОГ -- логический описатель ситуаций -- генетический язык логического программирования -- решатели Экземпляры всего: 1 ОХФ (1) |
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) |
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) |