Кросcворд по математической логике на тему "Логика предикатов, Элементы теории алгоритмов"

Был запрошен кроссворд на 15 слов, смогли построить на 15 слов
Кросcворд по математической логике на тему Кросcворд по математической логике на тему
 
По горизонтали
6. Множество Т картежей (а1, а2,…, аn) таких, что при замене х1 на а1, х2 на а2, … хn на аn, получается истинное высказывание
12. Предикат, в котором предложение зависит от одной переменной
13. Два предиката, заданные на одном и том же множестве Х, называются … , если множества их истинности совпадает
14. Предложене, в которое входят переменные и которые при замене этих переменных их значения становится высказываниями

По вертикали
1. Предикат, в котором предложение зависит от двух переменной
2. Выражается словами «некоторые», «найдётся», «существует» и др
3. … двух предикатов F(x) и Q(x) называется такой предикат F(x) V Q(x), что для всех а Х, значение этого предиката является дизъюнкция высказываний F(а) V Q(а). Множество истинности для предиката f(x)vq(x) является объединение множеств истинности F(x) и Q(x)
4. Множество Т значений переменных при подстановки, которых в предикат получается истинное высказывание
5. … двух предикатов F(x) и Q(x), определенных на одном и том же множестве Х , называют предикат f(x)«q(x) такой, что для всех а Х, его значение равно f(а)«q(а)
6. Если в предикат входят переменные х1, х2,…, хn принадлежащий соответственно множеству Х1, Х2,…, Хn, то декартово произведение множеств Х1 Х2 … Хn является …
7. Выражается словами «единственный», «один и только один»
8. … предиката F(x) называется предикат , определенный одним и тем же множеством Х, значением которого для любого a Х, является отрицание выказывания
9. Пвыражается с помощью слов «каждый», «всякий», «любой»
10. ... двух предикатов F(x) и Q(x), имеющих общую область определения X, называют такой предикат F(x) Q(x), х Х такой, что для любого а Х значение этого предиката является конъюнкцией высказываний F(а) Q(а). Множество истинности для предиката F(x) Q(x) служит пересечением множеств истинности F(x) и Q(x)
11. … двух предикатов F(x) и Q(x), определенных на одном и том же множестве Х, называют предикат F(x) Q(x), который при любом а Х, имеет значение F(а) Q(а)

Открыть кроссворд в MS Word, OpenOffice Writer (*.rtf)

Похожие категории

1.
Теория алгоритмов
2.
Логика

Похожие кроссворды

1.
По информатике - Логика
2.
По педагогике - Теории воспитания
3.
По психологии - Теории мышления
4.
По педагогике - Теории обучения
5.
По организационному поведению - Теории поведения


Околостуденческое

Рейтинг@Mail.ru

© 2009-2024, Список Литературы