Математическая логика
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно чем это преду...
Сохранить в:
| Главный автор: | |
|---|---|
| Редакция: | 6 |
| Online-ссылка: | https://znanium.com/catalog/document?id=81684 https://znanium.com/cover/0395/395379.jpg |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| LEADER | 02322nam0a2200361 i 4500 | ||
|---|---|---|---|
| 001 | RU\infra-m\znanium\bibl\395379 | ||
| 003 | https://znanium.com/catalog/document?id=81684 | ||
| 005 | 20191206000000.0 | ||
| 010 | |a 978-5-9221-1301-4 | ||
| 100 | |a 20191206d2016 m y0rusy0150 ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 200 | 1 | |a Математическая логика | |
| 205 | |a 6 |b испр. | ||
| 210 | 1 | |a Москва |c Издательская фирма "Физико-математическая литература" (ФИЗМАТЛИТ) |d 2011 | |
| 215 | |a 356 с. | ||
| 330 | |a В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов. | ||
| 606 | |a Физико-математические науки |x Линейное программирование. Математическая логика |2 local | ||
| 675 | |a 510.6(075.8) |z rus | ||
| 686 | |a 22.12 |2 rubbk | ||
| 686 | |a 01.03.01 |2 okso | ||
| 686 | |a 01.03.02 |2 okso | ||
| 686 | |a 01.03.03 |2 okso | ||
| 686 | |a 01.03.04 |2 okso | ||
| 686 | |a 02.03.01 |2 okso | ||
| 686 | |a 03.03.01 |2 okso | ||
| 686 | |a 03.03.02 |2 okso | ||
| 686 | |a 03.03.03 |2 okso | ||
| 700 | 1 | |a Ершов |b Ю. Л. |g Юрий Леонидович | |
| 701 | 1 | |a Палютин |b Е. А. |g Евгений Андреевич | |
| 801 | 0 | |a RU |b Общество с ограниченной ответственностью «ЗНАНИУМ» |c 20121024 |2 rusmarc | |
| 856 | 4 | |a znanium.com |m ebs_support@infra-m.ru |n НИЦ ИНФРА-М |u https://znanium.com/catalog/document?id=81684 | |
| 856 | 4 | 1 | |a znanium.com |d /cover/0395 |f 395379.jpg |q image/jpeg |u https://znanium.com/cover/0395/395379.jpg |