Department of
Computer Science

Faculty of
Electrical Engineering
and Computer Science



VSB-Technical University
of Ostrava

17. listopadu 15
708 33 Ostrava
Czech Republic

Marie Duží

Associate Professor

Contact:
marie.duzi@vsb.cz
+420 59 732 3273
Office A1016

Recent publications and Curriculum vitae

Courses

Subject
Lecture notes
Lecturers
Assistents
Introduction to Logic Duzi Menšík, Gajdoš, Dráždilová
Mathematical logic Matlogika.pdf Duzi Menšík, Dráždilová, Čihalová
Intelligent Systems, Transparent Intensional Logic TIL.pdf Duzi Duzi
Mathematical Logic, advanced Matlogika-partie.pdf Duzi Duzi
Úvod do teoretické informatiky UTI.pdf Sawa Duží Menšík
Functional and Logic Programming Duzi Menšík, Běhálek
Logic and Theory of Concept Duzi

Research activities:

  • Transparent Intensional Logic: web-site (TIL); Partiality (Miscellanea ); De dicto / De re (ProFil); TIL Book

    • Research Laboratory of Intelligent Systems LabIS; project "Logic & Artificial Intelligence for Multi-Agent Systems" Wiki pages

  • Conceptual Modelling: Logical Foundations

    • Conferences

  • European-Japanese Conference on Information Modelling and Knowledge Bases: EJC web sites; EJC 2006
  • European Congress of Analytic Philosophy ECAP 6; workshop: Structured Meanings and Concepts

    • Cooperation: Dr. Bjorn Jespersen, the Netherlands: November 8 - 26, 2010. Tutorials

    Photos from my trips: to download