|
|
libcats.org
Математическая ЛогикаЛ. М. ЛИХТАРНИКОВ, Т. Г. СУКАЧЕВАМатематическая логика. Курс лекций. 3адачник практикум и решения. Серия ''Учебники для вузов. Специальная литература'' Учебное пособие предназначено дли студентов университетов и педагогических институтов, изучающих курс математической логики. Учебник состоит из двух частей.Часть первая .Курс лекций по математической логике. включает в себя теоретический материал по paзделам:Глава I. Алгебра логики.Глава II. Исчисление высказываний.Глава III. Логика предикатов.Глава IV. Математические теории.Глава V. Алгоритмы.Часть вторая. Задачник-практикум по математической логике. содержит набор упражнений почти по всем перечисленным разделам.Глава I. Алгебра логики.Глава II. Исчисление высказываний.Глава III. Логика предикатов.Глава IV. Алгоритмы.Ответы, указания, решения
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
А.Г.Дольник. Лучшие конструкции 24-й выставки творчества радиолюбителей (1973, djvu)Автор:
Размер книги: 4.93 Mb
Funktionskrankheiten des Bewegungssystems nach Brügger: Diagnostik, Therapie, Eigentherapie (Physiotherapie Basics)Автор: Claudia Koch-Remmele, Автор: Roland Kreutzer
Размер книги: 5.77 Mb
El desplazamiento afro: tierra, violencia y derechos de las comunidades negrasАвтор: Cesar Rodriguez Garavito, Автор: Isabel Cavelier Adarve y Tatiana Alfonso Sierra
Размер книги: 1.66 Mb
Snapshot: Pre-intermediate Language BoosterАвтор: Brian Abbs, Автор: etc., Автор: Ingrid Freebairn, Автор: Chris BarkerКатегория: Языкознание
Размер книги: 71.40 Mb
|
|
|