RUSSIAN

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

By Верещагин Н.К.

Book information

Language
russian
Format
PDF
Filesize
469 kB (480126 bytes)
Pages
\40
Topic
Mathematics Logic
Library
twirpx
Time added
2017-08-07 07:01:42
Математика;Математическая логика

Description

Лекции для 1-го курса мехмата МГУ.Логика высказываний:высказывания и операции,полные системы связок.Исчисление высказываний, интуиционистская пропозициональная логика.Языки первого порядка:формулы и интерпретации,определение истинности,выразимые и невыразимые предикаты,автоморфизмы,элиминация кванторов.Исчисление предикатов:общезначимые формулы,аксиомы и правила вывода,корректность исчисления предикатов,выводы в исчислении предикатов,теории и модели.

Similar books