picture      

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

А.К. Гуц

Омск: Из-во Наследие. Диалог-Сибирь, 2003. - 108 с.

ISBN 5 - 8239 - 0126 - 7
Скачать - см.ниже.


СОДЕРЖАНИЕ

Часть I. Логика

Глава 1. Классическая логика

Глава 2. Формальные теории (исчисления)

Глава 3. Неклассические логики

Часть II. Алгоритмы

Глава 4. Алгоритмы

Глава 5. Сложность алгоритмов

Глава 6. Алгоритмы реальности

Литература

Скачать книгу (djvu-формат)

Скачать книгу (zip-архив ps-файла)

Скачать обложку (zip-архив bmp-файла обложки)