TY  - JOUR
A1  - Zscheyge, Oliver
A1  - Weicker, Karsten
T1  - Werkzeugunterstützung bei der Vermittlung der Grundlagen wissenschaftlichen Schreibens
JF  - Commentarii informaticae didacticae (CID)
N2  - Der Unterricht großer Studierendengruppen im wissenschaftlichen Schreiben birgt vielfältige organisatorische Herausforderungen und eine zeitintensive Betreuung durch die Dozenten. Diese Arbeit stellt ein Lehrkonzept mit Peer-Reviews vor, in dem das Feedback der Peers durch eine automatisierte Analyse ergänzt wird. Die Software Confopy liefert metrik- und strukturbasierte Hinweise für die Verbesserung des wissenschaftlichen Schreibstils. Der Nutzen von Confopy wird an 47 studentischen Arbeiten in Draft- und Final-Version illustriert.
Y1  - 2016
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-94814
SN  - 978-3-86956-376-3
SN  - 1868-0844
SN  - 2191-1940
IS  - 10
SP  - 57
EP  - 68
PB  - Universitätsverlag Potsdam
CY  - Potsdam
ER  - 
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  - Steen, Alexander
A1  - Wisniewski, Max
A1  - Benzmüller, Christoph
T1  - Einsatz von Theorembeweisern in der Lehre
JF  - Commentarii informaticae didacticae (CID)
N2  - Dieser Beitrag diskutiert den Einsatz von interaktiven und automatischen Theorembeweisern in der universitären Lehre. Moderne Theorembeweiser scheinen geeignet zur Implementierung des dialogischen Lernens und als E-Assessment-Werkzeug in der Logikausbilding. Exemplarisch skizzieren wir ein innovaties Lehrprojekt zum Thema „Komputationale Metaphysik“, in dem die zuvor genannten Werkzeuge eingesetzt werden.
Y1  - 2016
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-94853
SN  - 978-3-86956-376-3
SN  - 1868-0844
SN  - 2191-1940
IS  - 10
SP  - 81
EP  - 92
PB  - Universitätsverlag Potsdam
CY  - Potsdam
ER  - 
TY  - JOUR
A1  - Gebhardt, Kai
T1  - Kooperative und kompetenzorientierte Übungen in der Softwaretechnik
JF  - Commentarii informaticae didacticae (CID)
N2  - Die Unterrichtsmethode Stationsarbeit kann verwendet werden, um Individualisierung und Differenzierung im Lernprozess zu ermöglichen. Dieser Beitrag schlägt Aufgabenformate vor, die in einer Stationsarbeit über das Klassendiagramm aus der Unified Modeling Language verwendet werden können. Die Aufgabenformate wurden bereits mit Studierenden erprobt.
Y1  - 2016
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-94867
SN  - 978-3-86956-376-3
SN  - 1868-0844
SN  - 2191-1940
IS  - 10
SP  - 95
EP  - 98
PB  - Universitätsverlag Potsdam
CY  - Potsdam
ER  - 
TY  - JOUR
A1  - Froitzheim, Manuel
A1  - Bergner, Nadine
A1  - Schroeder, Ulrik
ED  - Schwill, Andreas
T1  - Android-Workshop zur Vertiefung der Kenntnisse bezüglich Datenstrukturen und Programmierung in der Studieneingangsphase
JF  - HDI 2014 : Gestalten von Übergängen
N2  - Die Studieneingangsphase stellt für Studierende eine Schlüsselphase des tertiären Ausbildungsabschnitts dar. Fachwissenschaftliches Wissen wird praxisfern vermittelt und die Studierenden können die Zusammenhänge zwischen den Themenfeldern der verschiedenen Vorlesungen nicht erkennen. Zur Verbesserung der Situation wurde ein Workshop entwickelt, der die Verbindung der Programmierung und der Datenstrukturen vertieft. Dabei wird das Spiel Go-Moku1 als Android-App von den Studierenden selbständig entwickelt. Die Kombination aus Software (Java, Android-SDK) und Hardware (Tablet-Computer) für ein kleines realistisches Softwareprojekt stellt für die Studierenden eine neue Erfahrung dar.
Y1  - 2015
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-80247
VL  - 2015
IS  - 9
SP  - 11
EP  - 26
ER  - 
TY  - THES
A1  - Müller, Claudia
T1  - Graphentheoretische Analyse der Evolution von Wiki-basierten Netzwerken für selbstorganisiertes Wissensmanagement
Y1  - 2008
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Knobelsdorf, Maria
A1  - Kreitz, Christoph
T1  - Ein konstruktivistischer Lehransatz für die Einführungsveranstaltung der Theoretische Informatik
Y1  - 2013
SN  - 978-3-86956-220-9
ER  - 
TY  - THES
A1  - Rasche, Andreas
T1  - Ausführung und Entwicklung Adaptiver Komponentenbasierter Anwendungen
Y1  - 2008
SN  - 978-3-86727-698-6
CY  - Potsdam
ER  - 
TY  - THES
A1  - Rasche, Andreas
T1  - Ausführung und Entwicklung adaptiver komponentenbasierter Anwendungen
Y1  - 2008
SN  - 978-3-86727-698-6
PB  - Cuvillier
CY  - Göttingen
ER  - 
TY  - THES
A1  - Tröger, Peter
T1  - Dynamische Ressourcenverwaltung für dienstbasierte Software-Systeme
Y1  - 2008
SN  - 978-3-86727-622-1
PB  - Cuvillier
CY  - Göttingen
ER  -