Course Catalog 2006-2007

MAT-42106 APPLIED LOGICS, 5 cr
Applied logics

Courses persons responsible
Esko Turunen

Lecturers
Esko Turunen

Implementations
Person responsible: Esko Turunen
  Period 1 Period 2 Period 3 Period 4 Period 5 Summer
Lecture 4 h/week 4 h/week - - - -
Exercise 2 h/week 2 h/week - - - -
Exam  
(Timetable for academic year 2006-2007)

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
    Book Mathematics behind Fuzzy Logic Esko Turunen 3-7908-1221-8   Springer-Verlag, 1999, ISBN 3-7908-1221-8 Yes  English 
    Online book Mechanizing hypothesis formation Hajek, P., Havranek, T.   http://www.cs.cas.cz/~hajek/guhabook/   No  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.

  • Course will not be lectured in the academic year 2006-2007.

    • 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 09.05.2006
    Modified byEmilia Ylirinne