SPIRU HARET University
Department of Mathematics and Computer Science



Artificial Intelligence & Computational Logic Laboratory
Artificial Intelligence Curriculum | Computational Logic Curriculum | Student Area | Student Portfolio | Complementary Lectures
People   Recommended Educational Resources  

2009-2010, Professor PhD Luminita State; Lecturer, PhD Candidate Nicolaie Popescu-Bodorin

 
  Artificial Intelligence Curriculum   [^ top ^]

Artificial Intelligence & Computational Logic Laboratory

Department of Mathematics and Computer Science

SPIRU HARET University

Artificial Intelligence Laboratory

Computational Logic Laboratory
Nicolaie Popescu-Bodorin
  • Artificial Intelligence 1 (Knowledge Representation & Reasoning): EN, RO
  • Artificial Intelligence 2 (Neural Networks, Classification, Signal & Image Processing): EN, RO
    •   Computational Logic Curriculum   [^ top ^]
  • Computational Logic: EN, RO
    •   Student Area   [^ top ^]
    Artificial Intelligence Labs:
    1. 15-26 Febr 2010,
      Choosing the problem for your final AI project: P vs. NP problems
    2. 1-5 Mar 2010,
      Human vs. automated data analysis and understanding. An example: face recognition and its sub-problems. Turing test
    3. 8-12 Mar 2010,
      A reverse engineering view of Artificial Neuron
    12 Oct 2009 - 11 Jan 2010: First Semester Archive
    Mathematical and Computational Logic Courses and Seminars:
    1. 15-26 Febr 2010, The formal language of propositional binary logic:
         Logical variables
         Logical connectives
         Logical well-formed formulae & non-logical strings
         Formal grammar
         Formula-Tree
    2. 1-5 Mar 2010, All about FORM: Binary truth vs. Modal truth
         Tautology / necessary truth
         Contextual truth / possible truth
         Contradiction / impossible truth (necessary false)
    3. 8-12 Mar 2010, Mathematical binary logic vs. Computational binary logic
         Propositional binary logic language vs. Boolean algebra
         Algebraic structures in propositional binary logic language
         Boolean satisfiability problem (SAT). P vs. NP Challenge
    Bibl: Luminita STATE, Introducere in Programarea Logica, EFRM 2003-2010 (CALC 189)
      Student Portfolio   [^ top ^]
    2009-2010 \ Artificial Intelligence \ First Semester Archive
      Complementary Lectures   [^ top ^]
    Artificial Intelligence 1:
    1. Prolog Experiments in Discrete Mathematics, Logic, and Computability, James L. Hein, Portland State University, 2005.
    2. Logic Programming with Prolog, Max Bramer, Springer, 2005;
    3. The Art of Prolog, Leon Sterling, Ehud Shapiro, The MIT Press (2-nd ED), 1999.
    4. Agent-Oriented Programming - From Prolog to Guarded Definite Clauses, Matthew M Huntbach, Graem A Ringwood, Springer, 1999.
    5. Prolog Programming in Depth, M. Covington, D. Nute, A. Vellino, Prentice Hall, 1997.
    6. Logic, Programming and Prolog, Ulf Nilsson and Jan Maluszynski, John Wiley & Sons (2-nd ED), 1995.
    7. Prolog Programming for Artificial Intelligence, Ivan Bratko, Addison-Wesley, 1986.
      Interesting Educational Resources   [^ top ^]
    Computational Intelligence Resources: General Resources for Students:
    1. Millennium Prize Problems
    2. EFF Cooperative Computing Awards - Prizes for brilliant minds
    3. www.ProjectEuler.net
    4. How to Be(come) a Good Graduate Student
    5. Don't forget to have fun!
    6. Internal Rules at AICL Laboratory
      People   [^ top ^]
  • Course instructor: Professor Luminita STATE
  • Laboratory instructor: Teaching Assistant Nicolaie Popescu-Bodorin
    		•  
    Page maintained by Nicolaie Popescu-Bodorin,
    Contact (e-mail): nb.popescu.mi # spiruharet.ro
    Last update: March 4, 2010