Normal view
MARC view
Математическая логика и теория алгоритмов для программистов учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника" Д. В. Гринченков, С. И. Потоцкий
Material type: TextLanguage: Russian Publication details: Москва Кнорус 2010Description: 206 с. ил., табл. 22 смISBN: 9785406001202Subject(s): учебные пособия для вузов | математическая логика | алгоритмов теория | множеств теория | булева алгебра | функции алгебры логики | минимизация булевых функций | функции логические, разложения специальные | исчисление высказываний | логика предикатов | предикатные формулы (математическая логика), истинность | множества нечеткие | выводы нечеткие (математическая логика) | логическое программирование | Пролог | логика высказываний | функции логические | преобразования эквивалентные | представление знаний (искусственный интеллект), математические методыOther classification: В12я73-1Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 1-994111к (Browse shelf(Opens below)) | Available | 13820000765328 | ||
1 неделя | Научная библиотека ТГУ Читальный зал 5 | 510 Г855 (Browse shelf(Opens below)) | Available | 13820000765329 |
Библиогр.: с. 205-206
There are no comments on this title.
Log in to your account to post a comment.