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

Описание


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

Рейтинг издания


Нет оценки

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

Автор: 
Гуц А.К.
Издатель: 
URSS
Серия: 
Математика
Переплет: 
мягкая обложка
Страниц: 
128
Год издания: 
2016

Похожие издания:


Лекции по математике. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя. Том 6

Книга посвящена основаниям математики, проблемам вычислимости и доказуемости.

Логика и логическая семантика. Выпуск №15

Вниманию читателей предлагается книга крупнейшего немецкого ученого, основоположника современной математической логики и выдающегося представителя философско-математической мысли Готтлоба Фреге (1848-1925), труды которог

Логика и философия математики

В книге помещены некоторые из неопубликованных при жизни автора статей, а также несколько статей, опубликованных в изданиях, ставших в настоящее время труднодоступными.

Логика и философия математики

В книге помещены некоторые из неопубликованных при жизни автора статей, а также несколько статей, опубликованных в изданиях, ставших в настоящее время труднодоступными.

Математическая логика. Введение в математическую логику

Авторы настоящей книги - А.Н. Колмогоров и А.Г. Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики.

Логика и философия математики. Избранное. Выпуск №23

В современную эпоху компьютеризации, когда методы эффективной вычислимости приобрели в науке и практике первостепенное значение, а понятия алгоритма и формализованной эвристики получили широкое философское звучание, мног