Математическая логика и теория алгоритмов для программистов: учебное пособие для вузов/

Математическая логика и теория алгоритмов для программистов: учебное пособие для вузов/

Библиографическая информация
Главные авторы:	Гринченков, Д. В. Дмитрий Валерьевич (Автор), Потоцкий, С. И. Сергей Иванович (Автор)
Формат:	Книга
Публикация:	М.: КноРус 2010
Предметы:	ТЕОРИЯ МНОЖЕСТВ БУЛЕВА АЛГЕБРА МНОЖЕСТВА ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ ЯЗЫК ПРОЛОГ УЧЕБНЫЕ ПОСОБИЯ
Online-ссылка:	Перейти в каталог Библиотеки ТУСУР

Похожие документы

Математическая логика и теория алгоритмов для программистов учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"
по: Гринченков, Дмитрий Валерьевич
Публикация: (2010)

Математическая логика и теория алгоритмов для программистов [учебное пособие для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"]
по: Гринченков, Дмитрий Валерьевич
Публикация: (2017)

Математическая логика и теория алгоритмов: Учебное пособие для вузов/
по: Зюзьков, В. М. Валентин Михайлович, et al.
Публикация: (2007)

Дискретная математика для программистов: учебное пособие/
по: Хаггарти, Р. Род
Публикация: (2018)

Искусственный интеллект и Пролог на микроЭВМ
по: Макаллистер, Дж
Публикация: (1990)

Начала информатики
по: Брусенцов, Николай Петрович
Публикация: (1994)

Математическая логика и теория алгоритмов / ДО 2017 электронный курс
по: Стоянов, А. К. специалист в области информатики и вычислительной техники доцент Томского политехнического университета, кандидат технических наук писатель 1946-
Публикация: (2018)

Реляционный язык Пролог и его применение: Пер. с англ./
по: Малпас Джон
Публикация: (1990)

Искусство программирования на языке Пролог: Пер. с англ./
по: Стерлинг Леон, et al.
Публикация: (1990)

Логическое программирование: Учебное пособие/
по: Зюзьков, В. М. Валентин Михайлович
Публикация: (1999)

Искусство программирования на языке Пролог
по: Стерлинг, Леон
Публикация: (1990)

Дискретная математика для бакалавра: множества, отношения, функции, графы [учебное пособие для студентов инженерных специальностей и направлений вузов]
по: Микони, Станислав Витальевич
Публикация: (2012)

Логическое программирование: учебное пособие/
по: Зюзьков, В. М. Валентин Михайлович
Публикация: (2005)

Логическое программирование: учебное пособие/
по: Зюзьков, В. М. Валентин Михайлович
Публикация: (2007)

Программа, методические указания и контрольные задания по дисциплине "Основы искусственного интеллекта и экспертных систем": методическое пособие для студентов специальности 220200 заочного факультета/
Публикация: (1998)

Логическое программирование и базы данных: Пер. с англ./
по: Чери Стефано, et al.
Публикация: (1992)

Математическая логика [учебное пособие для математических специальностей вузов]
по: Колмогоров, Андрей Николаевич 1903-1987
Публикация: (2006)

Высшая математика 5. Дискретная математика: Учебное пособие для вузов/
по: Шевелев, Юрий Павлович
Публикация: (2000)

Логическое программирование: Курс лекций для дистанционного обучения студентов по дисциплине "Логическое программирование" для специальности 22.04 "Программное обеспечние вычислительной техники и автоматизированных систем"/
по: Зюзьков Валентин Михайлович
Публикация: (1999)

Искусственный интеллект и Пролог на микроЭВМ: Пер. с англ./
по: Макаллистер, Дж
Публикация: (1990)

Об альтернативе стандартной машине вывода в Прологе
по: Новосельцев, Виталий Борисович

Дискретная математика: Учебное пособие для вузов/
по: Шевелев, Юрий Павлович
Публикация: (2003)

Логическое и функциональное программирование: Учебное методическое пособие/
по: Зюзьков, В. М. Валентин Михайлович
Публикация: (2000)

Логическое программирование Учебное пособие
по: Зюзьков, Валентин Михайлович
Публикация: (1999)

Искусственный интеллект и экспертные системы: Учебное методическое пособие/
по: Зюзьков Валентин Михайлович
Публикация: (1999)

Математическая логика в программировании: Сборник статей 1980-1988 гг.: Пер. с англ./
Публикация: (1991)

Дискретная математика для бакалавра: множества, отношения, функции, графы: учебное пособие/
по: Микони, С. В. Станислав Витальевич
Публикация: (2012)

Высшая математика 5. Дискретная математика: Учебное пособие/
по: Шевелев, Юрий Павлович
Публикация: (1998)

Искусственный интеллект и экспертные системы: Учебное пособие: В 2 ч./
по: Зюзьков, Валентин Михайлович
Публикация: (1999)

Математическая логика и теория алгоритмов [учебное пособие для вузов по специальности "Математика"]
по: Игошин, Владимир Иванович
Публикация: (2010)

Математическая логика и теория алгоритмов [учебное пособие]
по: Хусаинов, Ахмет Аксанович
Публикация: (2005)

Математическая логика [учебное пособие для математических специальностей вузов]
по: Колмогоров, Андрей Николаевич 1903-1987
Публикация: (2005)

Теория множеств
по: Куратовский, Казимир
Публикация: (1970)

Математическая логика и теория алгоритмов [учебное пособие по специальности 032100 “Математика”]
по: Игошин, Владимир Иванович
Публикация: (2004)

Пролог и искусственный интеллект учебное пособие
по: Горчаков, Леонид Всеволодович
Публикация: (2011)

Реальность и прогнозы искусственного интеллекта: сборник научно-популярных статей/
Публикация: (1987)

Математическая логика курс лекций : задачник-практикум и решения : учебное пособие
по: Лихтарников, Леонид Моисеевич
Публикация: (2009)

Логическое программирование на языке Пролог учебно-методический комплекс
по: Андреева, Валентина Валерьевна
Публикация: (2011)

Математическая логика. Дискретные функции. Теория алгоритмов: учебное пособие/
по: Глухов, М. М. Михаил Михайлович, et al.
Публикация: (2012)

Математика для гуманитарных, экологических и экономико-юридических специальностей: Учебное пособие/
по: Магазинников, Леонид Иосифович
Публикация: (2007)