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

UptoLike

ВУЗ: 

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

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

Рубрика: 

Opredelenie 1.1 (Bulevy funkcii).
Opredelenie 1.2 (Standartnye tablicy).
Opredelenie 1.3 (Dvo$istvennye funkcii).
Teorema 1.1 (Svz~ tablic funkci$i
f
i
f
∗
).
Sledstvie 1 (Funkci
f
∗∗
).
Sledstvie 2 (Princip dvo$istvennosti).
Teorema 1.2 (Dvo$istvenna k slono$i funkcii).
Primer 1.1 (Tabliqnye dokazatel~stva ravenstv).
Teorema 1.3 (Osnovnye sootnoxeni).
Sledstvie (Podstanovka formul v ravenstva).
Opredelenie 1.4 (Polnye mnoestva funkci$i, bazisy).
Opredelenie 1.5 (lementarnye konnkcii, diznkcii).
Teorema 1.4 (Svo$istva funkci$i
c
a
(x), d
a
(x)
).
Opredelenie 1.6 (DNF, KNF, SDNF, SKNF).
Teorema 1.5 (Predstavleni bulevyh funkci$i).
Teorema 1.6 (Bazisy).
Opredelenie 1.7 (Buleva algebra).
Primer 1.2 (Buleva algebra
B).
Primer 1.3 (Buleva algebra
B
M
).
Teorema 1.7 (Osnovnye sootnoxeni bulevo$i algebry).
Teorema 1.8 (Otnoxenie
6
v bulevo$i algebre).
Teorema 1.9 (Svo$istva
6 v bulevo$i algebre).
Opredelenie 1.8 (Bulevy podalgebry).
Teorema 1.10 (Podalgebra, porodenna mnoestvom).
Opredelenie 1.9 (Izomorfizm bulevyh algebr).
Primer 1.4 (Buleva algebra podmnoestv).
Opredelenie 2.1 (Tavtologii i protivoreqi, vypolnimye i
oproverimye formuly, todestvenno ravnye formuly).
Teorema 2.1 (Nekotorye zakony logiki).
144

Страницы