681.3 Л 69 Логический подход к искусственному интеллекту [Text] : от модальной логики к логике баз данных / Тейз, А. [et al.] ; пер., ред. Гаврилов, Г.П. - М. : Мир, 1998. - 496 с. : ил., табл. - Библиогр.: с. 471-486. - ISBN 5-03-002519-7 (рус.). - ISBN 02-04-018757- Х(франц.) : 30-00 р.
КИБЕРНЕТИКА--ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ Кл.слова (ненормированные): Искусственный интеллект -- Математическая логика -- Логическое программирование -- Программирование -- Базы данных -- Семантика Монтегю -- Модальная логика -- Логические языки -- Языки логические (математика) -- Естественные языки -- Формальные языки -- Временная логика Доп.точки доступа: Тейз, А.; Грибомон, П.; Юлен, Г.; Пирот, А.; Ролан, Д.; Снайерс, Д.; Гаврилов, Г.П. \пер., ред.\ Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1) |
62-50 Д 40 Джексон, П. Введение в экспертные системы [Text] / Джексон, П. ; пер., ред. Тертышный, В. Т. - 3-е изд. - М. : Вильямс, 2001. - 624 с. : ил., табл. - Библиогр.: с. 597-616.-Предм. указ.: с. 617-622. - ISBN 5-8459-0150-2 (в пер.). - ISBN 0-201-87686-8 : 230-00 р. Перевод заглавия: Introduction to Expert Systems
АВТОМАТИКА И ТЕЛЕМЕХАНИКА.ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ЯЗЫКИ ПРОГРАММИРОВАНИЯ Кл.слова (ненормированные): экспертные системы -- искусственный интеллект -- сети ассоциативные -- фреймы -- объектно-ориентированное программирование -- логическое программирование -- языки программирования -- CLIPS -- CLOS -- KRL -- LOOPS -- FLAVORS Доп.точки доступа: Тертышный, В. Т. \пер., ред.\ Экземпляры всего: 1 КХ (1) Свободны: КХ (1) |
510(075) И 26 Игошин, В. И. Математическая логика и теория алгоритмов [Text] : учеб. пособие для вузов / Игошин В. И. - 4-е изд., стер. - М. : Академия, 2010. - 446 с. : ил. - (Высшее профессиональное образование) (Педагогические специальности). - Библиогр.: с. 435-442. - ISBN 978-5-7695-7045-2 (в пер.) : 439.97 р.
Кл.слова (ненормированные): алгебра высказываний -- Булевы функции -- исчисление высказываний -- логика предикатов -- аксиоматические теории -- теории алгоритмов -- математическая логика -- программное обеспечение -- логическое программирование -- искусственный интеллект Экземпляры всего: 12 ОХиИФ (1), ООЛ (11) Свободны: ОХиИФ (1), ООЛ (11) |
510(075) Г 85 Гринченков, Д. В. Математическая логика и теория алгоритмов для программистов [Text] : учебное пособие для вузов / Гринченков, Д. В., Потоцкий, С. И. - Москва : Кнорус, 2013. - 206 с. : ил., табл. - Библиогр.: с. 205-206. - ISBN 978-5-406-02434-8 (в пер.) : 252.00 р.
Кл.слова (ненормированные): теория множеств -- Булева алгебра -- математическая логика -- теория алгоритмов -- нечеткие множества -- логическое программирование -- Пролог -- языки программирования Доп.точки доступа: Потоцкий, С. И. Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1) |
510(075) Г 85 Гринченков, Д. В. Математическая логика и теория алгоритмов для программистов [Текст] : учебное пособие для вузов / Д. В. Гринченков, С. И. Потоцкий. - Москва : Кнорус, 2013. - 206 с. : ил., табл. - (Бакалавриат). - Библиогр.: с. 205-206. - ISBN 978-5-406-00120-2 (в пер.) : 188.50 р. ВПО
Кл.слова (ненормированные): теория множеств -- Булева алгебра -- математическая логика -- теория алгоритмов -- нечеткие множества -- логическое программирование -- Пролог -- языки программирования Доп.точки доступа: Потоцкий, С. И. Экземпляры всего: 5 ОХиИФ (1), ООЛ (4) Свободны: ОХиИФ (1), ООЛ (4) |
004(075) О-66 Орлов, С. А. Теория и практика языков программирования [Текст] : учебник для вузов / С. А. Орлов. - Санкт-Петербург [и др.] : Питер, 2013. - 688 с. : ил., табл. - (Учебник для вузов). - Библиогр.: с. 677-682. - ISBN 978-5-496-00032-1 (в пер.) : 724.00 р. Рек. Санкт-Петербургским ин-том информатики и автоматизации РАН (СПИИРАН) по направл. "Информатика и вычислит. техника" . Стандарт третьего поколения
Кл.слова (ненормированные): языки программирования -- виртуальные машины -- трансляция языков -- виды языков программирования -- синтаксис -- семантика -- объектно-ориентированное программирование -- аспектно-ориентированное программирование -- параллельное программирование -- функциональное программирование -- логическое программирование Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1) |