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: 10; Zeit n.V., WE5/05.017
Benzmüller, Ch.
Fuenmayor, D.
 

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.; Einzeltermin am 27.11.2025, Einzeltermin am 28.11.2025, Einzeltermin am 1.12.2025, Einzeltermin am 2.12.2025, Einzeltermin am 3.12.2025, 16:00 - 18:00, WE5/05.017; Einzeltermin am 4.12.2025, 10:00 - 18:00, WE5/02.020; Einzeltermin am 5.12.2025, 9:00 - 18:00, WE5/01.006; vom 27.11.2025 bis zum 5.12.2025
Benzmüller, Ch.
Kirchner, D.
Zalta, E.N.


UnivIS ist ein Produkt der Config eG, Buckenhof