UniversityBooks.ru
 
Поиск:   
 Расширенный поиск | Как искать
Корзина   Выслать пароль   Войти  
Сегодня в продаже книги
Помощь
Реклама
Главная / Каталог книг / Физико-математические науки. Медицина / Физико-математические науки, Астрономия, Космонавтика

Математическая логика. Курс лекций

Математическая логика.  Курс лекций
Увеличить обложку

     
Автор: Тимофеева И.Л.
Издательство: КДУ
Год издания: 2007
ISBN: 978-5-98227-307-9
Количество страниц: 304
     

Нет в наличии

Проверить наличие в магазине KnigiSoSklada.ru

Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает изложение основ теории доказательств. Отдельный раздел посвящен проблемам оснований математики.

Курс лекций предназначен для студентов математических факультетов педвузов, изучающих математическую логику, а также для преподавателей, читающих лекционный курс и ведущих практические занятия по математической логике.





Физико-математические науки, Астрономия, Космонавтика:
новые поступления...




  ©2005-2024 UniversityBooks.ru.
  Создание и поддержка сайта: студия Ocean Lab.