Электронный каталог
Математическая логика и теория алгоритмов
учебное пособие для студентов вузов, обучающихся по специальности "Математика"[Текст] : учебное пособие для студентов вузов, обучающихся по специальности "Математика" / В. И. Игошин. - Москва : Академия, 2004. - 446, [1] с. - (Высшее профессиональное образование. Педагогические специальности).
Предметные рубрики:Математическая логика;
Алгоритмы
Ключевые слова: алгебра высказываний; булевы функции; исчисление высказываний; логика предикатов; предикаты; аксиоматические теории; теории алгоритмов; машины Тьюринга; Маркова алгоритмы; Геделя теорема; программное обеспечение; Логик-теоретик (программа); логическое программирование; языки программирования; ПРОЛОГ (язык програм.); искусственный интеллект
С полной печатной версией вы можете познакомиться по адресу:
| Отдел | Адрес | Телефон |
|---|---|---|
| Общий читальный зал | Новокузнецк, ул. Спартака, 11, 3 этаж | (3843) 74-46-91 |
Алфавитный указатель
A B C D E F G H I J K L M N O P Q R S T U V W X Y ZА Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я