Основы математической логики

Описание

Учебное пособие содержит теоретический материал по курсу «Основы математической логики», примеры и библиографический специальностей, включая направления «информатика», «прикладная математика», изучающих разделы: функции алгебры логики, исчисление высказываний, семантические парадоксы, полные системы связок, аксиоматика и теория исчислений высказываний, теории первого порядка, кванторы, интерпретации и модели, метатеоремы и теоремы теории первого порядка по курсам «Основы математической логики и теории алгоритмов» и «Основы математической логики и теории автоматов». Материал предназначен для студентов дневного отделения по курсу «Математическая логика и теория алгоритмов» или «Математическая логика и теория автоматов» для студентов, обучающихся по специальностям 01.03.04 «Прикладная математика», 09.03.03 «Прикладная информатика» и может быть использован для самостоятельной работы при освоении курса кафедры.