Математическая логика. Курс лекций » Пуз Карапуз | Сайт для детей и родителей
up
» » » Математическая логика. Курс лекций
Книги и журналы для подростков


shurapopov 20-08-2010
Математическая логика. Курс лекций
Вернуться на главную
881 просмотров
0 комментариев
 
Математическая логика. Курс лекцийНазвание: Математическая логика. Курс лекций
Автор: Тимофеева И.Л.
Издательство: КДУ
Год: 2007
Страниц: 304
Формат: pdf
Размер: 1,3 mb
ISBN 978-5-98227-307-9

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


<!--FFriend-->скачать с depositfiles.com<!--EndFFriend-->
<!--FFriend-->скачать с turbobit.net<!--EndFFriend-->
Скачать бесплатно
Новости по теме

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