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

Bibliographic Details
Main Author:	Гринченков, Дмитрий Валерьевич
Other Authors:	Потоцкий, Сергей Иванович
Format:	Book
Language:	Russian
Published:	Москва Кнорус 2010
Subjects:	учебные пособия для вузов математическая логика алгоритмов теория множеств теория булева алгебра функции алгебры логики минимизация булевых функций функции логические, разложения специальные исчисление высказываний логика предикатов предикатные формулы (математическая логика), истинность множества нечеткие выводы нечеткие (математическая логика) логическое программирование Пролог логика высказываний функции логические преобразования эквивалентные представление знаний (искусственный интеллект), математические методы
Online Access:	Перейти в каталог НБ ТГУ

Holdings details from Научная библиотека ТГУ: Книгохранилище
Call Number:	1-994111к
	Available Place a Hold

Holdings details from Научная библиотека ТГУ: Читальный зал 5
Call Number:	510 Г855
	Available Place a Hold

Similar Items