 wird in neuem Tab geöffnet
	wird in neuem Tab geöffnet
 
		
	 
	
		
			
Modellierung
			
		
		
		
			Grundlagen und formale Methoden
		
		
			
		
		
		
			
			
		
		
			
			
		
		
			Jahr: 
			2021
		
		
			Verlag:
			München, Carl Hanser Verlag
		
		
			
			
		
		
			
			
		
		
			
			
		
		
			
			
			
			
				
			
		
		
			
				Mediengruppe: 
				
					MONO
				
			
		
		
	 
	
	
		
			Link zu einem externen Medieninhalt - wird in neuem Tab geöffnet
			
		 
		
			
		
		
			
		
		
		
		
		
			
			
		
		
	 
 
		
		
		
		
			
			
		
			
				| Standorte | Standort 2 | Status | Vorbestellungen | Frist | Barcode | Lageplan | Signaturfarbe | 
				| Standorte:
				TUA 136(5) | Standort 2: | Status:
				Verfügbar | Vorbestellungen:
				0 | Frist: | Barcode:
				00128150 | Lagepläne:
				Lageplan | Signaturfarbe:   | 
		
	 
		 
		
			
			Die Modellierung ist eine typische Arbeitsmethode in der Informatik: Aufgaben, Probleme oder Strukturen werden untersucht und formal beschrieben. Erst danach werden sie durch den Entwurf von Software, Algorithmen, Daten oder Hardware gelöst bzw. implementiert. Zur Anwendung der Modellierung steht ein breites Spektrum von Kalkülen und Notationen zur Verfügung. Dieses Buch soll eine Übersicht über die wichtigsten Kalküle der Informatik und ein grundlegendes Verständnis für diese vermitteln. Anhand von vielen praktischen Beispielen lernen Sie die grundlegenden Modellierungstechniken kennen und werden in deren Anwendung eingeführt.
Dieses Buch vermittelt systematisch und praxisnah den Lehrstoff für Einführungsvorlesungen zur Modellierung und eignet sich für Bachelor-Studiengänge der Informatik und verwandter Fächer. Es werden behandelt: Modellierung mit Wertebereichen, Terme und Algebren, Logik, Modellierung mit Graphen, Modellierung von Strukturen, Modellierung von Abläufen, Fallstudien. Auf plus.hanser-fachbuch.de finden Sie zu diesem Titel kostenloses digitales Zusatzmaterial in Form von umfassenden Vorlesungsmaterialien und Übungen mitsamt Lösungen. Prof. Dr. Uwe Kastens und Prof. Dr. Hans Kleine Büning lehrten Informatik an der Universität Paderborn und hielten dort im Wechsel die Modellierungsvorlesung. (Quelle: Verlag)
		 
		
		
			
			
		
		
		
		
				
				
	
	
		Verfasserangabe:
		Uwe Kastens, Hans Kleine Büning
	
	
		
		
	
	
		Jahr: 
		2021
	
	
		Verlag: 
		München, Carl Hanser Verlag
	
	
		
		
	
	
		
		
	
	
		
		
	
	
		Aufsätze:
		Zu diesem Aufsatz wechseln
		
		
	 
	
	
		
		
	
	
		
		
		opens in new tab
	
	
	
		Systematik: 
		Suche nach dieser Systematik
		TUA
	 
	
		
		Suche nach diesem Interessenskreis
		
	
	
		
		
	
	
		ISBN: 
		978-3-446-46942-6
	
	
		2. ISBN: 
		3-446-46942-7
	
	
		
		
	
	
		Beschreibung: 
		5., aktualisierte Auflage, 308 Seiten, Illustrationen
	
	
		
		
	
	
		
		
	
	
		
		
		
			
		
	
	
	
	
	
	
		
		Suche nach dieser Beteiligten Person
		
	
	
		
		
	
	
		
		
	
	
		
		
	
	
		
		
	
	
		
		
	
	
		
		
	
	
		
		
	
	
		
		
	
	
		
		
	
	
		
		
	
	
		Mediengruppe: 
		MONO