Учебное пособие предназначено школьникам и студентам для начального изучения одного из наиболее важных и сложных разделов дискретной математики — математической логики.Область применения математической логики весьма широка: информационные технологии, программирование, математическая лингвистика, системы искусственного интеллекта, управление базами данных и управление организационно-экономическими системами.В пособии рассматриваются основные разделы математической логики (алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов и машины Тьюринга).Пособие адресовано студентам младших курсов для успешного овладения элементами математической логики, а также старшеклассникам и их преподавателям при проведении факультативных занятий по дискретной математике.
Uchebnoe posobie prednaznacheno shkolnikam i studentam dlya nachalnogo izucheniya odnogo iz naibolee vazhnykh i slozhnykh razdelov diskretnoy matematiki matematicheskoy logiki.Oblast primeneniya matematicheskoy logiki vesma shiroka: informatsionnye tekhnologii, programmirovanie, matematicheskaya lingvistika, sistemy iskusstvennogo intellekta, upravlenie bazami dannykh i upravlenie organizatsionno-ekonomicheskimi sistemami.V posobii rassmatrivayutsya osnovnye razdely matematicheskoy logiki (algebra vyskazyvaniy, ischislenie vyskazyvaniy, logika predikatov, ischislenie predikatov i mashiny Tyuringa).Posobie adresovano studentam mladshikh kursov dlya uspeshnogo ovladeniya elementami matematicheskoy logiki, a takzhe starsheklassnikam i ikh prepodavatelyam pri provedenii fakultativnykh zanyatiy po diskretnoy matematike.