Âîïðîñû ê ýêçàìåíó ïî äèñêðåòíîé

ìàòåìàòèêå
1. Ìàøèíà Òüþðèíãà. Ôóíêöèè, âû÷èñëèìûå ïî Òüþðèíãó.

2. Êîäèðîâêà ìàøèí Òüþðèíãà. Ïðîáëåìà ñàìîïðèìåíèìîñòè.

3. Êîäèðîâêà ìàøèí Òüþðèíãà. Ïðîáëåìà ïðèìåíèìîñòè.

4. Íîðìàëüíûå àëãîðèòìû. Ôóíêöèè, âû÷èñëèìûå ïî Ìàðêîâó.

5. Èñõîäíûå ôóíêöèè. Ñóïåðïîçèöèÿ, ïðèìèòèâíàÿ ðåêóðñèÿ. Ïðèìè-

òèâíàÿ ðåêóðñèâíîñòü êîíñòàíò, ñóììû, ïðîèçâåäåíèÿ, ïîêàçàòåëüíî-
ñòåïåííîé ôóíêöèè.

6. Èñõîäíûå ôóíêöèè. Îïåðàöèÿ ìèíèìèçàöèè. ×àñòè÷íî ðåêóðñèâíûå

ôóíêöèè. Òåîðåìà î âû÷èñëèìûõ ôóíêöèÿõ.

7. Ïðåäèêàòû è îïåðàöèè íàä íèìè. Îïåðàöèè êâàíòèôèêàöèè.

8. Òåîðåìà î ïðåäñòàâëåíèè êâàíòîðà ñóùåñòâîâàíèÿ ÷åðåç êîíúþíêöèþ.

Òåîðåìà î òîæäåñòâåííîé èñòèííîñòè ïðåäèêàòà.

9. Òåîðåìà î ïðåäñòàâëåíèè êâàíòîðà ñóùåñòâîâàíèÿ ÷åðåç äèçúþíêöèþ.

Òåîðåìà î òîæäåñòâåííîé ëîæíîñòè ïðåäèêàòà.

10. Òåîðåìû î ïåðåñòàíîâêå êâàíòîðîâ. Òåîðåìà îá îòðèöàíèè êâàíòîðîâ.

11. Äèñòðèáóòèâíîñòü êâàíòîðà îáùíîñòè îòíîñèòåëüíî êîíúþíêöèè. Ïî-

ëóäèñòðèáóòèâíîñòü ñóùåñòâîâàíèÿ îòíîñèòåëüíî êîíúþíêöèè.

12. Äèñòðèáóòèâíîñòü êâàíòîðà ñóùåñòâîâàíèÿ îòíîñèòåëüíî äèçúþíê-

öèè. Ïîëóäèñòðèáóòèâíîñòü êâàíòîðà îáùíîñòè îòíîñèòåëüíî äèçú-
þíêöèè.

13. Ïðåäñòàâëåíèå ïðåäèêàòíûõ ôîðìóë â ïðèâåäåííîé è ïðåäâàðåííîé

íîðìàëüíîé ôîðìàõ.

14. Âûáîðêà. Ðàçìåùåíèÿ ñ ïîâòîðåíèÿìè è áåç ïîâòîðåíèÿ.

15. Âûáîðêà Ñî÷åòàíèÿ ñ ïîâòîðåíèÿìè è áåç ïîâòîðåíèÿ.

16. Ïåðåñòàíîâêè ñ ïîâòîðåíèÿìè è áåç ïîâòîðåíèÿ. Ïîëèíîìèàëüíàÿ ôîð-

ìóëà.

17. Áèíîì Íüþòîíà. Ñâîéñòâà áèíîìèàëüíûõ êîýôôèöèåíòîâ.

18. Ïðèíöèï âêëþ÷åíèé è èñêëþ÷åíèé. Çàäà÷è î ñìåùåíèÿõ.

19. Çàäà÷è î ðàñïðåäåëåíèÿõ. Ñëó÷àè T è U.

1
20. Çàäà÷è î ðàñïðåäåëåíèÿõ. Ñëó÷àè V è W.

21. Îáîáùåííûé àðèôìåòè÷åñêèé òðåóãîëüíèê. Òåîðåìà î ñâÿçè ìåæäó

îáîáùåííûì àðèôìåòè÷åñêèì òðåóãîëüíèêîì ïîðÿäêà m è m - è÷íîé
ñèñòåìîé ñ÷èñëåíèÿ. ×èñëî ñ÷àñòëèâûõ àâòîáóñíûõ áèëåòîâ.

22. Ñâîéñòâà îáîáùåííûõ êîýôôèöèåíòîâ.

23. Ðåêóððåíòíûå ñîîòíîøåíèÿ. Òåîðåìà îá îáùåì ðåøåíèè îäíîðîäíî-

ãî ëèíåéíîãî ðåêóððåíòíîãî ñîîòíîøåíèÿ 2 ïîðÿäêà ñ ïîñòîÿííûìè
êîýôôèöèåíòàìè. Ñëó÷àé äåéñòâèòåëüíûõ êîðíåé.

24. Ðåêóððåíòíûå ñîîòíîøåíèÿ. Òåîðåìà îá îáùåì ðåøåíèè îäíîðîäíîãî

ëèíåéíîãî ðåêóððåíòíîãî ñîîòíîøåíèÿ 2 ïîðÿäêà ñ ïîñòîÿííûìè êî-
ýôôèöèåíòàìè. Ñëó÷àé êîìïëåêñíûõ êîðíåé. Îäíîðîäíîå ëèíåéíîå
ðåêóððåíòíîå ñîîòíîøåíèå k-ãî ïîðÿäêà ñ ïîñòîÿííûìè êîýôôèöèåí-
òàìè.

25. Ôóíêöèè k-çíà÷íîé ëîãèêè. Òåîðåìà î êîëè÷åñòâå ôóíêöèé k-çíà÷íîé

ëîãèêè, çàâèñÿùèõ îò n àðãóìåíòîâ. Îñíîâíûå ôóíêöèè k-çíà÷íîé ëî-
ãèêè.

26. Ôóíêöèîíàëüíàÿ ïîëíîòà. Òåîðåìà î ôóíêöèîíàëüíîé ïîëíîòå êëàññà

Ïîñòà {q, ∨}.

27. Îáùèå ïðèíöèïû ïîñòðîåíèÿ ôîðìàëüíûõ òåîðèé. Êëàññè÷åñêîå èñ-

÷èñëåíèå âûñêàçûâàíèé L. Ôîðìóëû, àêñèîìû, ïðàâèëî MP.

28. Äîêàçàòåëüñòâî òåîðåìû A → A. Òåîðåìà î äåäóêöèè.

29. Ñëåäñòâèå òåîðåìû î äåäóêöèè. Òðàíçèòèâíîñòü èìïëèêàöèè è ïðà-

âèëî ñå÷åíèÿ.