Математическая логика и теория алгоритмов. Изд. 3; Ленанд, 2016
610 р.
- Издатель: Ленанд
- ISBN: 978-5-9710-2629-7
EAN: 9785971026297
- Книги: Физика и математика
- ID:1972186
Где купить (3)
Цена от 610 р. до 610 р. в 3 магазинах
| Магазин | Цена | Наличие |
|---|---|---|
| Магазин | Последняя известная цена | Обновлено |
|---|---|---|
| Яндекс.Маркет | 1587 р. | 27.06.2024 |
Описание
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга---Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям `Компьютерная безопасность` и `Вычислительные машины, комплексы, системы и сети`. ISBN:978-5-9710-2629-7
Смотри также о книге.
О книге
| Параметр | Значение |
|---|---|
| Автор(ы) | Александр Константинович Гуц |
| Переплет | Мягкий переплёт |
| Издатель | Ленанд |
| Год издания | 2016 |
| Страниц | 128 |
| Переплёт | мягкий |
| ISBN | 978-5-397-04775-3,978-5-9710-2629-7,978-5-397-04588-9 |
| Размеры | 14,50 см × 21,50 см × 0,65 см |
| Формат | 145x215мм |
| Тематика | Математика |
| Раздел | Математические науки |
| Количество страниц | 128 |
| Вес | 0.14кг |
| Кол-во страниц | 128 |
Отзывы (0)
Добавить отзыв
Книги: Математические науки - издательство "Ленанд"
Категория 488 р. - 732 р.
Книги: Математические науки
Категория 488 р. - 732 р.