Tag: logika formalna
Krystyna Mruczek-Nasieniewska – Równościowe i zdaniowe logiki P-zgodne
Celem pracy jest omówienie pewnych klas logik równościowych wyrażonych zarówno w języku teorii modeli jak i ujętych aksjomatycznie. W niniejszej ...
Andrzej Mostowski, Zdzisław Pawlak – Logika dla inżynierów
Książka zawiera wykład "logiki matematycznej" (oparty na teorii mnogości) i "logiki nowej", opartej na pojęciu maszyny logicznej (automatu). Konstrukcja maszyn ...
Polecane
Sławomir Łotysz – Wynalazczość polska w Stanach Zjednoczonych
Dorobek wynalazczy Polaków działających za granicą, w tym także w Stanach Zjednoczonych, jest stosunkowo słabo przebadany. Niniejsza praca, bazując w...