Учебное пособие предназначено школьникам и студентам для начального изучения одного из наиболее важных и сложных разделов дискретной математики - математической логики.Область применения математической логики весьма широка: информационные технологии, программирование, математическая лингвистика, системы искусственного интеллекта, управление базами данных и управление организационно-экономическими системами.В пособии рассматриваются основные разделы математической логики (алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов и машины Тьюринга).Пособие адресовано студентам младших курсов для успешного овладения элементами математической логики, а также старшеклассникам и их преподавателям при проведении факультативных занятий по дискретной математике.
Uchebnoe posobie prednaznacheno shkolnikam i studentam dlja nachalnogo izuchenija odnogo iz naibolee vazhnykh i slozhnykh razdelov diskretnoj matematiki - matematicheskoj logiki.Oblast primenenija matematicheskoj logiki vesma shiroka: informatsionnye tekhnologii, programmirovanie, matematicheskaja lingvistika, sistemy iskusstvennogo intellekta, upravlenie bazami dannykh i upravlenie organizatsionno-ekonomicheskimi sistemami.V posobii rassmatrivajutsja osnovnye razdely matematicheskoj logiki (algebra vyskazyvanij, ischislenie vyskazyvanij, logika predikatov, ischislenie predikatov i mashiny Tjuringa).Posobie adresovano studentam mladshikh kursov dlja uspeshnogo ovladenija elementami matematicheskoj logiki, a takzhe starsheklassnikam i ikh prepodavateljam pri provedenii fakultativnykh zanjatij po diskretnoj matematike.
