Fachgebiet Intelligente Systeme

19.01.2010

Lehrangebot der Fakultät Informatik für das Fachgebiet Intelligente Systeme
(Wintersemester 2010/2011)



        

            

                Lehrveranstaltung 

                SWS1 

                Dozent

                Institut

                Prakt.

                
                Pflicht/Wahlpflicht2 
                
            


            

                
                Angewandte Systeme der KI

                2/-/2

                Doz. Dr. Petersohn

                KI

                x

                Wahlpflicht
            


            

                
                Foundations of CP

                (in engl. Sprache)		

                1/1/1

                N.N.

                KI

                

                		

                Wahlpflicht
            


            

                
                Foundations of LP

                (in engl. Sprache)		

                2/1/-

                N.N.

                KI

                

                		

                Wahlpflicht
            


            

                
                Grundlagen der künstlichen
                Intelligenz

                3/1/-

                Doz. Dr. Petersohn

                KI

                x

                Pflicht
            


            

                
                Interactive Theorem Proving

                (in engl. Sprache)		

                4/2/-

                Dr. Posegga

                ThI

                x

                Wahlpflicht
            


            

                Model Checking

                4/2/-

                Prof. Baier

                ThI

                

                		

                Wahlpflicht
            


            

                Neural Symbolic Integration3

                2/2/0

                Prof. Hölldobler

                KI

                 

                Wahlpflicht
            

				

					Projection Computation in Knowledge Representation
					2/2/0
					Dr. Wernhard
					KI
					 
					Wahlpflicht
				
				

            

                SAT-Solving3

                2/2/0

                Prof. Hölldobler

                KI

                 

                Wahlpflicht
            


            

                Science of Computational
                Logic>3

                (in engl. Sprache)		

                2/2/-

                Prof. Hölldobler

                KI

                

                		

                Wahlpflicht
            

        

        

        

        1 SWS : Semesterwochenstunden:
        Vorlesung/Übung bzw. Seminar/Praktikum

        2 Pflicht : Alle Studenten, die dieses
        Fachgebiet geprüft haben wollen, müssen diese
        Lehrveranstaltung absolvieren. Wahlpflicht : Das sind alle
        anderen Lehrveranstaltungen. Dies bedeutet, dass auch
        Lehrveranstaltungen, die der einzelne Hochschullehrer
        für Prüfungen bei sich zur Pflicht erklärt,
        Wahlpflichtveranstaltungen in der Terminologie des
        Lehrangebotes sein können. Um dies zu erfahren,
        sollten Studenten die einschlägigen Bekanntmachungen
        der Hochschullehrer lesen und - zusätzlich -
        rechtzeitig, d.h. vorzugsweise zu Beginn des 5. Semester,
        ein Gespräch mit den zukünftigen Prüfern
        suchen.

        3 Diplom : Wird nur für
        Diplom-Studiengang angeboten.