Калядин, Николай Иванович2020-03-042020-03-042006Калядин, Николай Иванович. Практикум по дискретной математике. Ч. 2 : Введение в математическую логику : [учебно-методическое пособие] / Н. И. Калядин ; Министерство образования и науки Российской Федерации, Федеральное агентство по образованию, Государственное образовательное учреждение высшего профессионального образования "Ижевский государственный технический университет", Кафедра "Прикладная математика и информатика". - Ижевск : Издательство ИжГТУ, 2006. - 50 с. : табл.arhiv_book_10527http://eanbur.unatlib.ru/handle/123456789/24583Пособие предназначено восполнить имеющийся пробел в учебной литературе по курсу “Дискретная математика”, в частности - практикум в решении задач по математической логике. Теоретический материал справочного характера позволяет в процессе разбора решений типовых примеров раскрыть основные понятия математической логики. Предлагаемые в развитии и интерпретации этих понятий задачи и упражнения особенно полезны для проведения практических занятий, выполнения расчетно-графических работ и самостоятельного изучения курса. Практикум предназначен для студентов, изучающих дискретную математику по специальностям 230101, 230401, 075500, а так же для любых инженерно-технических специальностей, где интересуются математической логикой и дискретной математикой.ruдискретная математикаучебно-методические пособиялогика высказыванийлогика предикатовBook