Пропустить и перейти к материалам
Пропустить и перейти к главной навигации
Пропустить и перейти к первому столбцу
Пропустить и перейти ко второму столбцу
Логика - доступно для всех
Вопросы и ответы на экзамен по математической логике
Фильтр по заголовку
Количество строк:
5
10
15
20
25
30
50
100
Все
№
Заголовок материала
1
Булевы функции, булевы константы.
2
Основные логические связи. Отрицание (логическая связь "не")
3
Конъюнкция
4
Дизъюнкция
5
Импликация.
6
Эквиваленция или равнозначность
7
Понятие алгебры.
8
Основные логические функции
9
Основные законы алгебры логики. Постулаты алгебры логики
10
Законы алгебры логики. Теоремы одной переменной
11
Теоремы для двух и трех переменных
12
Тавтологии. Равносильные формулы
13
Полнота системы логических функций. Базис
14
Критерии полноты Поста-Яблонского
15
Аксиоматические системы, формальный вывод.
16
Формальные теории. Основные понятия и определения
17
Общезначимость и непротиворечивость
18
Полнота, независимость и разрешимость
19
Метатеория формальных систем.
20
Исчисление высказываний. Основные понятия и определения.
21
Интерпретация
22
Логическое следование. Принцип дедукции.
23
Основные схемы логически правильных рассуждений.
24
Метод резолюций в исчислении высказываний.
25
Исчисление предикатов. Основные понятия и определения.
26
Синтаксис и семантика языка логики предикатов.
27
Интерпретация языка логики предикатов.
28
Логическое следование и логическая эквивалентность.
29
Опровержение методом резолюций.
30
Композиции машин Тьюринга
31
Тезис Черча. Алгоритмически неразрешимые проблемы.
32
Задача о разрешимости диофантова уравнения
33
Рекурсивные функции
34
Алгоритмически неразрешимые проблемы.
35
Меры сложности алгоритмов. Классы задач Р, ЕХР и NP. NP полные задачи
36
Понятие алгоритмической системы.
37
Общие свойства алгоритмов.
38
Способы задания алгоритмов
39
Формализация понятия алгоритма. Универсальные модели алгоритмов.
40
Рекурсивные функции.
41
МАШИНА ТЬЮРИНГА.
42
Область использования машины Тьюринга
43
Тезис Черча. Алгоритмически неразрешимые проблемы.
44
Меры сложности алгоритмов. Классы задач P и NP.
45
Понятие сложности вычислений. NP- полные задачи.
46
Логические представления
47
История развитая математической логики
48
Логика высказываний. Основные понятия и определения.
49
Предикаты и кванторы
Главное меню
Главная
Поиск по сайту от Google
Лекционные материалы
Подборка лекций по логике
Лекции по предмету "Логика"
Основы логики
Ответы на вопросы по математической логике
Обновленные курсы лекций по логике
Шпаргалки по дисциплине "Логика"
Лекции по "Математической логике"
practiceadvices.com
Файлы по логике
Курсовые и дипломные работы по логике
Лабораторные, задачи и контрольные работы по логике
Случайная новость
ФОРМЫ РАЗВИТИЯ ЗНАНИЯ
Научно-исследовательская и практическая работа...