Вы недавно смотрели:
Товар продан.
Математическая логика и теория алгоритмов: Учебное пособие
250 р.
Автор:
Гуц А. К.
(1)
Издательство: Книжный дом"Либроком"
Место издания: Москва
Тип переплёта: ламинированный мягкий
Год издания: 2009
Формат: Стандартный
ISBN: 978-5-397-00056-7
Состояние: Новая.
Всего томов: 1
На остатке: 1
250 р.
Аннотация
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".
(751 продаж с 2022 г.)
Оплата: Только предоплата
Способы оплаты:
- Наличными из рук в руки;
- Оплата на карту СБЕРБАНКА;
- Перевод на банковскую карту;
- Почтовый перевод;
- Яндекс.Деньги;
Доставка: По России и за границу
Способы доставки:
- почта России;
Стоимость доставки:
- По согласованию
Отправка заказов:
- Отправка в течении 5 дней
Почтовый идентификатор:
- высылается всегда
Дополнительные сканы и фото:
- Не высылаются
Торг по цене:
- не возможен
Хранение неоплаченных заказов:
- 7 (дней)
Аннотация
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".
Другие книги из раздела "Математика" (1267) у данного продавца
Теоретические основы информатики: учеб. пособие для студ. высш. учеб. заведений
Горелик В. А.
Матросов В. Л.
Жданов С. А. и др
850 р.
Математика: курс лекций для технических вузов:в 2 кн. Кн.1:учеб. пособие для студ. высш. учеб. заведений
Соболев А. Б.
Рыбалко А. Ф.
550 р.
Аналогичные книги смотрите в разделах:
