Популярное


Книга Л. М. ЛИХТАРНИКОВ, Т. Г. СУКАЧЕВА Математическая Логика скачать бесплатно

Название: Математическая Логика
Автор: Л. М. ЛИХТАРНИКОВ, Т. Г. СУКАЧЕВА
Издательство: Санкт-Петербург
Год: 1999
Формат: DJVU
Размер: 1,58 МБ
Качество: Хорошее
Математическая логика. Курс лекций. 3адачник практикум и решения. Серия "Учебники для вузов. Специальная литература" Учебное пособие предназначено дли студентов университетов и педагогических институтов, изучающих курс математической логики.

Учебник состоит из двух частей.
Часть первая .Курс лекций по математической логике. включает в себя теоретический материал по paзделам:
1. Алгебра логики.
2. Исчисление высказываний.
3. Логика предикатов.
4. Математические теории.
5. Алгоритмы.
Часть вторая. Задачник-практикум по математической логике. содержит набор упражнений почти по всем перечисленным разделам.

Вторая часть недоступна
Внимание! У Вас нет прав для просмотра скрытого текста.

Похожие книги

Математическая логика: Учеб. пособие для вузов.

образование и наука
Название: Математическая логика: Учеб. пособие для вузов. Автор: Ершов Ю.Л., Палютин Е.А. Издательство: "Наука" Год: 1987 ...

Задачи по теории множеств, математической логике и теории алгоритмов

образование и наука
Название: Задачи по теории множеств, математической логике и теории алгоритмов Автор: Лавров И.А., Максимова Л.Л. Издательство: Физматлит Год: 2004...

Математическая логика и теория алгоритмов

образование и наука
Название: Математическая логика и теория алгоритмов Автор: Игошин В.И. Издательство: Издательский центр «Академия» Год: 2008 ...

Задачи и упражнения по математической логике и теории алгоритмов

образование и наука
Название: Задачи и упражнения по математической логике и теории алгоритмов Автор: Игошин В.И. Издательство: Издательский центр «Академия» Год: 2007...