|
|
Lehrveranstaltungen
| |
AISE-PLM: Computational Metaphysics - Mechaninzing Principia Logico-Metaphysica
V; Rein Präsenz; 2,00 SWS; (Blockveranstaltung: Anfang Juni; Gastaufenthalt von Edward Zalta (Stanford U, Philosophy) an der Uni Bamberg wird von der Bayerischen BaCaTeC Initiative (http://www.bacatec.de/en/hightech-agenda.html) gefördert.; Einzeltermin am 1.6.2023, 13:00 - 17:45, U5/03.27; Einzeltermin am 2.6.2023, 9:00 - 17:15, U5/03.27; Einzeltermin am 3.6.2023, 9:00 - 17:45, U5/03.27
|
Benzmüller, Ch.
Kirchner, D.
|
| |
AISE-Proj-B: Bachelorprojekt KI-Systementwicklung; Isabelle for the working logician
V; Rein Präsenz; 2,00 SWS; Blockveranstaltung 20.3.2023-6.4.2023 Mo-Fr, 8:00 - 16:00, WE5/02.020
|
Fuenmayor, D.
Kirchner, D.
|
| |
AISE-Sem-B: Isabelle for the working logician
S; Rein Präsenz; 2,00 SWS; Blockveranstaltung 20.4.2023-22.4.2023 Do, Fr, Sa, 10:00 - 18:00, Raum n.V.; Die Veranstaltung findet im Sitzungsraum WE5/01.047 statt.
|
Fuenmayor, D.
Kirchner, D.
|
|
 |
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|