- Эзотерика
- Журналистские расследования. Публицистика
- Досуг. Развлечения
- История. Социология. Политика
- Кулинария. Ремесла
- Естественные и технические науки
- Культура. Искусство
- Экономика. Бизнес
- Биографии. Мемуары
- Психология
- Туризм. Путешествия. Путеводители
- Спорт
- Медицина
- Дизайн. Мода. Фотография
- Философия. Религия
- Педагогика. Воспитание
- Музыка
- Артбуки. Вселенные
Математическая логика и теория алгоритмов; Научный мир, 2020
Где купить
Последняя известная цена от 629 р. до 974 р. в 3 магазинах
Вы можете поискать его на других площадках:
Магазин | Цена | Наличие |
---|---|---|
Магазин | Последняя известная цена | Обновлено |
---|---|---|
book24 | 629 р. | 20.08.2023 |
OZON | 974 р. | 24.06.2024 |
Описание
Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные функции, машины Тьюринга и универсальный язык программирования ЛИСП. Приведены примеры алгоритмически неразрешимых проблем. Показана алгоритмическая неразрешимость логики предикатов и аксиоматической арифметики. Дано понятие о теоремах Геделя.
Смотри также о книге.
О книге
Параметр | Значение |
---|---|
Издатель | Научный мир |
Год издания | 2020 |
Страниц | 343 |
Переплёт | твердый |
ISBN | 978-5-91522-001-9 |
Размеры | 60x90/16 |
Формат | 153x218мм |
Автор(ы) | Алексей Набебин |
Тематика | Математика |
Тираж | 1000 |
Язык издания | Русский |
Кол-во страниц | 343 |
Раздел | Математические науки |
Количество страниц | 343 |
Вес | 0.51кг |
Переплет | Твёрдый переплёт |
Отзывы (0)
Добавить отзыв
Книги: Научная литература - издательство "Научный мир"
Книги: Научная литература
Категория 503 р. - 754 р.