Tag: logika formalna

Robert Sochacki – Metody refutacyjne w badaniach nad systemami logicznymi

W monografii rozważa się rachunki zdaniowe wielowartościowe oraz rachunki zdaniowe z grupy „nonsense-logic”, dla których podaje się odpowiednio skonstruowane aksjomaty ...

Urszula Dudziak, Józef Drewniak – Wstęp do logiki i teorii mnogości

Podręcznik ten stanowi pomoc dydaktyczną w nauczaniu przedmiotu wstęp do logiki i teorii mnogości, kierunek matematyka, specjalność nauczycielska oraz zastosowanie ...

Logika matematyczna

Książka jest podręcznikiem przeznaczonym przede wszystkim dla studiujących matematykę. Ponieważ jednak nie wymaga od Czytelnika znajomości innego niż logika działu ...

Witold Pogorzelski – Klasyczny rachunek zdań. Zarys teorii

Zofia Adamowicz, Paweł Zbierski – Logika matematyczna

Książka ta jest podręcznikiem logik matematycznej, przeznaczonym dla studentów starszych lat matematyki lub wydziałów pokrewnych. Autorzy zakładają znajomość takich pojęć ...

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