19300101        
        
          Lecture        
      
      SoSe 20: Object-oriented Programming
Margarita Esponda Argüero
Additional information / Pre-requisites
Prerequisites
background as taught in the class "Functional Programming".
Please also sign up for the class in our KVV.
closeComments
Contents
- foundations of computability:
 
- universal register machines
 - syntax and operational semantics of imperative programming languages
 
 - formal methods for the specification and verification of imperative programs:
 
- assertions,
 - Hoare-calculus, partial correctness, termination
 
 - imperative and object-oriented programming concepts (Java):
 
- primitive and composite data types,
 - methords (procedures and functions). calling conventions, overloading
 - modules, classes, objects
 - class hierarchies, inheritance, polymorphism
 - abstract classes, interfaces
 
 - programming methods:
 
- stepwise refinement
 - divide and conquer
 - backtracking
 
 - analysis of time and space requirements:
 
- O-notation
 - recursion and iteration
 - analysis of algorithms for sorting and searching
 - algorithms, data structures, data abstraction
 
 
Suggested reading
- Concepts of Programming Languages, Robert Sebesta, Pearson Education , 10th Edition, 2012, ISBN: 0131395319
 - Data Structures & Problem Solving Using Java, Mark Allen Weiss, Addison Wesley, 4. Auflage, 2010, ISBN: 0-321-54140-5
 - Cormen, Leiserson, Rivest: Introduction to Algorithms, 3. Auflage 2009,
 - Bundle of algorithms in java, third edition, parts 1-5. Sedgewick Robert und Michael Schidlowsky. Addison-Wesley Longman, Amsterdam. 2003.
 
27 Class schedule
Additional appointments
Mon, 2020-04-06 08:00 - 18:00Klausur
    
    
    
          
          
            
              Thu, 2020-10-29 09:00 - 11:00            
                Nachklausur
    
    
    
          
          Regular appointments
                  
                    
                      Tue, 2020-04-14 12:00 - 14:00                    
                        
    
    
    
    
    
    
    
    
    
    
    
    
    
    
              Objektorientierte Programmierung (Serientermin 1)
    
    
    
                  
                  
                    
                      Tue, 2020-04-21 12:00 - 14:00                    
                        Objektorientierte Programmierung (Serientermin 1)
    
    
    
                  
                  
                    
                      Tue, 2020-04-28 12:00 - 14:00                    
                        Objektorientierte Programmierung (Serientermin 1)
    
    
    
                  
                  
                    
                      Tue, 2020-05-05 12:00 - 14:00                    
                        Objektorientierte Programmierung (Serientermin 1)
    
    
    
                  
                  
                    
                      Tue, 2020-05-12 12:00 - 14:00                    
                        Objektorientierte Programmierung (Serientermin 1)
    
    
    
                  
                  
                    
                      Tue, 2020-05-19 12:00 - 14:00                    
                        Objektorientierte Programmierung (Serientermin 1)
    
    
    
                  
                  
                    
                      Tue, 2020-05-26 12:00 - 14:00                    
                        Objektorientierte Programmierung (Serientermin 1)
    
    
    
                  
                  
                    
                      Tue, 2020-06-02 12:00 - 14:00                    
                        Objektorientierte Programmierung (Serientermin 1)
    
    
    
                  
                  
                    
                      Tue, 2020-06-09 12:00 - 14:00                    
                        Objektorientierte Programmierung (Serientermin 1)
    
    
    
                  
                  
                    
                      Tue, 2020-06-16 12:00 - 14:00                    
                        Objektorientierte Programmierung (Serientermin 1)
    
    
    
                  
                  
                    
                      Tue, 2020-06-23 12:00 - 14:00                    
                        Objektorientierte Programmierung (Serientermin 1)
    
    
    
                  
                  
                    
                      Tue, 2020-06-30 12:00 - 14:00                    
                        Objektorientierte Programmierung (Serientermin 1)
    
    
    
                  
                  
                    
                      Tue, 2020-07-07 12:00 - 14:00                    
                        Objektorientierte Programmierung (Serientermin 1)
    
    
    
                  
                  
                    
                      Tue, 2020-07-14 12:00 - 14:00                    
                        Objektorientierte Programmierung (Serientermin 1)
    
    
    
                  
                
                  
                    
                      Thu, 2020-04-16 08:00 - 10:00                    
                        
    
    
    
    
    
    
    
    
    
    
    
    
    
              Objektorientierte Programmierung (Serientermin 2)
    
    
    
                  
                  
                    
                      Thu, 2020-04-23 08:00 - 10:00                    
                        Objektorientierte Programmierung (Serientermin 2)
    
    
    
                  
                  
                    
                      Thu, 2020-04-30 08:00 - 10:00                    
                        Objektorientierte Programmierung (Serientermin 2)
    
    
    
                  
                  
                    
                      Thu, 2020-05-07 08:00 - 10:00                    
                        Objektorientierte Programmierung (Serientermin 2)
    
    
    
                  
                  
                    
                      Thu, 2020-05-14 08:00 - 10:00                    
                        Objektorientierte Programmierung (Serientermin 2)
    
    
    
                  
                  
                    
                      Thu, 2020-05-28 08:00 - 10:00                    
                        Objektorientierte Programmierung (Serientermin 2)
    
    
    
                  
                  
                    
                      Thu, 2020-06-04 08:00 - 10:00                    
                        Objektorientierte Programmierung (Serientermin 2)
    
    
    
                  
                  
                    
                      Thu, 2020-06-11 08:00 - 10:00                    
                        Objektorientierte Programmierung (Serientermin 2)
    
    
    
                  
                  
                    
                      Thu, 2020-06-18 08:00 - 10:00                    
                        Objektorientierte Programmierung (Serientermin 2)
    
    
    
                  
                  
                    
                      Thu, 2020-06-25 08:00 - 10:00                    
                        Objektorientierte Programmierung (Serientermin 2)
    
    
    
                  
                  
                    
                      Thu, 2020-07-02 08:00 - 10:00                    
                        Objektorientierte Programmierung (Serientermin 2)
    
    
    
                  
                  
                    
                      Thu, 2020-07-09 08:00 - 10:00                    
                        Objektorientierte Programmierung (Serientermin 2)
    
    
    
                  
                  
                    
                      Thu, 2020-07-16 08:00 - 10:00                    
                        Objektorientierte Programmierung (Serientermin 2)
    
    
    
                  
                
Contents
foundations of computability: universal register machines syntax and operational semantics of imperative programming languages formal methods for the specification and ... read more