Математическая логика и теория алгоритмов учебное пособие
Пособие представляет курс лекций, освещающий наиболее важные разделы математической логики и теории алгоритмов; в нем рассматриваются элементы теории множеств, аксиоматическое построение исчисления высказываний, исчисления предикатов, теорий первого порядка и их приложения к некоторым системам искус...
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | Книга |
| Темы: | |
| Online-ссылка: | Перейти к просмотру издания |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| LEADER | 02991nam0a2200385 4500 | ||
|---|---|---|---|
| 001 | RU/IPR SMART/69397 | ||
| 856 | 4 | |u https://www.iprbookshop.ru/69397.html |z Перейти к просмотру издания | |
| 801 | 1 | |a RU |b IPR SMART |c 20250903 |g RCR | |
| 010 | |a 2227-8397 | ||
| 205 | |a Математическая логика и теория алгоритмов |b 2029-10-01 | ||
| 333 | |a Гарантированный срок размещения в ЭБС до 01.10.2029 (автопролонгация) | ||
| 100 | |a 20250903d2017 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 | |
| 701 | 1 | |a Бережной, |b В. В. |4 070 | |
| 330 | |a Пособие представляет курс лекций, освещающий наиболее важные разделы математической логики и теории алгоритмов; в нем рассматриваются элементы теории множеств, аксиоматическое построение исчисления высказываний, исчисления предикатов, теорий первого порядка и их приложения к некоторым системам искусственного интеллекта; излагаются основные проблемы аксиоматического метода, уточнение интуитивного понятия алгоритма на языке частично рекурсивных функций и машин Тьюринга. Изложение материала сопровождается содержательными примерами, приводятся вопросы и упражнения для самопроверки. Предназначено для студентов математических и IT-специальностей; будет полезно преподавателям, ведущим курс математической логики и теории алгоритмов. | ||
| 210 | |a Ставрополь |c Северо-Кавказский федеральный университет |d 2017 | ||
| 610 | 1 | |a математика | |
| 610 | 1 | |a логика | |
| 610 | 1 | |a алгоритм | |
| 610 | 1 | |a теория | |
| 610 | 1 | |a упражнение | |
| 675 | |a 51 | ||
| 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 418 с. | ||