Вступ до математичної логіки: [Навчальний посібник]

після оплати (24/7)
(для всіх пристроїв)
(в т.ч. для Apple та Android)
У навчальному посібнику міститься матеріал основного курсу, що читається на механіко-математичному факультеті МДУ. Викладаються елементи теорії множин, основні поняття, що відносяться до семантики формалізованих логіко-математичних мов першого порядку, числення предикатів і теорема про його повноту, дається введення в теорію алгоритмів і обчислюваних функцій. Для студентів математичних факультетів університетів, педагогічних інститутів, а також інших вузів з поглибленим вивченням інформатики та кібернетики.
LF/36438034/R
Характеристики
- ФІО Автора
- Верещагин Н.К.
Плиско В.Е.
Успенский В.А. - Мова
- Російська
- ISBN
- 9785922102780
- Дата виходу
- 2004