19300901        
        
          Vorlesung        
      
      WiSe 21/22: Logik und Diskrete Mathematik
Katharina Klost, Gerhard Wunder
Kommentar
- Aussagenlogik und mathematische Beweistechniken
- Boolesche Formeln und Boolesche Funktionen, DNF und KNF, Erfüllbarkeit, Resolutionskalkül
- Mengenlehre: Mengen, Relationen, Äquivalenz- und Ordnungsrelationen, Funktionen
- Natürliche Zahlen und vollständige Induktion, Abzählbarkeit
- Prädikatenlogik und mathematische Strukturen
- Kombinatorik: Abzählprinzipien, Binomialkoeffizienten und Stirling-Zahlen, Rekursion, Schubfachprinzip
- Graphentheorie: Graphen und ihre Darstellungen, Wege und Kreise in Graphen, Bäume
Literaturhinweise
- Christoph Meinel, Martin Mundhenk: Mathematische Grundlagen der Informatik, Teubner; 2. Auflage 2002
- Uwe Schöning: Logik für Informatiker, B.I.-Wissenschaftsverlag; 5. Auflage 2000
- Kenneth H. Rosen: Discrete Mathematics and its Applications, Mc-Graw Hill; 1999
- M. Aigner: Diskrete Mathematk, Vieweg, 5. Auflage 2004
32 Termine
Zusätzliche Termine
Di, 22.02.2022 10:00 - 12:00Klausur: Logik und Diskrete Mathematik
    
    
    
          
          
            
              Do, 17.03.2022 15:00 - 18:00            
                Klausureinsicht
    
    
    
          
          
            
              Do, 07.04.2022 12:00 - 14:30            
                Logik und Diskrete Mathematik (Nachklausur)
    
    
    
          
          
            
              Do, 07.04.2022 12:00 - 14:30            
                Logik und Diskrete Mathematik (Nachklausur)
    
              
                Räume:
                
              
                  T9/Gr. Hörsaal (Takustr. 9)                              
Nachklausureinsicht Logik und diskrete Mathematik
    
    
    
          
          Regelmäßige Termine der Lehrveranstaltung
                  
                    
                      Di, 19.10.2021 10:00 - 12:00                    
                        
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
              Logik und Diskrete Mathematik (Serientermin 1)
    
    
    
                  
                  
                    
                      Di, 26.10.2021 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 1)
    
    
    
                  
                  
                    
                      Di, 02.11.2021 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 1)
    
    
    
                  
                  
                    
                      Di, 09.11.2021 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 1)
    
    
    
                  
                  
                    
                      Di, 16.11.2021 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 1)
    
    
    
                  
                  
                    
                      Di, 23.11.2021 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 1)
    
    
    
                  
                  
                    
                      Di, 30.11.2021 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 1)
    
    
    
                  
                  
                    
                      Di, 07.12.2021 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 1)
    
    
    
                  
                  
                    
                      Di, 14.12.2021 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 1)
    
    
    
                  
                  
                    
                      Di, 04.01.2022 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 1)
    
    
    
                  
                  
                    
                      Di, 11.01.2022 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 1)
    
    
    
                  
                  
                    
                      Di, 18.01.2022 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 1)
    
    
    
                  
                  
                    
                      Di, 25.01.2022 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 1)
    
    
    
                  
                  
                    
                      Di, 01.02.2022 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 1)
    
    
    
                  
                  
                    
                      Di, 08.02.2022 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 1)
    
    
    
                  
                  
                    
                      Di, 15.02.2022 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 1)
    
    
    
                  
                
                  
                    
                      Do, 21.10.2021 10:00 - 12:00                    
                        
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
              Logik und Diskrete Mathematik (Serientermin 2)
    
    
    
                  
                  
                    
                      Do, 28.10.2021 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 2)
    
    
    
                  
                  
                    
                      Do, 04.11.2021 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 2)
    
    
    
                  
                  
                    
                      Do, 11.11.2021 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 2)
    
    
    
                  
                  
                    
                      Do, 18.11.2021 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 2)
    
    
    
                  
                  
                    
                      Do, 25.11.2021 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 2)
    
    
    
                  
                  
                    
                      Do, 02.12.2021 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 2)
    
    
    
                  
                  
                    
                      Do, 09.12.2021 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 2)
    
    
    
                  
                  
                    
                      Do, 16.12.2021 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 2)
    
    
    
                  
                  
                    
                      Do, 06.01.2022 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 2)
    
    
    
                  
                  
                    
                      Do, 13.01.2022 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 2)
    
    
    
                  
                  
                    
                      Do, 20.01.2022 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 2)
    
    
    
                  
                  
                    
                      Do, 27.01.2022 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 2)
    
    
    
                  
                  
                    
                      Do, 03.02.2022 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 2)
    
    
    
                  
                  
                    
                      Do, 10.02.2022 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 2)
    
    
    
                  
                  
                    
                      Do, 17.02.2022 10:00 - 12:00                    
                        Logik und Diskrete Mathematik (Serientermin 2)
    
    
    
                  
                