18+
На сайте представлено только описание и выходные данные книги «Лекции по математической логике и теории алгоритмов Юрий Белов». Сайт не является распространителем книги. Сайт не предоставляет возможности купить, читать онлайн или скачать бесплатно книгу «Лекции по математической логике и теории алгоритмов Юрий Белов». Сайт предназначен для лиц старше 18 лет. Если вам не исполнилось 18 лет - незамедлительно покиньте сайт. Оставаясь на сайте вы подтвердаете, что вам исполнилось 18 лет.
Незаконное потребление наркотических средств, психотропных веществ, их аналогов причиняет вред здоровью, их незаконный оборот запрещен и влечет установленную законодательством ответственность
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте. Это и многое другое вы найдете в книге Лекции по математической логике и теории алгоритмов (Юрий Белов)
| Полное название книги | Юрий Белов Лекции по математической логике и теории алгоритмов |
| Тип | Книга |
| Автор | Юрий Белов |
| Категории | Книги, Детская литература |
| ISBN | 9785839709089 |
| Возрастное ограничение | 18 |
| Издательство | Бибком |
| Год | 2013 |
| Название транслитом | lekcii-po-matematicheskoy-logike-i-teorii-algoritmov-yuriy-belov |
| Просмотров | 2 |
| Рейтинг izbe.ru | 0,0 |
Мари Мур
Брук Лин
Конкордия Антарова
Дэниел Киз
Абрахам Вергезе
Аида Синицына
Вадим Зеланд
Сергей Лукьяненко
Роберт Грин
Виктор Дашкевич
Роман Прокофьев
Пауло Коэльо
