52 results Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
  • Вход
  • Язык
    • Русский
    • Белорусский
    • English
    • Deutsch
    • Español
    • Français
    • 中文(繁體)
    • Polski
Расширенный поиск
Расширенный поиск
  • Поиск:
Отображение 1 - 20 из 52 для поиска: '', время запроса: 0.40сек.
   Выбранные записи:
Значок книги
Логический вывод и обработка знаний в информационных средах: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 01.01.09 / Липовченко Владимир Андреевич. - Иркутск, 2007. - 19 с.
Автор Липовченко, В. А.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Творческое сознание: интуиционизм, алгоритмы и модели / В. Н. Щеглов. - Тула : Гриф и К, 2004. - 200, [1] с., включая обложку
Автор Щеглов, В. Н. (род. 1932)
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Об SLDNF-резолюции в логическом программировании с отрицанием: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.09 Дискретная математика и математическая кибернетика / Саркисян Лусине Арамаисовна. - Ереван, 2012. - 19 с.
Автор Саркисян, Л. А.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Метод и программное средство разработки баз знаний на основе трансформации концептуальных моделей: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Дородных Никита Олегович. - Иркутск, 2017. - 16 с., включая обложку
Автор Дородных, Н. О.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Язык логики и логика языка : сборник статей к 60-летию профессора В. А. Успенского / под редакцией Вяч. Вс. Иванова. — Москва : [б. и.], 1990. — 195, [2] с. — (Вопросы кибернетики ; вып. 166)
Продолжающиеся издания
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
МПролог-язык логического программирования. Версия 2.3. - М. : Машиностроение, 1994. - 80 с. - (Пользователю ПК)
Автор Тихонов, Ю. В.
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
О преобразовании операторных процедур в логические программы. - М. : ИПМ РАН, 1994. - 23 с. - (Препринт ; N 73)
Автор Захаров, В. А.
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Математическая логика и теория алгоритмов для программистов: учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника" / Д. В. Гринченков, С. И. Потоцкий. - Москва : КноРус, 2010. - 206 с.
Автор Гринченков, Д. В.
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Математическая логика и теория алгоритмов для программистов: учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника" / Д. В. Гринченков, С. И. Потоцкий. - Москва : КноРус, 2014. - 206 с. - (Бакалавриат)
Автор Гринченков, Д. В.
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Нечетко-стохастические методы выявления аномальных событий в темпоральных данных: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.17 Теоретические основы информатики / Суханов Андрей Валерьевич. - Ростов-на-Дону, 2016. - 24 с.
Автор Суханов, А. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Принципы логики и логического программирования / Г.Метакидес, А.Нероуд. - М. : Факториал, 1998. - 288 с.
Автор Метакидес, Г.
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Современное логическое программирование на языке Visual Prolog 7 .5: учебник для студентов высших учебных заведений, обучающихся по направлениям "Прикладная информатика", "Программная инженерия" / В. Н. Марков. - Санкт-Петербург : БХВ-Петербург, 2016. - 541 с. - (Учебная литература для вузов)
Автор Марков, В. Н.
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Основы программирования на языке Пролог: курс лекций: учебное пособие: для высших учебных заведений по специальностям в области информационных технологий / П. А. Шрайнер. - Москва : ИНТУИТ. ру, 2005. - 172, [1] с. - (Серия "Основы информационных технологий")
Автор Шрайнер, П. А. (1972— )
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Логическое моделирование процедурных языков программирования и недетерминированных конечных автоматов: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 01.01.09 / Нигиян Арам Вигенович. - Ереван, 2009. - 15 с.
Автор Нигиян, А. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Теория направленных отношений и ее приложения: Автореф. дис. на соиск. учен. степ. д-ра техн. наук: 05.13.11 / Фальк Вадим Николаевич. - М., 2001. - 40 с.
Автор Фальк, В. Н.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Логическое программирование в занимательных задачах. - Киев : Технiка, 1980. - 79 с.
Автор Касаткин, В. Н.
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Основы логического программирования в среде Visual Prolog: лабораторный практикум по курсу "Логическое программирование" для студентов специальности 1-40 01 01 ― Программное обеспечение информационных технологий / Л. В. Рудикова. - Гродно : ГрГУ, 2008. - 167 с.
Автор Рудикова, Л. В. (род. 1967)
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Функциональное и логическое программирование / Министерство образования Республики Беларусь, Учреждение образования "Белорусский государственный университет информатики и радиоэлектроники", Кафедра программного обеспечения информационных технологий. Ч. 2 : Язык программирования Пролог / [С. В. Крицкий и др.]. — 2006. — 27 с.
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Функциональное и логическое программирование / А. О. Ярошевич, Т. В. Мытник. Ч. 1. — 59 с., включ. обложку
Книги
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Функциональное и логическое программирование. Функциональное программирование на языке ЛИСП: учебно-методический комплекс для студентов специальности 1-40 01 01 "Программное обеспечение информационных технологий" / Л. В. Малухина. - Новополоцк : ПГУ, 2009. - 97, [2] с.
Автор Малухина, Л. В.
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
   Выбранные записи:
  • 1
  • 2
  • 3
  • Следующий »
  • [3]
