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

Research Activities: recent publications and Curriculum vitae

  • 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

    • Photos from my trips: to download

    Courses

    Subject
    		Lectures
    Exercises
    Introduction to Logic Duzi Menšík, Gajdoš, Dráždilová
    Mathematical logic Duzi Menšík, Dráždilová, Čihalová
    Principles of Logical Analysis: TIL Duzi Duzi
    Mathematical Foundations of Informatics Duzi Menšík, Gajdoš, Čihalová, Krchňák
    Functional and Logic Programming Duzi Menšík, Běhálek
    Logic and Theory of Concept Duzi
    Úvod do teoretické informatiky Sawa Duží Menšík