| № | Дата |
Автор |
Заглавие |
|---|
|
1993 |
Григорьев, Сергей Георгиевич (доктор технических наук) |
Реализация системы логического программирования для персональных компьютеров с ограниченными ресурсами и ее применения. : Автореф.дис.на соиск.учен.степ.д-ра техн.наук:(05.13.11) / Моск.ин-т приборостроения |
|
2008 |
Стоякова, Ксения Леонидовна (кандидат педагогических наук) |
Использование логической парадигмы программирования для обучения информатике студентов в инженерных вузах : автореферат диссертации на соискание ученой степени кандидата педагогических наук : 13.00.02 / Стоякова Ксения Леонидовна ; [Московский государственный университет технологий и управления] |
|
2000 |
Бен-Ари, М. |
Языки программирования : Практ. сравн. анализ : Учеб. по яз. программирования / М.Бен-Ари ; Пер. с англ. В.С.Штаркмана, М.Н.Яковлевой ; Под ред. В.С.Штаркмана |
|
2001 |
Себеста, Роберт У |
Основные концепции языков программирования : Пер. с англ. / Роберт У.Себеста |
|
2001 |
Джексон, Питер |
Введение в экспертные системы : Пер. с англ. / Питер Джексон |
|
2005 |
Шрайнер, Павел Александрович (1972— ) |
Основы программирования на языке Пролог : курс лекций : учебное пособие : для высших учебных заведений по специальностям в области информационных технологий / П. А. Шрайнер ; Интернет-университет информационных технологий |
|
2008 |
Рудикова, Лада Владимировна (кандидат физико-математических наук ; род. 1967) |
Основы логического программирования в среде Visual Prolog : лабораторный практикум по курсу "Логическое программирование" для студентов специальности 1-40 01 01 ― Программное обеспечение информационных технологий / Л. В. Рудикова ; Министерство образования Республики Беларусь, Учреждение образования "Гродненский государственный университет им. Я. Купалы" |
|
1995 |
|
Логические исследования / РАН.Ин-т философии;Редкол.:Смирнов В.А.(отв.ред.) и др. Вып.3 |
|
2002 |
Александров, Евгений Константинович |
Микропроцессорные системы : Учеб. пособие для студентов вузов, обучающихся по направлению подгот. бакалавров и магистров "Информатика и вычислит. техника" / Под ред. Пузанкова Д. В |
|
1989 |
Chandy, K.Mani |
Parallel program design : A found |
|
2007 |
Потапов, Алексей Сергеевич (доктор технических наук) |
Распознавание образов и машинное восприятие : общ. подход на основе принципа минимальной длины описания / А. С. Потапов |
|
2013 |
Соколинский, Леонид Борисович (доктор физико-математических наук ; род. 1960) |
Параллельные системы баз данных : учебное пособие для студентов высших учебных заведений, обучающихся по направлениям ВПО 010400 "Прикладная математика и информатика" и 010300 "Фундаментальная информатика и информационные технологии" / Л. Б. Соколинский |
|
2022 |
Ватутин, Эдуард Игоревич (кандидат технических наук) |
Теоретические основы и технические решения программно-аппаратного обеспечения синтеза логических мультиконтроллеров : монография / Э. И. Ватутин, В. С. Титов ; Министерство науки и высшего образования Российской Федерации, Юго-Западный государственный университет |
|
1995 |
Манцивода, Андрей Валерьевич (доктор физико-математических наук ; род. 1960) |
Логическое программирование в ограничениях: семантический подход : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : 05.13.11 / Иркутск. гос. ун-т |
|
2000 |
Ярошевич, Андрей Олегович (информационные технологии) |
Функциональное и логическое программирование : лабораторный практикум для студентов специальности П.03.01.06 "Профессиональное обучение. Радиоэлектроника" и учащихся специальности Т.10.02 "Программное обеспечение информационных технологий" / А. О. Ярошевич, Т. В. Мытник ; Минский государственный высший радиотехнический колледж. — Ч. 1 |
|
1994 |
Захаров, В. А. |
О преобразовании операторных процедур в логические программы |
|
2003 |
Закревский, Аркадий Дмитриевич (доктор технических наук ; 1928—2014) |
Логика распознавания / А.Д.Закревский ; Национальная академия наук Беларуси, Объединенный институт проблем информатики |
|
2006 |
Cofer, R. C. |
Rapid system prototyping with FPGAs : [accelerating the des. process] / by R.C. Cofer a. Benjamin F. Harding |
|
1994 |
Ebbinghaus, H.-D. |
Mathematical logic |
|
2011 |
Мурашко, Игорь Александрович (доктор технических наук, вычислительная техника ; род. 1964) |
Базы знаний и поддержка принятия решений в системах автоматизированного проектирования : курс лекций по одноименной дисциплине для студентов специальности 1-40 01 02 "Информационные системы и технологии (по направлениям)" дневной формы обучения / И. А. Мурашко, Д. А. Литвинов ; Министерство образования Республики Беларусь, Учреждение образования "Гомельский государственный технический университет", Кафедра "Информационные технологии" |
|
2014 |
Борисов, Вадим Владимирович (доктор технических наук) |
Основы нечеткого логического вывода : учебное пособие для студентов высших учебных заведений, обучающихся по направлению 230100 - "Информатика и вычислительная техника" / Борисов В. В., Федулов А. С., Зернов М. М |
|
2013 |
|
Программирование : учебник : для студентов высших учебных заведений, обучающихся по направлению 050100 "Педагогическое образование" : в 2 т. / [Э. А. Нигматулина и др.] ; под редакцией Н. И. Пака. — Т. 2 |
|
1992 |
Чери, Стефано |
Логическое программирование и базы данных |
|
2016 |
Суханов, Андрей Валерьевич |
Нечетко-стохастические методы выявления аномальных событий в темпоральных данных : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.17 Теоретические основы информатики / Суханов Андрей Валерьевич ; [Ростовский государственный университет путей сообщения (ФГБОУ ВО РГУПС)] |
|
2015 |
Кузнецов, Александр Сергеевич (кандидат технических наук. информационные технологии) |
Теория вычислительных процессов : учебник для студентов высших учебных заведений, обучающихся по специальностям: 230105.65 "Программное обеспечение вычислительной техники и автоматизированных систем", 080801.65 "Прикладная информатика (в экономике)", 230700.62 "Прикладная информатика" / А. С. Кузнецов, Р. Ю. Царев, А. Н. Князьков ; Министерство образования и науки Российской Федерации, Сибирский федеральный университет |
|
1999 |
Нечес, Виталий Валентинович (информационные технологии) |
Использование существенного множества в структурном тестировании программ |
|
2005 |
Скобцов, Юрий Александрович (доктор технических наук ; род. 1946) |
Логическое моделирование и тестирование цифровых устройств / Ю. А. Скобцов, В. Ю. Скобцов ; Национальная академия наук Украины, Институт прикладной математики и механики, Министерство образования и науки Украины, Донецкий национальный технический университет |
|
2000 |
Бен-Ари, М. |
Языки программирования.Практический сравнительный анализ : Учеб.:Пер.с англ. / Под ред.В.С.Штаркмана |
|
2006 |
Закревский, Аркадий Дмитриевич (доктор технических наук ; 1928—2014) |
Основы логического проектирования : монография : в 3 кн. / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. Кн. 3, Проектирование устройств логического управления |
|
2005 |
Шрайнер, П. А. |
Основы программирования на языке Пролог : курс лекций : учеб. пособие для вузов / П.А. Шрайнер |
|
1995 |
Голенков, Владимир Васильевич (доктор технических наук ; род. 1949) |
Операции языка SCL для обработки простых запросов : Материалы по мат. обеспечению ЭВМ / АН Беларуси. Ин-т техн. кибернетики |
|
1999 |
Huntbach, Matthew M. |
Agent-oriented programming : from prolog to guarded definite clauses |
|
2014 |
Гринченков, Дмитрий Валерьевич (кандидат технических наук) |
Математическая логика и теория алгоритмов для программистов : учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника" / Д. В. Гринченков, С. И. Потоцкий |
|
2015 |
|
Модели и методы искусственного интеллекта : учебное пособие : для студентов специальностей "Информационные системы и технологии", "Прикладная информатика в экономике", направлений "Информационные технологии", "Информатика и вычислительная техника", "Программная инженерия" / О. Н. Долинина [и др.] ; под общей редакцией О. Н. Долининой ; Министерство образования и науки Российской Федерации, Саратовский государственный технический университет |
|
2017 |
Кейно, Павел Петрович |
Методы и инструменты декларативного программирования динамических Web-узлов и приложений : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Кейно Павел Петрович ; [Московский авиационный институт (национальный исследовательский университет)] |
|
2009 |
Боровская, Елена Владимировна |
Основы искусственного интеллекта : учебное пособие / Е. В. Боровская, Н. А. Давыдова |
|
2017 |
Дородных, Никита Олегович |
Метод и программное средство разработки баз знаний на основе трансформации концептуальных моделей : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Дородных Никита Олегович ; [Институт динамики систем и теории им. В. И. Матросова] |
|
1978 |
|
Программирование на ЛИСПе : (программное обеспечение ЭВМ) / Академия наук СССР, Вычислительный центр ; [ответственный редактор В. М. Брябрин] |
|
2020 |
Бессмертный, Игорь Александрович (доктор технических наук) |
Интеллектуальные системы : учебник и практикум для вузов : для студентов высших учебных заведений, обучающихся по инженерно-техническим направлениям / И. А. Бессмертный, А. Б. Нугуманова, А. В. Платонов ; Университет ИТМО |
|
2021 |
Шалфеева, Елена Арефьевна (доктор технических наук) |
Методы, модели и технология обеспечения жизнеспособности интеллектуальных систем с декларативными базами знаний : автореферат диссертации на соискание ученой степени доктора технических наук : специальность 2.3.5 Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей / Шалфеева Елена Арефьевна ; [Институт автоматики и процессов управления Дальневосточного отделения Российской академии наук] |
|
2024 |
Гордиенко, Александр Петрович |
Языки программирования и методы трансляции : учебник для направления магистратуры "Прикладная математика и информатика" / А. П. Гордиенко |
|
2009 |
Нигиян, Арам Вигенович |
Логическое моделирование процедурных языков программирования и недетерминированных конечных автоматов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Нигиян Арам Вигенович ; Ереванский государственный университет |
|
2007 |
Липовченко, Владимир Андреевич |
Логический вывод и обработка знаний в информационных средах : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Липовченко Владимир Андреевич ; [Иркутский государственный университет] |
|
2009 |
Малухина, Лариса Васильевна |
Функциональное и логическое программирование. Функциональное программирование на языке ЛИСП : учебно-методический комплекс для студентов специальности 1-40 01 01 "Программное обеспечение информационных технологий" / Л. В. Малухина ; Министерство образования Республики Беларусь, Учреждение образования "Полоцкий государственный университет" |
|
1999 |
|
Информатика : задачник-практикум : в 2 т. / Л. А. Залогова, М. А. Плаксин, С. В. Русаков [и др.] ; под ред. И. Г. Семакина, Е. К. Хеннера. Т. 2 |
|
1982 |
|
Machine Intelligence 10 / Ed. by J.E.Hayes, D.Michie, Y.-H.Pao |
|
2004 |
Вагин, Вадим Николаевич |
Достоверный и правдоподобный вывод в интеллектуальных системах / [Науч. ред. Поспелов Д. А.] |
|
2014 |
Тюгашев, Андрей Александрович (доктор технических наук) |
Языки программирования : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 10.05.03 (090303) "Информационная безопасность автоматизированных систем" : [для бакалавров и специалистов] / А. А. Тюгашев |
|
2001 |
|
Computer-aided design of discrete devices CAD DD'2001 : 4th Intern. conf., Minsk, Rep. of Belarus, Nov. 14-16, 2001: In 3 vol. / Nat. Acad. of Sciences of Belarus. Inst. of Engineering Cybernetics; Ed A.Zakrevskij. Vol.1 |
|
1994 |
Тихонов, Юрий Вениаминович |
МПролог-язык логического программирования. Версия 2.3 |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