Математическая Логика

Задание 1

Множества и слова

Исчисление высказываний

Задание 2

Язык исчисления высказываний

Исчисление высказываний

Задание 3

Система аксиом и правил вывода

Исчисление высказываний

Задание 4

Эквивалентность формул

Исчисление высказываний

Задание 5

Исчисление высказываний

Исчисление высказываний

Задание 6

Семантика исчисления высказываний

Исчисление высказываний

Задание 7

Характеризация доказуемых формул

Исчисление высказываний

Задание 8

Исчисление высказываний гильбертовского типа

Исчисление высказываний

Задание 9

Предикаты и отображения

Теория множеств

Задание 10

Частично упорядоченные множества

Теория множеств

Задание 11

Мощность множества

Теория множеств

Задание 12

Аксиома выбора

Теория множеств

Задание 13

Алгебраические системы

Истинность на алгебраических системах

Задание 14

Формулы сигнатуры Сигма

Истинность на алгебраических системах

Задание 15

Теорема компактности

Истинность на алгебраических системах

Задание 16

Аксиомы и правила вывода

Исчисление предикатов

Задание 17

Эквивалентность формул

Исчисление предикатов

Задание 18

Нормальные формы

Исчисление предикатов

Задание 19

Теорема о существование модели

Исчисление предикатов

Задание 20

Машины Тьюринга

Алгоритмы и рекурсивные функции

Задание 21

Рекурсивные функции

Алгоритмы и рекурсивные функции

Задание 22

Рекурсивно перечислимые предикаты

Алгоритмы и рекурсивные функции