книги Наука, техника, медицина Естественные науки Точные науки Математика Научные издания Математическая логика

Математическая логика и теория алгоритмов

Код 4268553

Наличие на складе

Склад в Москве

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 15.01.2026; планируемая отправка: 16.01.2026

Склад в С.-Петербурге

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 18.01.2026; планируемая отправка: 19.01.2026

Аннотация к книге "Математическая логика и теория алгоритмов"

Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы...

Оставить комментарий

Оцените книгу:

Издательство: Ленанд
Серия: Математика
Дата выхода: август 2015
ISBN: 978-5-9710-2629-7
Объём: 128 страниц

Книга находится в категориях

Пятница 2018

Вместе с этой книгой покупают

Просмотренные товары

Просмотренные категории

Энциклопедии, справочники, сборники Зарубежная литература