|
|
libcats.org
Математическая ЛогикаЛ. М. ЛИХТАРНИКОВ, Т. Г. СУКАЧЕВАМатематическая логика. Курс лекций. 3адачник практикум и решения. Серия ''Учебники для вузов. Специальная литература'' Учебное пособие предназначено дли студентов университетов и педагогических институтов, изучающих курс математической логики. Учебник состоит из двух частей.Часть первая .Курс лекций по математической логике. включает в себя теоретический материал по paзделам:Глава I. Алгебра логики.Глава II. Исчисление высказываний.Глава III. Логика предикатов.Глава IV. Математические теории.Глава V. Алгоритмы.Часть вторая. Задачник-практикум по математической логике. содержит набор упражнений почти по всем перечисленным разделам.Глава I. Алгебра логики.Глава II. Исчисление высказываний.Глава III. Логика предикатов.Глава IV. Алгоритмы.Ответы, указания, решения
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
The Clean Coder: A Code of Conduct for Professional Programmers (Robert C. Martin Series)Автор: Robert C. Martin
Размер книги: 6.06 Mb
Только что пользователи скачали эти книги:
Atlas of Orthodontics A Guide to Clinical EfficiencyАвтор: Anothony D. Viazis DDS MSКатегория: medicine - other
Размер книги: 7.07 Mb
The Anthropology of ExperienceАвтор: Victor W. Turner, Автор: Edward M. Bruner
Размер книги: 100.65 Mb
Comprehensive Medicinal Chemistry II, Volume 3 : Drug Discovery TechnologiesАвтор: David J Triggle, Автор: John B Taylor
Размер книги: 23.43 Mb
Растения от А до Я. Энциклопедия в 2-х частях, часть 1Автор: Instituto Geografico, Автор: Novara, Автор: ItalyКатегория: ДОМ и СЕМЬЯ, ХОББИ и РАЗВЛЕЧЕНИЯ
Размер книги: 50.11 Mb
|
|
|