1/27/2010

Introduction to Course Organization

Informatics Engineering Study Program

School of Electrical Engineering and Informatics

Institute of Technology Bandung

Contents
` Course Organization

2 IF2050/NUM/25Jan10

1
 1/27/2010

Lecturers
Lecturers:
` Rila Mandala (K1)
rila@informatika org
rila@informatika.org
` Nur Ulfa Maulidevi(K2)
ulfa@stei.itb.ac.id

3 IF2050/NUM/25Jan10

Objectives
For Students:
- Acknowledge basic knowledge of logics (types, syntax and
semantics
ti off eachh type,
t how
h to
t reason// proof)
f) Æ
propositional calculus, predicate logics
- Have the knowledge of declarative programming
paradigm as one of the tools which utilizes basic logic Æ
prolog
- Understand logic as one of knowledge representations
used in artificial intelligence application

4 IF2050/NUM/25Jan10

2
 1/27/2010

Courses
` Credits: 3 credit points
` Prerequisites:
` Discrete Mathematics
` Courses:
` Attending classes 3 hours/week (14 weeks):
` Monday 13.00-13.50; Wednesday 14.00-15.40
` attendance is obligatory (20 mnts late)
` Assignments
` Homeworks and quizes (individually)
` Midterm Exam (week 8); Final Exam (week 16)

5 IF2050/NUM/25Jan10

Courses contents
1. Introduction
2. Concept of logics
3
3. Propositional Logics
4. First Order Predicate Logics
5. Introduction to Proofing Theory
6. Declarative Programming Æ Prolog

6 IF2050/NUM/25Jan10

3
 1/27/2010

Grading
` Homework
` Assignments
` Quiz
` Midterm Exam
` Final Exam

7 IF2050/NUM/25Jan10

References
` Computational Logic:
http://logic.stanford.edu/classes/cs157/2007/cs157.html
` R b t R.
Robert RK Korfhage,
fh LLogics
i and d Al
Algorithms,
ith John
J h Wiley
Wil &
Sons, 1969
` Russel dan Norvig, Artificial Intelligence: A Modern
Approach, 2003
` Giarratano Riley, Principles of Expert Systems

8 IF2050/NUM/25Jan10

4
 1/27/2010

THANK YOU