Поиск :
Личный кабинет :
Электронный каталог: Верещагин, Н. К. - Языки и исчисления
Верещагин, Н. К. - Языки и исчисления
Нет экз.
Электронный ресурс
Автор: Верещагин, Н. К.
Языки и исчисления : курс
Издательство: Интернет-Университет информационных технологий, 2007 г.
ISBN отсутствует
Автор: Верещагин, Н. К.
Языки и исчисления : курс
Издательство: Интернет-Университет информационных технологий, 2007 г.
ISBN отсутствует
На полку
Электронный ресурс
Верещагин, Н. К.
Языки и исчисления : курс. – Москва : Интернет-Университет информационных технологий, 2007. – 249 с. – Режим доступа : http://biblioclub.ru/index.php?page=book&id=234892. – http://biblioclub.ru/. – На рус. яз.
В курсе рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).Курс включает в себя около 200 задач различной трудности.
основной = ЭБС Университетская библиотека
Верещагин, Н. К.
Языки и исчисления : курс. – Москва : Интернет-Университет информационных технологий, 2007. – 249 с. – Режим доступа : http://biblioclub.ru/index.php?page=book&id=234892. – http://biblioclub.ru/. – На рус. яз.
В курсе рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).Курс включает в себя около 200 задач различной трудности.
основной = ЭБС Университетская библиотека