Книга Вступний курс математичної логіки

вводний курс математичної логіки автор: Успенський В.А., Верещагін Н.К., Плиско В.Е. в навчальному посібнику втримується матеріал основного курсу «Введення в математичну логіку», що читає на механіко-математичному факультеті МГУ. Викладаються елементи теорії множин, основні поняття, що ставляться до семантики формалізованих логіко-математичних мов першого порядку, вирахування предикатів і теорема про його повноту, дається введення в теорію алгоритмів і вичислимих функцій. Книга призначена для студентів математичних факультетів університетів, педагогічних інститутів, а також інших вузів з поглибленим вивчанням інформатики й кібернетики.
Download 0.85 MB