Поиcк по сайту by Google


Rambler's Top100
Образование Крыму » Математика » Математическая логика - Ершов Ю.Л.

Математическая логика - Ершов Ю.Л.

Скачать
Название: Математическая логика
Автор: Ершов Ю.Л.
Категория: Математика
Тип: Книга
Дата: 23.06.2008 15:52:05
Скачано: 615
Оценка:
Описание: В книrе изложены основные классические исчисления Maтематической лоrики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алrоритмов. Ряд разделов книги теория моделей и теория доказательств изложены более подробно, чем это предусмотрено проrраммой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.
Файл: 5.22 МБ
Скачать