Course Catalog 2007-2008

MAT-42106 APPLIED LOGICS, 2-5 cr
Applied logics

Courses persons responsible
Esko Turunen

Lecturers
Esko Turunen

Implementations
  Period 1 Period 2 Period 3 Period 4 Period 5 Summer
Lecture - 42 h/per - - - -
Exercise - 20 h/per - - - -
Exam  
(Timetable for academic year 2007-2008)

Objectives
Introduction to mathematical foundations and applications of multiple valued logic. Introduction to mathematical data mining, in particulat to the GUHA-method and its applications.

Content
Content Core content Complementary knowledge Specialist knowledge
1. Residuated lattices, BL-algebras, Wajsberg algebras and MV-algebras.
Semantics, syntax and completeness
of many-valued logics. 
Partial and multiple valued similarity
as a base of fuzzy reasoning. Fuzzy
IF-THEN rules. Constructing real world applications by means of multiple valued logic 
  
2. Introduction to data mining. The GUHA
method: semantics, syntax and completeness. Finite models and non-standard quatifiers. 
Introduction to LISp Miner, a software implementation of the GUHA method. Practical data mining tasks by LISp Miner.    

Requirements for completing the course
Examination or two partial examinations

Evaluation criteria for the course

  • Used assessment scale is numeric (1-5)

  • Study material
    Type Name Auhor ISBN URL Edition, availability... Exam material Language
    Online book Mechanizing hypothesis formation Hajek, P., Havranek, T.   http://www.cs.cas.cz/~hajek/guhabook/   No  English 
    Book Mathematics behind Fuzzy Logic Esko Turunen 3-7908-1221-8   Springer-Verlag, 1999, ISBN 3-7908-1221-8 Yes  English 
    Other online content LISpMiner Jan Rauch   http://lispminer.vse.cz/   Yes  English 

    Prerequisites
    Prequisite relations (Sign up to TUT Intranet required)

    Additional information about prerequisites
    Some basic knowledge of classical logic and Boolean algebras is useful but not necessary.

    Remarks

  • Partial passing of course must be in connection with the same round of implementation.

  • The course is suitable for postgraduate studies.

  • Distance learning

  • ITC utilized during the course

  • - In information distribution via homepage, newsgroups or mailing lists, e.g. current issues, timetables
    - In compiling teaching material, particularly for online use or other electronic media
    - In compiling exercise, group or laboratory work
    - In distributing and/or returning exercise work, material etc
    - In the visualization of objects and phenomena, e.g. animations, demonstrations, simulations, video clips

  • Estimate as a percentage of the implementation of the course
  • - Contact teaching: 100 %
    - Distance learning: 0 %
    - Proportion of a student's independent study: 0 %

    Scaling
    Methods of instructionHours
    Lectures 120
    Exercises 36
    Laboratory assignments 10
    Total sum 166

    Correspondence of content
    MAT-42100 Applied logics

    Course homepage

    Last modified 14.02.2007
    Modified byRobert Piche