ВУЗ:
Составители:
Рубрика:
УДК 517.11
ББК 22.12
Ф 912
Фролов И.С. Элементы математической логики: Учеб. посо-
бие для студентов математических специальностей. — Самара: Изд-во
«Самарский университет», 2001. С. 80.
Учебное пособие написано на основе курса лекций, читаемого автором в
течение ряда лет студентам-математикам. В нем рассматриваются основные
понятия и вопросы, относящиеся к элементарным разделам математической
логики: логические функции, нормальные формы, исчисление высказыва-
ний, формальные теории. Изложение сопровождается примерами и иллю-
страциями вводимых понятий и применяемых методов.
Предназначено для студентов первого и второго курсов математиче-
ских специальностей университетов, изучающих курсы дискретной матема-
тики и математической логики.
ББК 22.12
Рецензент канд. физ.-мат. наук, доц. В.Л. Шур
c
° Фролов И.С., 2001
c
° Издательство «Самарский
университет», 2001
Редактор Т.И. Кузнецова
Компьютерная верстка, макет И.С. Фролов
Л.Р. № 020316 от 04.12.96. Подписано в печать 21.06.2001. Формат 60×84/16.
Бумага офсетная. Печать офсетная. Усл. печ. л. 4,65; уч.-изд.л. 5,0.
Тираж 300 экз. Заказ №
Издательство «Самарский университет».
443011 г. Самара, ул. Акад. Павлова, 1.
УОП СамГУ, ПЛД № 67-43 от 19.02.98.
