Конспект лекций по математической логике: Учебно-методическое пособие для студентов физико-математических факультетов педвузов

Раздел: Книги и журналы 12-06-2018, 09:51

Конспект лекций по математической логике: Учебно-методическое пособие для студентов физико-математических факультетов педвузов
Konspekt lekciy po matematicheskoy logike: Uchebno-metodicheskoe posobie dlya studentov fiziko-matematicheskih fakultetov pedvuzov _ Eto konspekt kursa lekciy po matematicheskoy logike, chitaemogo avtorom v techenie ryada let na matematicheskom fakultete v Tobolskoy gosudarstvennoy socialno-pedagogicheskoy akademii im. D.I. Mendeleeva. Posobie prednaznacheno, v pervuyu ochered, dlya studentov fiziko-matematicheskih specialnostyay pedinstitutov. Matemati_cheskaya lo_gika (teoreticheskaya logika, simvolicheskaya logika) _ razdel matematiki, izuchayushiy matematicheskie oboznacheniya, formalnye sistemy, dokazuemost matematicheskih suzhdeniy, prirodu matematicheskogo dokazatelstva v celom, vychislimost i prochie aspekty osnovaniy matematiki. Posobie mozhet byt ispolzovano takzhe pri chtenii kursa matematicheskoy logiki dlya specialistov, svyazannyh s informatikoy. Posobie budet polezno vsem, kto interesuetsya matematikoy i problemami ee obosnovaniya.

Название: Конспект лекций по математической логике: Учебно-методическое пособие для студентов физико-математических факультетов педвузов
Автор: Валицкас А. И.
Издательство: Тобольск: ТГСПА им. Д.И. Менделеева
Год: 2010
Страниц: 186
Формат: DJVU
Размер: 13,3 МБ
ISBN: 978-5-85944-273-7
Качество: Отличное

Содержание:

Предисловие
Глава I. Алгебра высказываний
Глава II. Алгебра предикатов
Глава III. Формальные аксиоматические теории
Приложение. Формальная теория множеств
Литература
Предметный указатель

Скачать Конспект лекций по математической логике: Учебно-методическое пособие для студентов физико-математических факультетов педвузов



Рейтинг: 
Добавил kitovras Просмотров: 19 Комментарии: (0)



Похожие интересные статьи по теме:

  • Лекции и практикум по математической логике
  • Математическая логика и теория алгоритмов: учебно-методическое пособие
  • Основы алгоритмизации и программирования. Электронное учебно-методическое п ...
  • Математическая логика: Учебное пособие для студентов физико-математического ...
  • Самоучитель гипноза. Учебно-методическое пособие
  • Прибыль каждые 10 минут!

    Информация

    Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.