Электронный каталог

Электронный ресурс

Верещагин, Н. К.
Языки и исчисления : курс. – Москва : Интернет-Университет информационных технологий, 2007. – 249 с. – Режим доступа : http://biblioclub.ru/index.php?page=book&id=234892. – http://biblioclub.ru/. – На рус. яз.

В курсе рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).Курс включает в себя около 200 задач различной трудности.


основной = ЭБС Университетская библиотека
профили = Преподавание математики и информатики:Бак:ИМИ
доп.книгообеспеченность = Доп.книгообеспеченность: электронные издания
профили = Информатика и Математика:Бак:ИМИ
профили = Математика и Компьютерные науки:Бак:ИМИ
профили = Математика и Экономика:Бак:ИМИ
книгообеспеченность = Книгообеспеченность:электронные издания
дисциплины = Предметный модуль : Обязательная часть : Логические основания математики