Вводный курс математической логики Учебное пособие
В учебном пособии содержится материал основного курса «Введение в математическую логику» читаемого на механико-математическом факуль- тете МГУ. Излагаются элементы теории множеств основные понятия относя- щиеся к семантике формализованных логико-математических языков первого порядка исчисление преди...
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | Учебное пособие |
| Редакция: | 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 |