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ží

Professor

Contact:
marie.duzi@vsb.cz

+420 59 732 5861
Office EA415

List of publications and Curriculum vitae

Courses

Subject
Lecture notes
Lecturers
Assistents
Logic for practice Monografie Duží Menšík
Mathematical logic Matlogika.pdf Duzi Menšík, Dráždilová
Transparent Intensional Logic Monografie Duží Menšík
Mathematical Logic, advanced Matlogika-skripta Duží Duží
Introduction to Theoretical Computer Science UTI.pdf Sawa Duží, Menšík
Intelligent Systems Monografie Duzi Menšík
Logic and Theory of Concept Duží

Research activities:

Transparent Intensional Logic:
Procedural Semantics for Hyperintensional Logic Springer 2010
web-site (TIL); De dicto / De re (ProFil)
Open access Intech: Strawson vs. Russell

Guest editor (with Bjorn Jespersen) of Synthese special issue on hyperintensionality Introduction

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

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