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