UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Zur Titelseite der Universität Bamberg
  Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe 
Suche:      Semester:   
 
 Darstellung
 
kurz

ausführlich

Druckansicht

 
 
Stundenplan

 
 
 Extras
 
alle markieren

alle Markierungen löschen

Ausgabe als XML

 
 
 Außerdem im UnivIS
 
Lehrveranstaltungen einzelner Einrichtungen

 
 
Vorlesungsverzeichnis >> Fakultät Wirtschaftsinformatik und Angewandte Informatik >> Bachelor-/Masterstudiengänge Angewandte Informatik, Computing in the Humanities, International Information Systems Management, Software Systems Science, International Software Systems Science, Wirtschaftsinformatik, Wirtschaftspädagogik mit Schwerpunkt Wirtschaftsinformatik >> Lehrveranstaltungen für Bachelor und Master >> Angewandte Informatik >>

AI Systems Engineering

 

AISE-ProjPrak-UR: Universal Reasoning (in Philosophy, Mathematics and Computer Science)

Projekt; Rein Präsenz; 6,00 SWS; ECTS: 15; Die Lehrveranstaltung findet im LS-Labor statt!
N.N.
 

V: Computational Metaphysics - Mechanizing Principia Logico-Metaphysica (AISE-PLM)

Seminaristischer Unterricht; Rein Präsenz; 2.00 SWS; ECTS: 3; The course will be by the 2025 Johann-von-Spix Guestprofessor Dr. Edward Zalta (Stanford), Dr. Daniel Kirchner and Prof. Dr. Christoph Benzmüller. It will be held as a block course from Novemver 27 to December 5 in combination also with a workshop and the 2025 Kurt-Gödel-Essay-Award ceremony event at U Bamberg (on December 5). Topics for follow-up thesis projects will be offered to successful participants.; vom 27.11.2025 bis zum 5.12.2025
N.N.


UnivIS ist ein Produkt der Config eG, Buckenhof