- •Содержание и структура тестовых материалов Тематическая структура
- •1. Задание {{ 91 }} тз № 91
- •24. Задание {{ 108 }} тз № 108
- •245. Задание {{ 333 }} тз № 333
- •326. Задание {{ 67 }} тз 67 Тема 6-34-0
- •327. Задание {{ 68 }} тз 68 Тема 6-34-0
- •328. Задание {{ 69 }} тз 69 Тема 6-34-0
- •329. Задание {{ 70 }} тз 70 Тема 6-34-0
- •330. Задание {{ 71 }} тз 71 Тема 6-34-0
- •354. Задание {{ 80 }} тз 80 Тема 6-37-0
- •355. Задание {{ 81 }} тз 81 Тема 6-37-0
- •356. Задание {{ 285 }} тз № 285
- •357. Задание {{ 286 }} тз № 286
- •358. Задание {{ 287 }} тз № 287
- •359. Задание {{ 288 }} тз № 288
- •371. Задание {{ 83 }} тз 83 Тема 6-38-0
- •372. Задание {{ 299 }} тз № 299
Уникальный идентификатор НТЗ: ID = 687039619
Наименование НТЗ: Математическая логика
Расположение НТЗ: R:\тесты\математический факультет\кафедра геометрии и высшей алгебры\Нирова М.С\Нирова\Математическая логика.ast
Авторский коллектив НТЗ: Нирова М.С.
Дата создания НТЗ: 12.03.2008
Дата конвертации НТЗ: 09.09.2008
Содержание и структура тестовых материалов Тематическая структура
СОДЕРЖАНИЕ ТЕСТОВЫХ МАТЕРИАЛОВ Элементы теории множеств Подмножество множества Раздел |
Тема |
Элементы теории множеств |
Подмножество множества |
|
Операции над множествами |
|
Способы задания множеств |
|
Основные законы алгебры множеств |
|
Мощность множества |
|
Задание отношения при помощи уравнения |
|
Задачи на множества |
|
Мощность пересечения множеств |
|
Мощность объединения множеств |
|
Свойства отношений |
|
Множества, заданные на промежутке |
Элементы математической логики |
Операции над высказываниями |
|
Примеры высказываний |
|
Формула в ИВ |
|
Основные законы ИВ (1) |
|
Основные законы ИВ (2) |
|
Примеры на упрощение формул в ИВ |
Нормальные и совершенные формы |
КНФ и ДНФ |
|
Элементарные и нормальные формы |
|
Применение теорем проблемы разрешимости |
|
Совершенные формы |
Приложение к ИВ |
Доказательство и вывод |
|
Аксиомы Гильбердта в ИВ |
|
Теория контактов |
|
Упрощение контактной схемы |
Исчисление предикатов |
Местность предиката |
|
Операции над предикатами |
|
Общезначимые предикаты |
|
Аксиомы Гильбердта в ИП |
|
Подмножество истинности предиката |
|
Импликация и эквиваленция предикатов |
|
Конъюнкция и дизъюнкция предикатов |
Приложение к ИП |
Строение и виды теорем |
|
Задачи по строению и видам теорем |
|
Необходимое и достаточное условие (1) |
|
Необходимое и достаточное условие (2) |
|
Необходимое и достаточное условие (3) |
|
Правильные и неправильные рассуждения (1) |
|
Правильные и неправильные рассуждения (2) |
Машина Тьюринга |
Строение машины Тьюринга |
|
Операции над машинами Тьюринга |
|
Работа машины Тьюринга |
1. Задание {{ 91 }} тз № 91
С множеством натуральных чисел N имеет пустое пересечение множество
£
£ Q – рациональные числа
R
£
2. Задание {{ 92 }} ТЗ № 92
С множеством натуральных чисел N имеет пустое пересечение множество
£ – натуральные числа
£ Q – рациональные числа
R - множество целых отрицательных чисел
£
3. Задание {{ 93 }} ТЗ № 93
С множеством натуральных чисел N имеет пустое пересечение множество
£ Z – целые числа
£
R - множество целых отрицательных чисел
£
4. Задание {{ 94 }} ТЗ № 94
С множеством натуральных чисел N имеет пустое пересечение множество
R
£
£ Q – рациональные числа
£
5. Задание {{ 95 }} ТЗ № 95
С множеством натуральных чисел N имеет пустое пересечение множество
£ Z – целые числа
£ Q – рациональные числа
R - множество целых отрицательных чисел
£
6. Задание {{ 96 }} ТЗ № 96
С множеством натуральных чисел N имеет пустое пересечение множество
£ Задайте множество при помощи характеристического свойства, если А – множество квартир в доме, В – множество квартир в доме с балконом, С – множество квартир в доме со смежными комнатами,D – множество двухкомнатных квартир в доме.
£ Y= множество смежных двухкомнатных квартир в доме;
£ Y= множество смежных или двухкомнатных квартир в доме;
£ Y= множество смежных, двухкомнатных квартир с балконом;
R Задайте множество при помощи характеристического свойства, если А – множество чётных чисел, В – нечётных чисел, С – множество чисел кратных трём.
£ Y= множество чётных чисел;
£ Задайте множество при помощи характеристического свойства, если А – множество квартир в доме, В – множество квартир в доме с балконом, С – множество однокомнатных квартир.
£ Y= множество однокомнатных квартир в доме
£
R Y=множество не однокомнатных квартир с балконом
£ Y= множество однокомнатных квартир с балконом;