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

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

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

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

stub

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

stub

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

stub

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

stub




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

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

stub

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

stub

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

stub

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

stub

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

stub

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

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

stub

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

stub

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

stub

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

stub

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

stub

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

stub

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

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

stub

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

stub

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

stub

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

stub

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

stub

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

stub

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

stub

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

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

stub

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

stub

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

stub

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

stub

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

stub