RUSSIAN

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

By Лихтарников Л.М. , Сукачева Т.Г.

Book information

Year
1999
Language
russian
Format
DJVU
Filesize
3 MB (2874657 bytes)
Pages
286\286
Topic
Mathematics Logic
Library
www.infanata.com
DPI
300
Orientation
portrait
Paginated
no
Scanned
yes
Time added
2010-07-10 13:47:08

Description

Математическая логика. Курс лекций. 3адачник практикум и решения. Серия ''Учебники для вузов. Специальная литература'' Учебное пособие предназначено дли студентов университетов и педагогических институтов, изучающих курс математической логики. Учебник состоит из двух частей.Часть первая .Курс лекций по математической логике. включает в себя теоретический материал по paзделам:Глава I. Алгебра логики.Глава II. Исчисление высказываний.Глава III. Логика предикатов.Глава IV. Математические теории.Глава V. Алгоритмы.Часть вторая. Задачник-практикум по математической логике. содержит набор упражнений почти по всем перечисленным разделам.Глава I. Алгебра логики.Глава II. Исчисление высказываний.Глава III. Логика предикатов.Глава IV. Алгоритмы.Ответы, указания, решения

Similar books