rt-g0_73c250c9-Kleene_VVM-russian/parts/part2-mathematical_logic.tex

\part{Математическая логика}
\label{part:II-mathematical_logic}

\chapter{Формальная система}
\label{chap:iv-a_formal_system}

\section{Формальные символы}
\label{sec:16-formal_symbols}

stub

\section{Правила преобразования}
\label{sec:17-formation_rules}

stub

\section{Свободные и связанные переменные}
\label{sec:18-free_and_bound_variables}

stub

\section{Правила преобразования}
\label{sec:19-transformation_rules}

stub




\chapter{Формальный вывод}
\label{chap:v-formal_deduction}

\section{Формальный вывод}
\label{sec:20-formal_deduction}

stub

\section{Теорема о дедукции}
\label{sec:21-the_deduction_theorem}

stub

\section{Теорема о дедукции (окончание)}
\label{sec:22-the_deduction_theorem_concluded}

stub

\section{Введение и удаление логических символов}
\label{sec:23-introduction_and_elimination_of_logical_symbols}

stub

\section{Зависимость формул и варьирование переменных}
\label{sec:24-dependence_and_variation}

stub

\chapter{Исчисление высказываний}
\label{chap:vi-the_propositional_calculus}

\section{Формулы исчисления высказываний}
\label{sec:25-proposition_letter_formulas}

stub

\section{Эквивалентность, замена}
\label{sec:26-equivalence_replacement}

stub

\section{Эквивалентности, двойственность}
\label{sec:27-equivalences_duality}

stub

\section{Оценка, непротиворечивость}
\label{sec:28-valuation_consistency_vi}

stub

\section{Полнота, нормальная форма}
\label{sec:29-completness_normal_form}

stub

\section{Разрешающая процедура, интерпретация}
\label{sec:30-decision_procedure_interpretation}

stub

\chapter{Исчисление предикатов}
\label{chap:vii-the_predicate_calculus}

\section{Предикатные формулы}
\label{sec:31-predicate_letter_formulas}

stub

\section{Выводимые правила, свободные переменные}
\label{sec:32-derived_rules_free_variables}

stub

\section{Замена}
\label{sec:33-replacement}

stub

\section{Подстановка}
\label{sec:34-substitution}

stub

\section{Эквивалентности, двойственность, предварённая форма}
\label{sec:35-equivalences_duality_prenex_form}

stub

\section{Оценка, непротиворечивость}
\label{sec:36-valuation_consistency_vii}

stub

\section{Теоретико-множественная логика предикатов, \texorpdfstring{\lowercase{$k$}}{k}-образы}
\label{sec:37-set-theoretic_predicate_logic_k_transforms}

stub

\chapter{Формальная арифметика}
\label{chap:viii-formal_number_theory}

\section{Индукция, равенства, замена}
\label{sec:38-induction_equality_replacement}

stub

\section{Сложение, умножение, порядок}
\label{sec:39-addition_multiplication_order}

stub

\section{Дальнейшее построение арифметики}
\label{sec:40-the_further_development_of_number_theory}

stub

\section{Формализованные вычисления}
\label{sec:41-formal_calculations}

stub

\section{Теорема Гёделя}
\label{sec:42-goedel_s_theorem}

stub