[ 526MAULMALV14 ]                                         VL                                         Mathematics and Logic
                   | 
                
                
                   | 
                  
                    
                                       | 
                
                | Es ist eine neuere Version 2021W dieser LV im Curriculum Bachelor's programme Business and Economics 2021W vorhanden. | 
                
                   | 
                
                                
                                
                    | 
                  
                    
                      | Workload | 
                                            Education level | 
                      Study areas | 
                                            Responsible person | 
                                                                  Hours per week | 
                                            Coordinating university | 
                     
                    
                      | 4,5 ECTS | 
                                            
                      B1 - Bachelor's programme 1. year | 
                      Mathematics | 
                                                                  
                          Veronika Pillwein                       | 
                                               
                                            3 hpw | 
                                            Johannes Kepler University Linz | 
                     
                    | 
                
                
                   | 
                
                                
                    | 
                  
                      
                      
                      
                      
                      
                      
                      
                        
    					  
    					  
  						
                    
                      | Detailed information | 
                     
                                
                    
                      | Original study plan | 
                      Bachelor's programme Business Informatics 2015W | 
                     
                      
                    
                      | Objectives | 
                      Introduction to discrete mathematics and algebra, see also Mathematik und Logik. 
 please also refer to  Mathematik und Logik
  | 
                     
                      
                    
                      | Subject | 
                      The topics of the lecture are: set theory, propositional and predicate logic; elementary proof techniques, case distinction, proof by induction, proof by contradiction; functions and relations; basic principles of number theory (modular arithmetic); algebraic structures. 
 | 
                     
                                                            
                    
                      | Criteria for evaluation | 
                      exam 
 | 
                     
                       
                    
                                     
                    
                      | Language | 
                      German | 
                     
                      
                    
                      | Study material | 
                      lecture notes (provided on the course webpage)
 Mathematik für Informatiker - Band 1: Diskrete Mathematik und Lineare Algebra (Gerald Teschl, Susanne Teschl)
  | 
                     
                      
                    
                      | Changing subject? | 
                      No | 
                     
                                        
                      | Further information | 
                      -
 | 
                         
                                        
                      | Earlier variants | 
                      They also cover the requirements of the curriculum (from - to) 1WBMMLV: VL Mathematics and Logic (2002W-2014S)
  | 
                         
                      
                    
                     
                    
                    
                     | 
                
                 
                
                   | 
                
                
                    | 
                  
                    
                    
                    
    				  
    				  
  					
                    
                      | On-site course | 
                     
                         
                    
                        | Maximum number of participants | 
                      200 | 
                          
                    
                      | Assignment procedure | 
                      Assignment according to priority | 
                     
                    
                     
                    
                    
                     |