Логика. Множества. Вероятность. Лексаченко В.А. - 147 стр.

UptoLike

ВУЗ: 

СПб ГУАП | Санкт-Петербург

Составители: 

Рубрика: 

kzamenacionnye voprosy
1. Bulevy funkcii, 5.
2. Dvo$istvennye funkcii. Svz~ tablic funkci$i f, f
∗
, 6.
3. Dvo$istvenna k slono$i funkcii, 7.
4. Osnovnye sootnoxeni, 8.
5. Podstanovka formul v ravenstva, 9.
6. Polnye mnoestva funkci$i, bazisy), 10.
7. lementarnye konnkcii, diznkcii, 10.
8. Svo$istva funkci$i
c
a
(
x), d
a
(
x), 10.
9. DNF, KNF, SDNF, SKNF, 10.
10. Predstavleni bulevyh funkci$i, 10.
11. Bazisy, 11.
12. Buleva algebra, 11.
13. Bulevy algebry B
,
B
M
, 12.
14. Osnovnye sootnoxeni bulevo$i algebry, 12.
15. Otnoxenie
6 v bulevo$i algebre i ego svo$istva, 12.
16. Bulevy podalgebry, 13.
17. Podalgebra, porodenna mnoestvom, 13.
18. Izomorfizm bulevyh algebr, 13.
19. Tavtologii i protivoreqi, vypolnimye i oproverimye
formuly, todestvenno ravnye formuly, 14.
20. Nekotorye zakony logiki, 15.
21. Otnoxenie sledovani. Primery logiqeskih sledstvi$i, 16.
22. Svo$istva znaka
|=
, 17.
23. Ravnosil~nost~ spiskov dopuweni$i, 17.
24. Ravnosil~nost~ spiska dopuweni$i dopuweni, 17.
25. Pravila preobrazovani spiskov dopuweni$i, 17.
26. O protivoreqivyh spiskah dopuweni$i, 17.
27. Pravila vvedeni i udaleni logiqeskih znakov, 18.
28. Podstanovka formul v tavtologii, 20.
29. Teorema o zamene, 20.
30. Rezolcii, 20.
31. Shemy aksiom IV, 22.
32. Vyvod i dokazatel~stvo v IV, 23.
33. Teorema o dedukcii, 23.
34. Teorema o polnote IV, 26.
35. Teorema o neprotivoreqivosti IV, 26.
147

Страницы