19303702        
        
          Übung        
      
      SoSe 16: Übung zu Künstliche Intelligenz
Christoph Benzmüller
Hinweise für Studierende
Hinweise für Studierende:
Vorlesung siehe 19303701
Zusätzl. Angaben / Voraussetzungen
Voraussetzungen:
Grundkenntnisse in Mathematik und Algorithmen & Datenstrukturen
Kommentar
Inhalt
Suchverfahren für die Lösung kombinatorischer Aufgaben, Prädikatenlogik und ihre Mechanisierung, Resolution und Theorembeweise, Wissensbasierte- und Expertensysteme, Diffuse Logik, Mensch-Maschinen-Schnittstellen, Mustererkennung insbesondere für Handschrift und für gesprochene Sprache.
SchließenLiteraturhinweise
wird noch bekannt gegeben
10 Termine
Regelmäßige Termine der Lehrveranstaltung
                  
                    
                      Mo, 25.07.2016 15:00 - 18:00                    
                        
    
    
                  
                  
                    
                      Di, 26.07.2016 15:00 - 18:00                    
                        
    
    
                  
                  
                    
                      Mi, 27.07.2016 15:00 - 18:00                    
                        
    
    
                  
                  
                    
                      Do, 28.07.2016 15:00 - 18:00                    
                        
    
    
                  
                  
                    
                      Fr, 29.07.2016 15:00 - 18:00                    
                        
    
    
                  
                  
                    
                      Mo, 01.08.2016 15:00 - 18:00                    
                        
    
    
                  
                  
                    
                      Di, 02.08.2016 15:00 - 18:00                    
                        
    
    
                  
                  
                    
                      Mi, 03.08.2016 15:00 - 18:00                    
                        
    
    
                  
                  
                    
                      Do, 04.08.2016 15:00 - 18:00                    
                        
    
    
                  
                  
                    
                      Fr, 05.08.2016 15:00 - 18:00                    
                        
    
    
                  
                
              
Inhalt
Suchverfahren für die Lösung kombinatorischer Aufgaben, Prädikatenlogik und ihre Mechanisierung, Resolution und Theorembeweise, Wissensbasierte- und Expertensysteme, Diffuse Logik, ... Lesen Sie weiter