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

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

Bibliographic Details
Main Author:	Гуц, Александр Константинович 1947-
Format:	Book
Language:	English
Published:	Москва Ленанд 2016
Edition:	Изд. 3-е, испр.
Subjects:	Колмогоров, Андрей Николаевич > 1903-1987 Пост, Эмиль Леон Тьюринг, Алан Мэтисон > 1912-1954 Васильев, Николай Александрович Хоар, Чарльз Вригт, Георг фон Крипке, Сол > 1940- учебные пособия для вузов логика высказываний логика предикатов метод резолюций исчисление высказываний исчисление предикатов арифметика формальная логическое программирование математическая логика теория алгоритмов исчисления формальные логика нечеткая арифметика нечеткая логики модальные логики временные логики алгоритмические Крипке семантика Хоара логика алгоритмическая, аксиомы Васильева логика Лукасевича логика трехзначная функции рекурсивные Тьюринга-Поста машина Маркова алгорифмы нормальные сложность алгоритмов виртуальная реальность, генератор логики неклассические логика интуиционистская алгоритмы эффективные алгоритмические проблемы неразрешимые Кантгоуту логически возможные среды алгоритмы реальности
Online Access:	Перейти в каталог НБ ТГУ

Internet

Перейти в каталог НБ ТГУ

Научная библиотека ТГУ: Читальный зал. Депозитарий

Holdings details from Научная библиотека ТГУ: Читальный зал. Депозитарий
Call Number:	51 Г977
	Available Place a Hold

Научная библиотека ТГУ: Читальный зал 5

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