Вы искали: математическая логика

Математический анализ (2-е издание)

Кратко раскрыты, пояснены и доказаны основные теоретические положения, излагаемые в лекциях по разделам математического анализа в первом семестре: элементы логики, теории множеств, теория пределов, дифференциальное исчисление и теория экстремума. Изложение материала завершается выводом формул скорости и ускорения материальной точки при плоском криволинейном движении. Это позволяет обосновать формулы, приводимые в курсе теоретической механики первого семестра.

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

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

1