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