Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления — Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ.
  • 0

Словарь по логике

 Словарь по логике

Словарь по логике — Словарь видит собой справочник, излагающий основные понятия, операции и законы логики. Его задача — познакомить читателя с логикой будто одной из теоретических основ информатики. Словарь будет здоров учителям, занимающимся старших классов, студентам педагогических институтов, а также всем, интересующимся проблемами логики.