Инструменты поиска: RSS-поток — Отправить результаты поиска по Email — Сохранить запрос

Уточнение результатов поиска

Вид документа
37 Книги 14 Авторефераты диссертаций 1 Продолжающиеся издания см. все ...
Автор/Создатель
2 Боровская, Е. В. 2 Гринченков, Д. В. 2 Сидоркина, И. Г. (род. 1959) 2 Тюгашев, А. А. 1 Адаменко, А. Н. (род. 1951) 1 Алфимцев, А. Н. больше ... 1 Бен-Ари, М. 1 Быков, С. А. 1 Герман, О. В. (род. 1960) 1 Гордиенко, А. П. 1 Григорьев, С. Г. 1 Дехтярь, М. И. 1 Джексон, П. 1 Дородных, Н. О. 1 Ефимова, Е. А. 1 Закревский, А. Д. (1928—2014) 1 Захаров, В. А. 1 Касаткин, В. Н. 1 Кейно, П. П. 1 Липовченко, В. А. 1 Малухина, Л. В. 1 Манцивода, А. В. (род. 1960) 1 Марков, В. Н. 1 Метакидес, Г. 1 Мурашко, И. А. (род. 1964) 1 Нигиян, А. В. 1 Орлов, С. А. 1 Прихожий, А. А. (род. 1953) 1 Рудикова, Л. В. (род. 1967) 1 Саркисян, Л. А. см. все ... меньше ...
Предмет
ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ 27 ЯЗЫКИ ПРОГРАММИРОВАНИЯ 15 ЛАГІЧНАЕ ПРАГРАМАВАННЕ 12 PROLOG (язык программирования) 12 ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ 11 ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ больше ... 9 МОВЫ ПРАГРАМАВАННЯ 8 ЭКСПЕРТНЫЕ СИСТЕМЫ 7 ПРОГРАММИРОВАНИЕ 5 LISP (язык программирования) 5 VISUAL PROLOG (программный продукт) 5 МАТЕМАТИЧЕСКАЯ ЛОГИКА 5 ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ 5 ФУНКЦЫЯНАЛЬНАЕ ПРАГРАМАВАННЕ 4 ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ 4 ПРЕДСТАВЛЕНИЕ ЗНАНИЙ 4 ПЭВМ 3 C++ (язык программирования) 3 ИНФОРМАТИКА 3 ПРИКЛАДНЫЕ ПРОГРАММЫ 3 ШТУЧНЫ ІНТЭЛЕКТ 3 ЭКСПЕРТНЫЯ СІСТЭМЫ 2 C (язык программирования) 2 Clips 2 АЛГОРИТМОВ ТЕОРИЯ 2 БАЗЫ ДАННЫХ 2 БАЗЫ ЗНАНИЙ 2 БУЛЕВА АЛГЕБРА 2 ВЕРСИИ (программирование) 2 ГРАФИЧЕСКИЕ ИНТЕРФЕЙСЫ см. все ... меньше ...
Жанр
7 УЧЕБНОЕ ПОСОБИЕ ДЛЯ ВУЗОВ 4 УЧЕБНИК ДЛЯ ВУЗОВ 4 УЧЕБНО-МЕТОДИЧЕСКОЕ ПОСОБИЕ ДЛЯ СТУДЕНТОВ ВУЗОВ 3 ПРАКТИКУМ ДЛЯ ВУЗОВ 2 ЛАБАРАТОРНАЯ РАБОТА 2 ЛАБОРАТОРНАЯ РАБОТА больше ... 1 КУРС ЛЕКЦИЙ 1 НАВУЧАЛЬНА-МЕТАДЫЧНЫ ДАПАМОЖНІК ДЛЯ СТУДЭНТАЎ ВНУ 1 УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКС ДЛЯ ВУЗОВ см. все ... меньше ...
Серия
3 Стандарт третьего поколения 2 Педагогическое образование 2 Учебное пособие 1 The pragmatic programmers 1 Бакалавриат 1 В подлиннике больше ... 1 Вопросы кибернетики 1 Для бакалавров и специалистов 1 Магистратура 1 Пользователю ПК 1 Препринт 1 Серия "Основы информационных технологий" 1 Учебная литература для вузов 1 Учебник для вузов см. все ... меньше ...
Место публикации
16 Москва 7 М. 3 Минск 3 Санкт-Петербург [и др.] 2 Ереван 2 Иркутск больше ... 2 М. и др 2 Новосибирск 2 Санкт-Петербург 1 Saarbrücken 1 Владивосток 1 Гомель 1 Гродно 1 Донецк 1 Киев 1 Новополоцк 1 Переславль-Залесский 1 Ростов-на-Дону 1 Тула см. все ... меньше ...
Язык
52 Русский 3 Английский 2 Армянский см. все ...
Дата издания

Опции поиска

  • История поисков
  • Расширенный поиск (каталог НББ)
  • Новые документы НББ

Нужна справка? Она ниже. Помощь

  • Советы для поиска
  • Обратитесь к библиотекарю
  • Помощь по работе в Электронном каталоге
  • Видеоурок: Поиск по фондам библиотеки
Загрузка...