Учебная работа № 341008. Тема: Равнообъемность равноименных исчислений гильбертовского и генценовского типов

[Тип работы: Курсовая теория
Предмет: Математическая логика
Страниц: 20
Год написания: 2014
СОДЕРЖАНИЕ

ВВЕДЕНИЕ 3
1. Понятие исчисления гильбертовского и генценовского типов 5
1.1 Исчисление высказываний генценовского типа 5
1.2 Исчисление высказываний гильбертовского типа 11
2. Равнообъемность равноименных типов исчислений 15
2.1 Понятие равнообъемности исчислений 15
2.2 Равнообъемность равноименных исчислений гильбертовского типа и генценовского типа 17
ЗАКЛЮЧЕНИЕ 19
СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ 20
Стоимость данной учебной работы: 675 руб.

 

    Укажите Ваш e-mail (обязательно)! ПРОВЕРЯЙТЕ пожалуйста правильность написания своего адреса!

    Укажите № работы и вариант

    Соглашение * (обязательно) Федеральный закон ФЗ-152 от 07.02.2017 N 13-ФЗ
    Я ознакомился с Пользовательским соглашением и даю согласие на обработку своих персональных данных.

    Учебная работа № 341008. Тема: Равнообъемность равноименных исчислений гильбертовского и генценовского типов

    Выдержка из похожей работы

    …

    .

    …….Подобная работа временно отсутствует.
    …

     

    Как? Вы еще не читали? Ну это зря...

    1. Учебная работа № 3636. «Контрольная Числовые ряды 1 вариант
    2. Учебная работа № 5304. «Контрольная Эконометрика, вариант 7
    3. Учебная работа № /8065. «Контрольная Математика, вариант 8 51
    4. Учебная работа № 341132. Тема: Приведение общего уравнения линии второго порядка к каноническому виду