NTNU IME IDI

TDT4136 Logic and Reasoning Systems

 
Menu
  • Main Page
  • Lectures
  • Handouts
  • Exercises
  • Curriculum
  • Lecture Notes
  • Program Repository
  • Previous Exams
  • Prolog Information
  • Interesting links

  • Høst 2011/ Fall 2011

    Course description

    Important information

    The lecture on Monday 21/11 will be used for walkthroughs of previous exams. The lecture on Tuesday 22/11 will be a general QA. In preparation for this, please send me topics or specific exam questions you would like me to go through by Thursday 17/11.

    Lectures

    In general, lectures will be given
    Tuesdays 15:15 - 17:00 (NB not 15:15 - 16:00)

    In addition, Mondays 09:15 - 10:00 (NB not 08:15 - 10:00) will be used for special topics or as necessary, but these lectures will be announced beforehand.

    See the lectures page for schedule and more information.

    Student assistance

    Student assistance will be available at the following hours:
    Tuesdays 10:15 - 12:00 computer lab 411
    Thursdays 10:15 - 12:00 computer lab 414
    Fridays 12:15 - 14:00 computer lab 424

    Please notice these timeslots are at different computer labs. See section exercises for more information.

    Language

    All material is in English for the benefit of international students. However, from last year on, oral presentations will be in Norwegian.

    Staff
     
  • Tore Amble
  • Faglærer/Fagansvarlig 312
     
  • Anders Kofod-Petersen
  • Vikarierende fagansvarlig 321
     
  • Lester Solbakken
  • Vikarierende faglærer / øvingsansvarlig 307
     
  • Vilius Kazauskas
  • Undervisningsassistent
     
  • Ane Min Garnaas
  • Studentassistent
     
  • Håvard Geithus
  • Studentassistent
     
  • Erik Dalen Haukedal
  • Studentassistent
     
  • Ulf Nore
  • Studentassistent

    Student Course Evaluation Group (Referansegruppe)
    Name E-mailMobile phone
     
  • Ida Katrine Thoresen
  • idakatt@stud.ntnu.no
     
  • Aleksander Gisvold
  • aleksg@stud.ntnu.no
     
  • Kristin Wahl
  • kristwah@stud.ntnu.no
     
  • Mirna Besirovic
  • besirovi@stud.ntnu.no



    Editor: Head of department Kjell Bratbergsengen   Contact address: Logic and Reasoning Systems   Page updated: