Жұмыс бағдарламасы мамандықтың жұмыс оқу жоспары және 20 ж бекітілген элективті пәндер каталогы негізінде әзірленген

жүктеу 3,94 Mb.

бет	21/25
Дата	14.12.2017
өлшемі	3,94 Mb.
	#4102
түрі	Жұмыс бағдарламасы

1 ... 17 18 19 20 21 22 23 24 25

3-4 практикалы қ жұмыс . Пікірлер алгебрасы

Тапсырмалар
1. р(х)=" х саны 4 бөлінеді", x∈[1;10] предикатының ақиқат жиынтығын анықтау. Осы предикаттың ақиқат және жалған жиынтықтарын салу. Нұсқау: бөліну шарты осы аралықтағы натурал сандарды ғана қарастыру керектігін білдіреді, сондықтан предикатты анықтау облысы - X={1,2,3,4,5,6,7,8,9,10}.

2. p(x,y)= "х саны у санына тең", x, y∈[3;6] предикатының ақиқат жиынтығын анықтау. Осы предикаттың ақиқат және жалған жиынтықтарын салу. Нұсқау: жиын қос сандардан тұрады; бөліну шарты осы аралықтағы натурал сандарды ғана қарастыру керектігін білдіреді, яғни x, y=3, 4, 5, 6.

3. Ортасы координата басы болатын және радиустары сәйкесінше 3 және 5-ке тең шеңберлер облысының предикатын (шарты күрделі болуы мүмкін) жазыңыз. Нұсқау: алдымен суретін салыңыз.

4. ақиқат кестесін құрыңыз. Функцияны ықшамдап ақиқат кестесін құрыңыз. Нұсқау: кестенің «басы» x, y, x∨y, x∧y,, , , z бағандардан тұрады.

5. берілген. Функцияны ықшамдап ақиқат кестесін құрыңыз. Нұсқау: де Морган аксиомасын екі рет қолданыңыз.

6. берілген. Функцияны ықшамдап ақиқат кестесін құрыңыз. Нұсқау: бірінші көбейтілетін жақшалардың қосылғыштары тең.

7. функциясына балама аз операция мен операциядадан тұратын екі функция келтіріңіз. Нұсқау: ішкітерістеутаңбасындаішкіқолдануаксиомасынқолданыңыз.

8. Төменде келтірілген функциялардың ішінен өзара эквивалентті (негіздей отыра) функцияны белгілеңіз:

Нұсқау: ықшамдап салыстыру

9. Төменде келтірілген функциялардың ішінен өзара эквивалентті (негіздей отыра) функцияны белгілеңіз:

Нұсқау: ықшамдап салыстыру

10. Осыған дейінгі есептердің функцияларына ақиқат кестесін құрыңыз.

3-4 практикалық жұмыс. Пікірлер алгебрасы

константалы предикатты қарастырайық. Жоғарыдан төмен үстіне қарай тұжырым ағашын келтірейік және операция нәтижелерін ақиқаттық кестеге сәйкес алмастыра отыра, ағаштың тамырына дейін жетеміз. Осы кездегі соңғы нәтиже предикаттың мәні болып есептеледі (1-сурет).

1-сурет – предикатының ақиқаттылығын анықтау

Мысалы,

Бұл тұжырымының предикат екендігін көрсетеді. Предикаттың басқа да шығару жолын көрсетуге болады:

Эквивалентті тізімнің жиынтығы аталған предикаттың шығару ағашын көрсетеді, 2-сурет.

жүктеу 3,94 Mb.

Достарыңызбен бөлісу:

1 ... 17 18 19 20 21 22 23 24 25