Языки и исчисления учебное пособие
В учебном пособии рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Издание включает в себя около 200 задач различной трудности. Предназначено для...
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Книга |
| Konular: | |
| Online Erişim: | Перейти к просмотру издания |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
| LEADER | 02350nam0a2200385 4500 | ||
|---|---|---|---|
| 001 | RU/IPR SMART/102079 | ||
| 856 | 4 | |u https://www.iprbookshop.ru/102079.html |z Перейти к просмотру издания | |
| 801 | 1 | |a RU |b IPR SMART |c 20240904 |g RCR | |
| 010 | |a 978-5-4497-0924-0 | ||
| 205 | |a Языки и исчисления |b 2024-12-24 | ||
| 333 | |a Лицензия до 24.12.2024 | ||
| 100 | |a 20240904d2021 k y0rusy01020304ca | ||
| 105 | |a y j 000zy | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 200 | 1 | |a Языки и исчисления |e учебное пособие |f Н. К. Верещагин, А. Х. Шень | |
| 700 | 1 | |a Верещагин, |b Н. К. |4 070 | |
| 701 | 1 | |a Шень, |b А. Х. |4 070 | |
| 330 | |a В учебном пособии рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Издание включает в себя около 200 задач различной трудности. Предназначено для студентов, обучающихся по направлениям подготовки и специальностям, учебными планами которых предусмотрено изучение основ математической логики. | ||
| 210 | |a Москва |c Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа |d 2021 | ||
| 610 | 1 | |a исчисление | |
| 610 | 1 | |a математическая логика | |
| 610 | 1 | |a выразимость | |
| 610 | 1 | |a логика высказывания | |
| 610 | 1 | |a теория моделей | |
| 610 | 1 | |a разрешимая теория | |
| 675 | |a 510 | ||
| 686 | |a 22.1 |2 rubbk | ||
| 300 | |a Книга находится в премиум-версии IPR SMART. | ||
| 106 | |a s | ||
| 230 | |a Электрон. дан. (1 файл) | ||
| 336 | |a Текст | ||
| 337 | |a электронный | ||
| 503 | 0 | |a Доступна эл. версия. IPR SMART | |
| 215 | |a 278 с. | ||