Математическая логика. Курс лекций. 3адачник практикум и решения. Серия "Учебники для вузов. Специальная литература" Учебное пособие предназначено дли студентов университетов и педагогических институтов, изучающих курс математической логики.
Учебник состоит из двух частей.
Часть первая .Курс лекций по математической логике. включает в себя теоретический материал по paзделам:
1. Алгебра логики.
2. Исчисление высказываний.
3. Логика предикатов.
4. Математические теории.
5. Алгоритмы.
Часть вторая. Задачник-практикум по математической логике. содержит набор упражнений почти по всем перечисленным разделам.
Вторая часть пока недоступна :-(
отсканировал mh_max (Создатель Русско-Узбекского переводчика TransliteUZ) - за что ему спасибо!
подготовил и выложил - Nikello |
