Оглавление секции
-
Вводная часть лекции содержит основные определения, используемые в дисциплине. Определение формального исчисления, определение вывода, теоремы. Определение свойств исчисления: непротиворечивости и разрешимости. Разновидности исчислений.
Вторая часть лекции содержит определение исчисления высказываний генценовского типа ИС: алфавит, формулы и секвенции, аксиомы и правила вывода.