Mit Einheitstyp () bezeichnet man in der Typtheorie und Informatik denjenigen Typ, der lediglich einen einzigen Wert besitzt.
de.wikipedia.org Die nachhaltige Bedeutung der von ihm entwickelten Methoden, Regeln und Strukturen zeigt sich heute vor allem in wichtigen Teilgebieten der Informatik, der Verifikation von Programmen.
de.wikipedia.org Dort war er von 2000 bis 2006 Dekan der Fakultät für Informatik und von 2006 bis 2009 Vizepräsident der Hochschule.
de.wikipedia.org Diese Simulationen befassen sich mit Inhalten in den Natur- und Sozialwissenschaften einschließlich Biologie, Medizin, Physik, Chemie, Mathematik, Informatik, Wirtschaft und Sozialpsychologie.
de.wikipedia.org Die naturwissenschaftliche Konzentration umfasst Biologie, Chemie, Informatik, Mathematik, Physik und Nachhaltige Entwicklung.
de.wikipedia.org