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 ...