Уникальный идентификатор НТЗ: 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= множество однокомнатных квартир с балконом;