Математическая логика
	Категория: Естественные науки » Физико-математические науки » Математика, геометрия, статистика
		Автор: Ю. Л. Ершов, Е. А. Палютин Издательство: Наука Год издания: 1987 Количество страниц: 337 Язык: русский Формат: DJVU Размер: 5 Мб Каталожный номер: 10386	В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.
	Похожие публикации: Вводный курс математической логики Математическая логика Теория вероятности и математическая статистика Элементы теории множеств и математической логики в школьном курсе математик ... Основы дискретной математики Конспект лекций по дискретной математике Справочная книга по математической логике. Часть 2. Теория множеств Введение в математическую логику Введение в математическую логику Дискретная математика и комбинаторика
	Ссылки на файлообменные сервера Размер архива в Mb http://depositfiles.com/files/uzvon82za 5.2
	Оцените эту публикацию!
	0 Опубликовал: flashsoft | 12-03-2007, 00:00 | Просмотров: 1462   Комментарии (0)  Печать