- Русский язык
- Литература
- Экономика. Право
- Иностранные языки
- Окружающий мир. Природоведение
- Музыка
- Изобразительное искусство
- История
- Технология
- Мировая художественная культура (МХК)
- Учебно-воспитательная работа в школе
- Административное управление образованием
- Биология. Экология
- Информатика
- Религиоведение
- Естествознание
- Химия
- Физика. Астрономия
- Риторика
- Сборники готовых домашних заданий
- Психолог в школе
- География
- Портфолио
- ОБЖ
- Справочники для школьников
Лекции по математической логике и теории алгоритмов; БИБКОМ, 2013
Где купить (1)
Цена от 320 р. до 320 р. в 1 магазинах
Магазин | Цена | Наличие |
---|---|---|
Описание
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
Смотри также о книге.
О книге
Параметр | Значение |
---|---|
Автор(ы) | Юрий Белов |
Издатель | БИБКОМ |
Год издания | 2013 |
ISBN | 978-5-8397-0908-9 |
Форматы электронной версии |
Отзывы (0)
Добавить отзыв
Зарегистрируйтесь и получайте бонусы за покупки!
Книги: Математика - издательство "БИБКОМ"
Категория 256 р. - 384 р.
Начертательная геометрия
320 р.
Алгебра и теория чисел
320 р.
Книги: Математика
Категория 256 р. - 384 р.
Математика. 6 класс. Рабочая тетрадь
от 282 р.
Для тех, кто любит математику. 1 класс.
от 230 р.
Выучить таблицу умножения? Это просто!
от 237 р.
Математика. 3 класс. Проверочные работы.
от 164 р.
Дробно-рациональные неравенства
от 207 р.
Корни
от 177 р.
Уравнения
от 386 р.