Пропуск в контексте

Вводный курс математической логики Учебное пособие

В учебном пособии содержится материал основного курса «Введение в математическую логику» читаемого на механико-математическом факуль- тете МГУ. Излагаются элементы теории множеств основные понятия относя- щиеся к семантике формализованных логико-математических языков первого порядка исчисление преди...

Полное описание

Сохранить в:
Библиографические подробности
Главный автор: Успенский В.А
Формат: Учебное пособие
Редакция:2
Online-ссылка:https://znanium.com/catalog/document?id=272628
https://znanium.com/cover/0129/129565.jpg
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!
LEADER 02558nam0a2200325 i 4500
001 RU\infra-m\znanium\bibl\129565
003 https://znanium.com/catalog/document?id=272628
005 20190712000000.0
010 |a 978-5-9221-0278-0 
100 |a 20190712d2016 m y0rusy0150 ca 
101 0 |a rus 
102 |a RU 
200 1 |a Вводный курс математической логики  |e Учебное пособие 
205 |a 2 
210 1 |a Москва  |c Издательская фирма "Физико-математическая литература" (ФИЗМАТЛИТ)  |d 2007 
215 |a 128 с. 
330 |a В учебном пособии содержится материал основного курса «Введение в математическую логику» читаемого на механико-математическом факуль- тете МГУ. Излагаются элементы теории множеств основные понятия относя- щиеся к семантике формализованных логико-математических языков первого порядка исчисление предикатов и теорема о его полноте дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов педагогических институтов а также других вузов с углубленным изучением информатики и кибернетики. 
333 |a ВО - Бакалавриат 
606 |a Физико-математические науки  |x Основы математики  |2 local 
608 |a Учебное пособие  |2 local 
675 |a 510.7  |z rus 
686 |a 22.12  |2 rubbk 
686 |a 01.03.01  |2 okso 
686 |a 01.04.01  |2 okso 
700 1 |a Успенский  |b В.А.  |g Владимир Андреевич 
701 1 |a Верещагин  |b Н. К.  |g Николай Константинович 
701 1 |a Плиско  |b В. Е.  |g Валерий Егорович 
801 0 |a RU  |b Общество с ограниченной ответственностью «ЗНАНИУМ»  |c 20070315  |2 rusmarc 
856 4 |a znanium.com  |m ebs_support@infra-m.ru  |n НИЦ ИНФРА-М  |u https://znanium.com/catalog/document?id=272628 
856 4 1 |a znanium.com  |d /cover/0129  |f 129565.jpg  |q image/jpeg  |u https://znanium.com/cover/0129/129565.jpg