1:W-LOG-1/071107/0

Posted by Crs in Wykłady, ... | 11.07.2007 - 08:15

Zajęcia prowadził: dr hab. Maciej Kandulski

 

ALGEBRY BOOLE’A

Algebra Boolea
Dualność w algebrach Boole’a

 

(więcej…)

Komentarze (0)
Read More

1:W-LOG-1/071003/0

Posted by M in Wykłady, Podstawy l... | 10.03.2007 - 08:15

Zajęcia prowadził: dr hab. Maciej Kandulski

 

Literatura
Zdanie w sensie logiki
Klasyczna definicja prawdy
Wnioskowanie
Reguła odrywania (Modus Poneus)

 

KLASYCZNY RACHUNEK ZDAŃ

Spójniki
Symbole alfabetu języka rachunku zdań
Zmienne zdaniowe
Zbiór formuł jezyka rachunku zdań
Podstawianie

 

(więcej…)

Komentarze (0)
Read More