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