TY  - JOUR
A1  - Böhne, Sebastian
A1  - Kreitz, Christoph
A1  - Knobelsdorf, Maria
T1  - Mathematisches Argumentieren und Beweisen mit dem Theorembeweiser Coq
JF  - Commentarii informaticae didacticae (CID)
N2  - Informatik-Studierende haben in der Mehrzahl Schwierigkeiten, einen Einstieg in die Theoretische
Informatik zu finden und die Leistungsanforderungen in den
Endklausuren der zugehörigen Lehrveranstaltungen zu erfüllen. Wir argumentieren, dass dieser Symptomatik mangelnde Kompetenzen im Umgang mit abstrakten und stark formalisierten Themeninhalten zugrunde liegen und schlagen vor, einen Beweisassistenten als interaktives Lernwerkzeug in der Eingangslehre der Theoretischen Informatik zu nutzen, um entsprechende Kompetenzen zu stärken.
Y1  - 2016
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-94824
SN  - 978-3-86956-376-3
SN  - 1868-0844
SN  - 2191-1940
IS  - 10
SP  - 69
EP  - 80
PB  - Universitätsverlag Potsdam
CY  - Potsdam
ER  - 
TY  - JOUR
A1  - Zech, Christina
A1  - Stein, Monika
A1  - Haberer, Anke
A1  - Böhne, Alexander
A1  - Müller-Röber, Bernd
A1  - Heinig, Angela
A1  - Raehse, Sebastian
T1  - Portal = Existenzgründung: Ein Sprung ins kalte Wasser
BT  - Die Potsdamer Universitätszeitung
N2  - Aus dem Inhalt:
Existenzgründung: Ein Sprung ins kalte Wasser
-Bernd Walz über Wettbewerbsfähigkeit und Nachwuchsförderung 
-Gertrud Lehnert über Mode bei Marcel Proust 
-Juniorprofessor Jens Eisert über Quanteninformation
T3  - Portal: Das Potsdamer Universitätsmagazin - 03-04/2003 
Y1  - 2003
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-501536
SN  - 1618-6893
VL  - 2003
ER  - 
TY  - CHAP
A1  - Dennert-Möller, Elisabeth
A1  - Garmann, Robert
A1  - Kujath, Bertold
A1  - Zscheyge, Oliver
A1  - Weicker, Karsten
A1  - Böhne, Sebastian
A1  - Knobelsdorf, Maria
A1  - Kreitz, Christoph
A1  - Steen, Alexander
A1  - Wisniewski, Max
A1  - Benzmüller, Christoph
A1  - Gebhardt, Kai
A1  - Ehlenz, Matthias
A1  - Bergner, Nadine
A1  - Schroeder, Ulrik
ED  - Schwill, Andreas
ED  - Lucke, Ulrike
T1  - Hochschuldidaktik der Informatik
BT  - HDI2016 – 7. Fachtagung des GI-Fachbereichs Informatik und Ausbildung / Didaktik der Informatik ; 13.-14. September 2016 an der Universität Potsdam
N2  - Die 7. Fachtagung für Hochschuldidaktik, die 2016 erneut mit der DeLFI E-Learning Fachtagung Informatik stattfand, setzte das erfolgreiche Modell einer Tagung fort, die sich mit hochschuldidaktischen Fragen und der Gestaltung von Studiengängen der Informatik beschäftigt.
Thema der Tagung waren alle Fragen, die sich der Vermittlung von Informatikgegenständen im Hochschulbereich widmen. Dazu gehörten u.a.:
• fachdidaktische Konzepte der Vermittlung einzelner Informatikgegenstände
• methodische Lösungen, wie spezielle Lehr- und Lernformen, Durchführungskonzepte
• empirische Ergebnisse und Vergleichsstudien
• E-Learning-Ansätze, wenn sie ein erkennbares didaktisches Konzept verfolgen
• Studienkonzepte und Curricula, organisatorische Fragen, wie Gewinnung von Studierenden, Studieneingangsphase, Abbrecher.
Die Fachtagung widmete sich ausgewählten Fragestellungen dieses Themenkomplexes, die durch Vorträge ausgewiesener Experten, durch eingereichte Beiträge und durch Präsentationen und Poster intensiv behandelt wurden.
Unser besonderer Dank gilt dem Programmkomitee und den hier nicht genannten Helfern für ihren Einsatz bei der Vorbereitung und Durchführung der Tagung.
T3  - Commentarii informaticae didacticae (CID) - 10 
Y1  - 2016
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-93511
SN  - 978-3-86956-376-3
SN  - 1868-0844
SN  - 2191-1940
PB  - Universitätsverlag Potsdam
CY  - Potsdam
ER  -