Уникальный идентификатор НТЗ: ID = 687039619
Наименование НТЗ: Математическая логика
Расположение НТЗ: R:\Тесты\математический факультет\кафедра геометрии и высшей алгебры\Нирова М.С\Математическая логика для ПМНО сп.ast
Авторский коллектив НТЗ: Нирова М.С., Токбаева А.А.
Дата создания НТЗ: 12.03.2008
Дата конвертации НТЗ: 07.10.2008
Содержание и структура тестовых материалов Тематическая структура
Исчисление предикатов
Аксиомы Гильбердта в ИП
Импликация и эквиваленция предикатов
Конъюнкция и дизъюнкция предикатов
Местность предиката
Общезначимые предикаты
Операции над предикатами
Подмножество истинности предиката
Машина Тьюринга
Операции над машинами Тьюринга
Работа машины Тьюринга
Строение машины Тьюринга
Нормальные и совершенные формы
КНФ и ДНФ
Применение теорем проблемы разрешимости
Совершенные формы
Элементарные и нормальные формы
Объем и содержание понятий
Объем и содержание понятий
Приложение к ИВ
Аксиомы Гильбердта в ИВ
Доказательство и вывод
Теория контактов
Упрощение контактной схемы
Приложение к ИП
Задачи по строению и видам теорем
Необходимое и достаточное условие (1)
Необходимое и достаточное условие (2)
Необходимое и достаточное условие (3)
Правильные и неправильные рассуждения (1)
Правильные и неправильные рассуждения (2)
Строение и виды теорем
Элементы комбинаторики
Задачи на перестановку
Задачи на размещение
Задачи на сочетание
Элементы комбинаторики
Элементы математической логики
Операции над высказываниями
Основные законы ИВ (1)
Основные законы ИВ (2)
Примеры высказываний
Примеры на упрощение формул в ИВ
Формула в ИВ
Элементы теории множеств
Задание отношения при помощи уравнения
Задачи на множества
Множества, заданные на промежутке
Мощность множества
Мощность объединения множеств
Мощность пересечения множеств
Операции над множествами
Основные законы алгебры множеств
Подмножество множества
Свойства отношений
Способы задания множеств
Содержание тестовых материалов Исчисление предикатов Аксиомы Гильбердта в ип
1. Задание {{ 362 }} ТЗ № 362
Одной из аксиом Гильберта в ИП является
2. Задание {{ 363 }} ТЗ № 363
Одной из аксиом Гильберта в ИП является
3. Задание {{ 364 }} ТЗ № 364
Одной из аксиом Гильберта в ИП является
4. Задание {{ 365 }} ТЗ № 365
Одной из аксиом Гильберта в ИП является
5. Задание {{ 366 }} ТЗ № 366
Одной из аксиом Гильберта в ИП является
6. Задание {{ 367 }} ТЗ № 367
Одной из аксиом Гильберта в ИП является
7. Задание {{ 368 }} ТЗ № 368
Одной из аксиом Гильберта в ИП является
8. Задание {{ 369 }} ТЗ № 369
Одной из аксиом Гильберта в ИП является
9. Задание {{ 370 }} ТЗ № 370
Одной из аксиом Гильберта в ИП является
10. Задание {{ 371 }} ТЗ № 371
Одной из аксиом Гильберта в ИП является
Импликация и эквиваленция предикатов
11. Задание {{ 382 }} ТЗ № 382
На множестве
заданы предикаты
:
«х- натуральное число»,
:
«
»
подмножеством истинности предиката
является
12. Задание {{ 383 }} ТЗ № 383
На множестве
заданы предикаты
:
«х- натуральное число»,
:
«
»
подмножеством истинности предиката
является
13. Задание {{ 384 }} ТЗ № 384
На множестве
заданы предикаты
:
«
»,
:
«
»
подмножеством истинности предиката
является
14. Задание {{ 385 }} ТЗ № 385
На множестве
заданы предикаты
:
«
»,
:
«
»
подмножеством истинности предиката
является
15. Задание {{ 386 }} ТЗ № 386
На множестве
заданы предикаты
:
«х- натуральное число»,
:
«
»
подмножеством истинности предиката
является …
16. Задание {{ 387 }} ТЗ № 387
На множестве
заданы предикаты
:
«х- натуральное число»,
:
«
»
подмножеством истинности предиката
является
17. Задание {{ 388 }} ТЗ № 388
На множестве
заданы предикаты
:
«
»,
:
«
»
подмножеством истинности предиката
является
18. Задание {{ 389 }} ТЗ № 389
На множестве
заданы предикаты
:
«
»,
:
«
»
подмножеством истинности предиката
является
19. Задание {{ 390 }} ТЗ № 390
На множестве
заданы предикаты
:
«
»,
:
«
»
подмножеством истинности предиката
является
20. Задание {{ 391 }} ТЗ № 391
На множестве заданы предикаты : «х – натуральное число», : « » подмножеством истинности предиката является
