19301201        
        
          Lecture        
      
      SoSe 16: Grundlagen der theoretischen Informatik
Klaus Kriegel
Comments
Contents:
- models of computation - automata
- formal languates
- grammars and the Chomsky-hierarchy
- Turing-machines
- computabilty
 
- introduction to the complexity of computational problems
Suggested reading
- Uwe Schöning, Theoretische Informatik kurzgefasst, 5. Auflage, Spektrum Akademischer Verlag, 2008
- John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, Einführung in die Automatentheorie, Formale Sprachen und Komplexität, Pearson Studium, 3. Auflage, 2011
- Ingo Wegener: Theoretische Informatik - Eine algorithmenorientierte Einführung, 2. Auflage, Teubner, 1999
- Michael Sipser, Introduction to the Theory of Computation, 2nd ed., Thomson Course Technology, 2006
- Wegener, Kompendium theoretische Informatik - Eine Ideensammlung, Teubner 1996
25 Class schedule
Additional appointments
Wed, 2016-07-13 10:00 - 12:00Klausur
    
              
                Location:
                
              
                  HFB/A Hörsaal (Garystr. 35-37)                  
                  HFB/B Hörsaal (Garystr. 35-37)                  
                  HFB/C Hörsaal (Garystr. 35-37)                  
            
Nachklausurvorbereitung
    
              
                Location:
                
              
                  T9/SR 006 Seminarraum (Takustr. 9)                              
Nachklausur
    
              
                Location:
                
              
                  Hs 1b Hörsaal (Habelschwerdter Allee 45)                  
                  Hs 2 Hörsaal (Habelschwerdter Allee 45)                  
            
Regular appointments
                  
                    
                      Wed, 2016-04-20 10:00 - 12:00                    
                        
    
    
                  
                  
                    
                      Wed, 2016-04-27 10:00 - 12:00                    
                        
    
    
                  
                  
                    
                      Wed, 2016-05-04 10:00 - 12:00                    
                        
    
    
                  
                  
                    
                      Wed, 2016-05-11 10:00 - 12:00                    
                        
    
    
                  
                  
                    
                      Wed, 2016-05-18 10:00 - 12:00                    
                        
    
    
                  
                  
                    
                      Wed, 2016-05-25 10:00 - 12:00                    
                        
    
    
                  
                  
                    
                      Wed, 2016-06-01 10:00 - 12:00                    
                        
    
    
                  
                  
                    
                      Wed, 2016-06-08 10:00 - 12:00                    
                        
    
    
                  
                  
                    
                      Wed, 2016-06-15 10:00 - 12:00                    
                        
    
    
                  
                  
                    
                      Wed, 2016-06-22 10:00 - 12:00                    
                        
    
    
                  
                  
                    
                      Wed, 2016-06-29 10:00 - 12:00                    
                        
    
    
                  
                  
                    
                      Wed, 2016-07-06 10:00 - 12:00                    
                        
    
    
                  
                  
                    
                      Wed, 2016-07-13 10:00 - 12:00                    
                        
    
    
                  
                  
                    
                      Wed, 2016-07-20 10:00 - 12:00                    
                        
    
    
                  
                
              
                  
                    
                      Mon, 2016-04-25 10:00 - 12:00                    
                        
    
    
                  
                  
                    
                      Mon, 2016-05-02 10:00 - 12:00                    
                        
    
    
                  
                  
                    
                      Mon, 2016-05-09 10:00 - 12:00                    
                        
    
    
                  
                  
                    
                      Mon, 2016-05-23 10:00 - 12:00                    
                        
    
    
                  
                  
                    
                      Mon, 2016-05-30 10:00 - 12:00                    
                        
    
    
                  
                  
                    
                      Mon, 2016-06-06 10:00 - 12:00                    
                        
    
    
                  
                  
                    
                      Mon, 2016-06-13 10:00 - 12:00                    
                        
    
    
                  
                  
                    
                      Mon, 2016-06-20 10:00 - 12:00                    
                        
    
    
                  
                  
                    
                      Mon, 2016-06-27 10:00 - 12:00                    
                        
    
    
                  
                  
                    
                      Mon, 2016-07-04 10:00 - 12:00                    
                        
    
    
                  
                  
                    
                      Mon, 2016-07-18 10:00 - 12:00                    
                        
    
    
                  
                
              
Contents:
models of computation automata formal languates grammars and the Chomsky-hierarchy Turing-machines computabilty introduction to the complexity of computational ... read more