|
|
libcats.org
Математическая ЛогикаЛ. М. ЛИХТАРНИКОВ, Т. Г. СУКАЧЕВАМатематическая логика. Курс лекций. 3адачник практикум и решения. Серия ''Учебники для вузов. Специальная литература'' Учебное пособие предназначено дли студентов университетов и педагогических институтов, изучающих курс математической логики. Учебник состоит из двух частей.Часть первая .Курс лекций по математической логике. включает в себя теоретический материал по paзделам:Глава I. Алгебра логики.Глава II. Исчисление высказываний.Глава III. Логика предикатов.Глава IV. Математические теории.Глава V. Алгоритмы.Часть вторая. Задачник-практикум по математической логике. содержит набор упражнений почти по всем перечисленным разделам.Глава I. Алгебра логики.Глава II. Исчисление высказываний.Глава III. Логика предикатов.Глава IV. Алгоритмы.Ответы, указания, решения
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Inverse Problems in Engineering Mechanics: International Symposium on Inverse Problems in Engineering Mechanics 2000 (Isip 2000), Nagano, Japan: 47Автор: G.S. Dulikravich, Автор: Mana Tanaka
Размер книги: 26.54 Mb
Nexus: Small Worlds and the Groundbreaking Theory of NetworksАвтор: Mark Buchanan
Размер книги: 940 Kb
Coordinate Geometry (Dover Books on Mathematics)Автор: Luther Pfahler Eisenhart
Размер книги: 11.50 Mb
NASCAR Then and NowАвтор: White Ben, Автор: Kinrade Nigel, Автор: Media SmyleКатегория: fiction
Размер книги: 16.56 Mb
|
|
|