Математическая логика. Курс лекций - Тимофеева И.Л.
Название: Математическая логика. Курс лекций - Тимофеева И.Л.
Формат: PDF, PDF
Размер: 3112 Kb
Аннотация:
Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает изложение основ теории доказательств. Отдельный раздел посвящен проблемам оснований математики. Курс лекций предназначен для студентов математических факультетов педвузов, изучающих математическую логику, а также для преподавателей, читающих лекционный курс и ведущих практические занятия по математической логике.
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Аудиокнига |
| Уже скачали: | 12874 раз |
Похожие Аудиокниги
Нам показалось, что Аудиокниги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Алгоритмы. Просто как дважды два
Автор: Красиков И.В. Год издания: 2007 Формат: djvu Издат.: Эксмо Страниц: 256 Размер: 2,2 ISBN: 978-5-699-21047-3 Язык: Русский У вас в . . .
-
Освой C++ за 24 часа
Автор: Джесс Либерти, Дэвид Б. Хорват Год издания: 2007 Формат: djvu Издат.: Вильямс Страниц: 448 Размер: 5,6 ISBN: 978-5-8459-0949-7 Язык: Русский Эта книга п . . .
-
Программирование для Windows 95 2 часть
Автор: Ч. Петзолд Формат: pdf Издат.: Санкт-Петербург Страниц: 242 Размер: 2,8 Язык: Русский Программирование в Windows 95 Петзольд II часть Описывает API функций испол . . .
-
Программирование для Windows 95 том 1
Автор: Ч. Петзолд Формат: pdf Издат.: "BHV - Санкт-Петербург" Страниц: 495 Размер: 3,96 Язык: Русский Программирование в Windows 95 Петзольд I часть - очень полезная шту . . .
-
Иоанна Хмелевская - Собрание сочинений
Автор: Иоанна Хмелевская Формат: other Размер: 3 Мб Язык: Русский Предлагаю небольшое собрание сочинений в txt-формате:2 головы и одна ногаЛесьПроселочны . . .
-
Серия Сварог - все книги
Автор: Александр Бушков Формат: chm Размер: 4 Мб Язык: Русский 1. Рыцарь из ниоткудаЕсли вы хотите стать участником невероятных приключений, то эта книга . . .
-
Эрл Стенли Гарднер - весь Пэрри Мэйсон
Автор: Эрл Стенли Гарднер Формат: doc Размер: 12 Мб Язык: Русский 85 книг - все, что было переведено на русский язык из этой серии Читать книгу Эр . . .
-
Мария Семёнова - Избранные произведения
Год издания: 1996 Формат: other Издат.: Терра-Азбука, СПб Страниц: 416 Размер: 2 Мб ISBN: 5-7684-0187-3 Язык: Русский Список книг:Викинги Лебеди . . .
-
Покраска Миниатюр для Настольных Игр - The Utimate Miniature Painting Guide
Автор: Ng Chern Ann Год издания: 2007 Формат: pdf Издат.: coolmini or not Страниц: 400 Размер: 20 Мб Язык: Английский Отличная книжка для все . . .
-
Артур Конан Дойль (127 книг)
Автор: Артур Конан Дойль Формат: other Размер: 2 Мб Язык: Русский Перечень книг:Отравленный пояс Когда Земля вскрикнула Маракотова бездна Сообщение Хебек . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Аудиокниге Математическая логика. Курс лекций - Тимофеева И.Л.. Помогите нам и другим читателям окунуться в сюжет Аудиокниги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.