Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
Normal view MARC view

Математическая логика и теория алгоритмов [учебное пособие для студентов по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети"] А. К. Гуц

By: Гуц, Александр Константинович, 1947-Material type: TextTextPublication details: Москва Ленанд 2016Edition: Изд. 3-е, испрDescription: 117 с. ил., портрISBN: 9785971026297Subject(s): Колмогоров, Андрей Николаевич 1903-1987 | Пост, Эмиль Леон | Тьюринг, Алан Мэтисон 1912-1954 | Васильев, Николай Александрович | Хоар, Чарльз | Вригт, Георг фон | Крипке, Сол 1940- | учебные пособия для вузов | логика высказываний | логика предикатов | метод резолюций | исчисление высказываний | исчисление предикатов | арифметика формальная | логическое программирование | математическая логика | теория алгоритмов | исчисления формальные | логика нечеткая | арифметика нечеткая | логики модальные | логики временные | логики алгоритмические | Крипке семантика | Хоара логика алгоритмическая, аксиомы | Васильева логика | Лукасевича логика трехзначная | функции рекурсивные | Тьюринга-Поста машина | Маркова алгорифмы нормальные | сложность алгоритмов | виртуальная реальность, генератор | логики неклассические | логика интуиционистская | логики временные | алгоритмы эффективные | алгоритмические проблемы неразрешимые | Кантгоуту логически возможные среды | алгоритмы реальности
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Copy number Status Date due Barcode
1 месяц Научная библиотека ТГУ Читальный зал. Депозитарий 51 Г977 (Browse shelf(Opens below)) 1 Available 13820000955594
Выдается по месту хранения Научная библиотека ТГУ Читальный зал 5 51 Г977 (Browse shelf(Opens below)) 2 Available 13820000955595
Browsing Научная библиотека ТГУ shelves, Shelving location: Читальный зал 5 Close shelf browser (Hides shelf browser)
No cover image available
Cover image 		No cover image available
51 Г962 Внеклассная работа по математике в 6-8 классах Книга для учителя 51 Г962 Математика для профессий и специальностей социально-экономического профиля учебник : [для использования в учебном процессе образовательных учреждений, реализующих образовательные программы среднего (полного) общего образования в пределах основных профессиональных образовательных программ НПО и СПО с учетом профиля профессионального образования] 51 Г962 Теория и методика обучения математике: психолого-педагогические основы 51 Г977 Математическая логика и теория алгоритмов [учебное пособие для студентов по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети"] 51 Г994 Сборник задач по высшей математике учебное пособие 51 Д12 Пути и лабиринты Очерки по истории математики 51 Д142 Сборник задач по математике [учебное пособие для студентов учреждений среднего профессионального образования]

Библиогр.: с. 114-117 и в подстроч. примеч.

There are no comments on this title.

to post a comment.