| Algebraische Automatentheorie | Winter 2018/19, Winter 2017/18 | 
                    
                            
                        
                
                    
                            
                        
                    
                        
                            
		
				
						| Algorithmische Automatentheorie | Sommer 2021, Sommer 2019, Sommer 2018, Sommer 2017, Sommer 2016, Winter 2013/14, Winter 2014/15, Winter 2012/13, Sommer 2011 | 
                    
                            
                        
                
                    
                            
                        
                    
                        
                            
		
				
						| Programmanalyse | Winter 2018/19, Winter 2017/18, Winter 2015/16 (BOA), Winter 2013/14 (BOA) | 
                    
                            
                        
                
                    
                            
                        
                    
                        
                            
		
				
						| Komplexitätstheorie | Winter 2021/22, Winter 2018/19, Winter 2017/18, Winter 2016/17, Winter 2015/16 | 
                    
                            
                        
                
                    
                            
                        
                    
                        
                            
		
				
						| Nebenläufigkeitstheorie | Winter 2021/22, Winter 2020/21, Winter 2019/20, Winter 2018/19, Winter 2017/18, Winter 2016/17, Sommer 2015, Sommer 2014, Winter 2011/12, Winter 2010/11 | 
                    
                            
                        
                
                    
                            
                        
                    
                        
                            
		
				
						| Spiele mit Perfekter Information | Sommer 2019, Sommer 2018, Sommer 2017 | 
                    
                            
                        
                
                    
                            
                        
                    
                        
                            
		
				
						| Einführung in die Logik | Sommer 2023, Sommer 2022, Sommer 2021, Sommer 2020, Sommer 2019, Sommer 2018, Sommer 2017, Sommer 2016, Sommer 2015, Sommer 2014, Sommer 2013, Sommer 2012 | 
                    
                            
                        
                
                    
                            
                        
                    
                        
                            
		
				
						| Semantik | Winter 2019/20, Sommer 2018 | 
                    
                            
                        
                
                    
                            
                        
                    
                        
                            
		
				
						| Seminar | Sommer 2023, Winter 2022/23, Sommer 2022, Winter 2021/22, Sommer 2021, Winter 2020/21, Sommer 2020, Winter 2019/20, Sommer 2019, Winter 2018/19, Sommer 2018, Winter 2017/18, Sommer 2017, Winter 2016/17, Sommer 2014 | 
                    
                            
                        
                
                    
                            
                        
                    
                        
                            
		
				
						| SEP | Sommer 2020 (KittyCAT), Sommer 2019 (Kitchen App), Sommer 2018 (Hack your habits), Sommer 2017 (UnicornPL) | 
                    
                            
                        
                
                    
                            
                        
                    
                        
                            
		
				
						| Teamprojekt / Praktikum | Sommer 2019 (Programmanalyse), Winter 2018/19 (Program Verification), Sommer 2018 (Programmanalyse), Winter 2017/18 (Automata Learning), Summer 2017 (Kryptologie) | 
                    
                            
                        
                
                    
                            
                        
                    
                        
                            
		
				
						| Theoretische Informatik 1 | Winter 2022/23, Winter 2021/22, Winter 2020/21, Winter 2019/20,Winter 2018/19, Winter 2017/18, Winter 2016/17, Sommer 2016 (FGdP) | 
                    
                            
                        
                
                    
                            
                                
                            
                        
                    
                        
                            
		
				
						| Theoretische Informatik 2 | Sommer 2023, Sommer 2022, Sommer 2021, Sommer 2020, Sommer 2019, Sommer 2018, Sommer 2017 |