Математическая логика. Курс лекций. Задачник-практикум и решения

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

Учебное пособие предназначено для студентов университетов и педагогических институтов, изучающих курс математической логики. Оно состоит из двух частей. Часть первая "Курс лекций по математической логике" включает в себя теоретический материал по разделам: алгебра логики, исчисление высказываний, логика предикатов, алгоритмы. Часть вторая "Задачник-практикум по математической логике" содержит набор упражнений почти по всем перечисленным разделам.

Fan yoʻnalishi: | Matematika |
UDK
Kitob nashriyoti nomi: Лань
Kitob nashr qilingan shahar: Санкт-Петербург
ISBN: 5-8114-0082-9
Kitob nashr qilingan yili: 1999 Yil
Betlar Soni: 288
Kitob tashqi havolasi (to‘liq matni): Yuklab olish
To‘liq matnni ko‘chirib olish uchun kutubxonaga a'zo bo‘lish shart
Turi: O‘quv qo‘llanma
Tili: Ruscha
Kitob yozuvi: Rus kiril
Matn turi: Bosma shaklda
Kirish huquq turi: OCHIQ KIRISH