Opening book details…
Can I read Введение в математическую логику on EtoBox?
Введение в математическую логику by Верещагин Н.К. is a nonfiction available to read on EtoBox.
What is Введение в математическую логику about?
Лекции для 1-го курса мехмата МГУ. Логика высказываний: высказывания и операции, полные системы связок. Исчисление высказываний, интуиционистская пропозициональная логика. Языки первого порядка: формулы и интерпретации, определение истинности, выразимые и невыразимые предикаты, автоморфизмы, элиминация кванторов. Исчисление предикатов: общезначимые формулы, аксиомы и правила вывода, корректность исчисления предикатов, выводы в исчислении предикатов, теории и модели.
Who reads Введение в математическую логику?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Верещагин Н.К.
- Language
- RU
- Category
- nonfiction
- Subjects
- Mathematics, Logic, Stem
More by Верещагин Н.К.
Browse all works by Верещагин Н.К.
Similar books
- Введение в математическую логику — Мендельсон Эллиот (1971)
- Введение в математическую логику — Воротников С.М.
- Введение в математическую логику — Попов А. И. (1959)
- Введение в математическую логику — А.Н. Колмогоров, А.Г. Драгалин (1982)
- Конспект лекций О.Б.Лупанова по курсу ''Введение в математическую логику'' — Угольников А.Б.(ред.) (2007)
- Введение в математическую логику — Зюзьков В. М. (2022)