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-skripta 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
Open access Intech: Strawson vs. Russell

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
  • European Congress of Analytic Philosophy ECAP 7 Milano; paper: Procedural isomorphism
  • Logic, Methodology and Philosophy of Science, LMPS Nancy, France; symposium: Hyperintension, intension and extension

    • Cooperation: Dr. Bjorn Jespersen, the Netherlands: Tutorials

    Photos and diaris from my trips: to download