Předmět Neklasické logiky (KMI / PGSNL)

Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KMI / PGSNL - Neklasické logiky, Přírodovědecká fakulta, Univerzita Palackého v Olomouci (UP).

Materiál	Typ	Datum	Počet stažení

Získané způsobilosti

1. ZnalostPopsat a důkladně pochopit principy a metody neklasických logik.

Literatura

Hughes G. E., Cresswell M. J. A New Introduction to Modal Logic. Routledge, London, 1996. ISBN 0-415-12600-2.Mints G. A Short Introduction to Intuitionistic Logic. Springer, 2000. ISBN 0306463946.Gottwald S. A Treatise on Many-Valued Logics. Taylor & Francis Group, 2001. ISBN 0-863-80262-1.Abramsky S. et al. Handbook of Logic in Computer Science. Vol. II. Oxford University Press, 1992. ISBN 0-19-853761-1.Štěpán J. Logika možných světů I, II, III. Vydavatelství UP Olomouc, 1997. Hrstrm P. Temporal Logic: From Ancient Ideas to Artificial Intelligence. Springer, 2003. ISBN 0792335864.Kneale W., Kneale M. The Development of Logic. Clarendon Press, Oxford, 1984. ISBN 0198247737.

Garant

prof. RNDr. PhDr. Jan Štěpán, CSc.

Vyučující

prof. RNDr. PhDr. Jan Štěpán, CSc.