@article{LahTrenseBenkeetal.2016, author = {Lah, Ljerka and Trense, Daronja and Benke, Harald and Berggren, Per and Gunnlaugsson, Porvaldur and Lockyer, Christina and {\"O}zt{\"u}rk, Ayaka and {\"O}zt{\"u}rk, Bayram and Pawliczka, Iwona and Roos, Anna and Siebert, Ursula and Skora, Krzysztof and Vikingsson, Gisli and Tiedemann, Ralph}, title = {Spatially Explicit Analysis of Genome-Wide SNPs Detects Subtle Population Structure in a Mobile Marine Mammal, the Harbor Porpoise}, series = {PLoS one}, volume = {11}, journal = {PLoS one}, publisher = {PLoS}, address = {San Fransisco}, issn = {1932-6203}, doi = {10.1371/journal.pone.0162792}, pages = {23}, year = {2016}, abstract = {The population structure of the highly mobile marine mammal, the harbor porpoise (Phocoena phocoena), in the Atlantic shelf waters follows a pattern of significant isolation-by-distance. The population structure of harbor porpoises from the Baltic Sea, which is connected with the North Sea through a series of basins separated by shallow underwater ridges, however, is more complex. Here, we investigated the population differentiation of harbor porpoises in European Seas with a special focus on the Baltic Sea and adjacent waters, using a population genomics approach. We used 2872 single nucleotide polymor-phisms (SNPs), derived from double digest restriction-site associated DNA sequencing (ddRAD-seq), as well as 13 microsatellite loci and mitochondrial haplotypes for the same set of individuals. Spatial principal components analysis (sPCA), and Bayesian clustering on a subset of SNPs suggest three main groupings at the level of all studied regions: the Black Sea, the North Atlantic, and the Baltic Sea. Furthermore, we observed a distinct separation of the North Sea harbor porpoises from the Baltic Sea populations, and identified splits between porpoise populations within the Baltic Sea. We observed a notable distinction between the Belt Sea and the Inner Baltic Sea sub-regions. Improved delineation of harbor porpoise population assignments for the Baltic based on genomic evidence is important for conservation management of this endangered cetacean in threatened habitats, particularly in the Baltic Sea proper. In addition, we show that SNPs outperform microsatellite markers and demonstrate the utility of RAD-tags from a relatively small, opportunistically sampled cetacean sample set for population diversity and divergence analysis.}, language = {en} } @article{ZhuSchluppTiedemann2016, author = {Zhu, Fangjun and Schlupp, Ingo and Tiedemann, Ralph}, title = {Sequence Evolution and Expression of the Androgen Receptor and Other Pathway-Related Genes in a Unisexual Fish, the Amazon Molly, Poecilia formosa, and Its Bisexual Ancestors}, series = {PLoS one}, volume = {11}, journal = {PLoS one}, publisher = {PLoS}, address = {San Fransisco}, issn = {1932-6203}, doi = {10.1371/journal.pone.0156209}, pages = {19}, year = {2016}, abstract = {The all-female Amazon molly (Poecilia formosa) originated from a single hybridization of two bisexual ancestors, Atlantic molly (Poecilia mexicana) and sailfin molly (Poecilia latipinna). As a gynogenetic species, the Amazon molly needs to copulate with a heterospecific male, but the genetic information of the sperm-donor does not contribute to the next generation, as the sperm only acts as the trigger for the diploid eggs' embryogenesis. Here, we study the sequence evolution and gene expression of the duplicated genes coding for androgen receptors (ars) and other pathway-related genes, i.e., the estrogen receptors (ers) and cytochrome P450, family19, subfamily A, aromatase genes (cyp19as), in the Amazon molly, in comparison to its bisexual ancestors. Mollies possess-as most other teleost fish—two copies of the ar, er, and cyp19a genes, i.e., ar\&\#945;/ar\&\#946;, er\&\#945;/er\&\#946;1, and cyp19a1 (also referred as cyp19a1a)/cyp19a2 (also referred to as cyp19a1b), respectively. Non-synonymous single nucleotide polymorphisms (SNPs) among the ancestral bisexual species were generally predicted not to alter protein function. Some derived substitutions in the P. mexicana and one in P. formosa are predicted to impact protein function. We also describe the gene expression pattern of the ars and pathway-related genes in various tissues (i.e., brain, gill, and ovary) and provide SNP markers for allele specific expression research. As a general tendency, the levels of gene expression were lowest in gill and highest in ovarian tissues, while expression levels in the brain were intermediate in most cases. Expression levels in P. formosa were conserved where expression did not differ between the two bisexual ancestors. In those cases where gene expression levels significantly differed between the bisexual species, P. formosa expression was always comparable to the higher expression level among the two ancestors. Interestingly, er\&\#946;1 was expressed neither in brain nor in gill in the analyzed three molly species, which implies a more important role of er\&\#945; in the estradiol synthesis pathway in these tissues. Furthermore, our data suggest that interactions of steroid-signaling pathway genes differ across tissues, in particular the interactions of ars and cyp19as.}, language = {en} } @article{MarroneHavensteinTiedemannetal.2016, author = {Marrone, F. and Havenstein, Katja and Tiedemann, Ralph and Ketmaier, V.}, title = {Identification and characterization of five polymorphic microsatellite loci in the freshwater copepod Hemidiaptomus gurneyi (Copepoda: Calanoida: Diaptomidae)}, series = {The Italian journal of zoology}, volume = {83}, journal = {The Italian journal of zoology}, publisher = {Springer}, address = {Abingdon}, issn = {1125-0003}, doi = {10.1080/11250003.2015.1126363}, pages = {146 -- 150}, year = {2016}, abstract = {Hemidiaptomus diaptomid copepods are known to be excellent biological indicators for the highly biodiverse crustacean communities inhabiting Mediterranean temporary ponds (MTPs), an endangered inland water habitat whose conservation is considered a priority according to the "Habitat Directive" of the European Union. This study reports on the characterization of five polymorphic microsatellite loci in Hemidiaptomus gurneyi, to be used as markers for fine-scale studies on the population genetic structure and metapopulation dynamics of a typical and obligate MTP dweller. The five selected loci proved to be polymorphic in the species, with three to five polymorphic loci per studied population. Overall, mean heterozygosity scored for all loci and populations was lower than that reported for the few other diaptomid species for which microsatellite loci have been to date described; this is possibly due to the intrinsically fragmented and isolated peculiar habitat inhabited by the species. Furthermore, the presence of indels within the flanking regions of selected loci was scored. This study, albeit confirming the technical difficulties in finding proper microsatellite markers in copepods, provides for the first time a set of useful polymorphic microsatellite loci for a Hemidiaptomus species, thus allowing the realization of fine-scale phylogeographic and population genetics studies of this flagship crustacean taxon for MTPs.}, language = {en} } @article{LahTrenseBenkeetal.2016, author = {Lah, Ljerka and Trense, Daronja and Benke, Harald and Berggren, Per and Gunnlaugsson, Þorvaldur and Lockyer, Christina and {\"O}zt{\"u}rk, Ayaka and {\"O}zt{\"u}rk, Bayram and Pawliczka, Iwona and Roos, Anna and Siebert, Ursula and Sk{\´o}ra, Krzysztof and V{\´i}kingsson, G{\´i}sli and Tiedemann, Ralph}, title = {Spatially Explicit Analysis of Genome-Wide SNPs Detects Subtle Population Structure in a Mobile Marine Mammal, the Harbor Porpoise}, series = {PLoS one}, volume = {11}, journal = {PLoS one}, number = {10}, publisher = {PLoS}, address = {Lawrence, Kan.}, issn = {1932-6203}, doi = {10.1371/journal.pone.0162792}, pages = {23 Seiten}, year = {2016}, abstract = {The population structure of the highly mobile marine mammal, the harbor porpoise (Phocoena phocoena), in the Atlantic shelf waters follows a pattern of significant isolation-by-distance. The population structure of harbor porpoises from the Baltic Sea, which is connected with the North Sea through a series of basins separated by shallow underwater ridges, however, is more complex. Here, we investigated the population differentiation of harbor porpoises in European Seas with a special focus on the Baltic Sea and adjacent waters, using a population genomics approach. We used 2872 single nucleotide polymorphisms (SNPs), derived from double digest restriction-site associated DNA sequencing (ddRAD-seq), as well as 13 microsatellite loci and mitochondrial haplotypes for the same set of individuals. Spatial principal components analysis (sPCA), and Bayesian clustering on a subset of SNPs suggest three main groupings at the level of all studied regions: the Black Sea, the North Atlantic, and the Baltic Sea. Furthermore, we observed a distinct separation of the North Sea harbor porpoises from the Baltic Sea populations, and identified splits between porpoise populations within the Baltic Sea. We observed a notable distinction between the Belt Sea and the Inner Baltic Sea sub-regions. Improved delineation of harbor porpoise population assignments for the Baltic based on genomic evidence is important for conservation management of this endangered cetacean in threatened habitats, particularly in the Baltic Sea proper. In addition, we show that SNPs outperform microsatellite markers and demonstrate the utility of RAD-tags from a relatively small, opportunistically sampled cetacean sample set for population diversity and divergence analysis.}, language = {en} } @article{ZhuSchluppTiedemann2016, author = {Zhu, Fangjun and Schlupp, Ingo and Tiedemann, Ralph}, title = {Sequence Evolution and Expression of the Androgen Receptor and Other Pathway-Related Genes in a Unisexual Fish, the Amazon Molly, Poecilia formosa, and Its Bisexual Ancestors}, series = {PLoS one}, volume = {11}, journal = {PLoS one}, number = {6}, publisher = {PLoS}, address = {Lawrence, Kan.}, issn = {1932-6203}, doi = {10.1371/JOURNAL.PONE.0156209}, pages = {19}, year = {2016}, abstract = {The all-female Amazon molly (Poecilia formosa) originated from a single hybridization of two bisexual ancestors, Atlantic molly (Poecilia mexicana) and sailfin molly (Poecilia latipinna). As a gynogenetic species, the Amazon molly needs to copulate with a heterospecific male, but the genetic information of the sperm-donor does not contribute to the next generation, as the sperm only acts as the trigger for the diploid eggs' embryogenesis. Here, we study the sequence evolution and gene expression of the duplicated genes coding for androgen receptors (ars) and other pathway-related genes, i.e., the estrogen receptors (ers) and cytochrome P450, family19, subfamily A, aromatase genes (cyp19as), in the Amazon molly, in comparison to its bisexual ancestors. Mollies possess-as most other teleost fish—two copies of the ar, er, and cyp19a genes, i.e., arα/arβ, erα/erβ1, and cyp19a1 (also referred as cyp19a1a)/cyp19a2 (also referred to as cyp19a1b), respectively. Non-synonymous single nucleotide polymorphisms (SNPs) among the ancestral bisexual species were generally predicted not to alter protein function. Some derived substitutions in the P. mexicana and one in P. formosa are predicted to impact protein function. We also describe the gene expression pattern of the ars and pathway-related genes in various tissues (i.e., brain, gill, and ovary) and provide SNP markers for allele specific expression research. As a general tendency, the levels of gene expression were lowest in gill and highest in ovarian tissues, while expression levels in the brain were intermediate in most cases. Expression levels in P. formosa were conserved where expression did not differ between the two bisexual ancestors. In those cases where gene expression levels significantly differed between the bisexual species, P. formosa expression was always comparable to the higher expression level among the two ancestors. Interestingly, erβ1 was expressed neither in brain nor in gill in the analyzed three molly species, which implies a more important role of erα in the estradiol synthesis pathway in these tissues. Furthermore, our data suggest that interactions of steroid-signaling pathway genes differ across tissues, in particular the interactions of ars and cyp19as.}, language = {en} } @article{SchroederAbeRentzschAsendorpfetal.2016, author = {Schr{\"o}der-Ab{\´e}, Michela and Rentzsch, Katrin and Asendorpf, Jens B. and Penke, Lars}, title = {Good Enough for an Affair. Self-Enhancement of Attractiveness, Interest in Potential Mates and Popularity as a Mate}, series = {European journal of personality}, volume = {30}, journal = {European journal of personality}, publisher = {Wiley-Blackwell}, address = {Hoboken}, issn = {0890-2070}, doi = {10.1002/per.2029}, pages = {12 -- 18}, year = {2016}, abstract = {Using data from the Berlin Speed Dating Study, we tested rival hypotheses concerning the effects of self-enhancement of attractiveness on dating outcomes. Three hundred eighty-two participants took part in one of the 17 speed-dating sessions. After each speed-dating interaction, participants indicated how interesting they found the respective person as a long-term and short-term partner. Using social relations analyses, we computed perceiver effects (being more or less choosy) and target effects (being rated as more or less interesting) of long-term and short-term partner ratings. Self-enhancement was operationalized as the discrepancy between self-rated attractiveness and four components of actual attractiveness (observer-rated facial and vocal attractiveness, height and body mass index). Results indicated that self-enhancers were less choosy with respect to their interest for short-term partners, which was especially true for men, but more choosy with respect to long-term partners. With regard to popularity as a mate, potential partners indicated that they found self-enhancers more interesting as short-term partners but not as long-term partners. As self-enhancement is a key component of narcissism, these results are consistent with findings that narcissists perceive many sexual affairs as an achievement, while preferring selected 'trophy' long-term partners, and narcissists have a charming appeal for short-term, but not lasting, social relationships.}, language = {en} } @article{Martyn2016, author = {Martyn, Cornelia}, title = {Die „Russische Idee" oder die Kunst als Manifestation der Gottebenbildlichkeit des Menschen in Andrej Tarkovskijs Film Stalker}, series = {Andrej Tarkovskij: Klassiker - Классик - Classic - Classico : Beitr{\"a}ge zum internationalen Tarkovskij-Symposium an der Universit{\"a}t Potsdam ; Band 1}, journal = {Andrej Tarkovskij: Klassiker - Классик - Classic - Classico : Beitr{\"a}ge zum internationalen Tarkovskij-Symposium an der Universit{\"a}t Potsdam ; Band 1}, publisher = {Universit{\"a}t Potsdam}, address = {Potsdam}, isbn = {978-3-86956-351-0}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-95603}, pages = {215 -- 236}, year = {2016}, language = {de} } @article{Efird2016, author = {Efird, Robert}, title = {Beyond the Crystal-Image}, series = {Andrej Tarkovskij: Klassiker - Классик - Classic - Classico : Beitr{\"a}ge zum internationalen Tarkovskij-Symposium an der Universit{\"a}t Potsdam ; Band 1}, journal = {Andrej Tarkovskij: Klassiker - Классик - Classic - Classico : Beitr{\"a}ge zum internationalen Tarkovskij-Symposium an der Universit{\"a}t Potsdam ; Band 1}, publisher = {Universit{\"a}t Potsdam}, address = {Potsdam}, isbn = {978-3-86956-351-0}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-95626}, pages = {255 -- 265}, year = {2016}, language = {en} } @article{Салынский2016, author = {Салынский, Дмитрий}, title = {Солярис как процесс}, series = {Andrej Tarkovskij: Klassiker - Классик - Classic - Classico : Beitr{\"a}ge zum internationalen Tarkovskij-Symposium an der Universit{\"a}t Potsdam ; Band 1}, journal = {Andrej Tarkovskij: Klassiker - Классик - Classic - Classico : Beitr{\"a}ge zum internationalen Tarkovskij-Symposium an der Universit{\"a}t Potsdam ; Band 1}, publisher = {Universit{\"a}t Potsdam}, address = {Potsdam}, isbn = {978-3-86956-351-0}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-95529}, pages = {49 -- 63}, year = {2016}, language = {ru} } @article{Binder2016, author = {Binder, Eva}, title = {Werben f{\"u}r sich selbst}, series = {Andrej Tarkovskij: Klassiker - Классик - Classic - Classico : Beitr{\"a}ge zum internationalen Tarkovskij-Symposium an der Universit{\"a}t Potsdam ; Band 1}, journal = {Andrej Tarkovskij: Klassiker - Классик - Classic - Classico : Beitr{\"a}ge zum internationalen Tarkovskij-Symposium an der Universit{\"a}t Potsdam ; Band 1}, publisher = {Universit{\"a}t Potsdam}, address = {Potsdam}, isbn = {978-3-86956-351-0}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-95542}, pages = {85 -- 108}, year = {2016}, language = {de} } @article{Klimke2016, author = {Klimke, Romy}, title = {Sch{\"a}dliche traditionelle Praktiken und die UN-Frauenrechtskonvention}, series = {MenschenRechtsMagazin : MRM ; Informationen, Meinungen, Analysen}, volume = {21}, journal = {MenschenRechtsMagazin : MRM ; Informationen, Meinungen, Analysen}, number = {1}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, issn = {1434-2820}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-95065}, pages = {16 -- 28}, year = {2016}, abstract = {I. Einf{\"u}hrung II. Sch{\"a}dliche traditionelle Praktiken in der UN-Frauenrechtskonvention III. Einfluss der CEDAW-Konzeption auf die Entwicklung des Konzepts und dessen Verankerung in regionalen Menschenrechtsinstrumenten IV. Fallstudie: Strukturelle Parallelen von FGM/C, m{\"a}nnlicher Genitalbeschneidung und operativen Eingriffen an intersexuellen Kindern V. Reformans{\"a}tze}, language = {de} } @article{Weiss2016, author = {Weiß, Norman}, title = {Schutz von Menschenrechtsverteidigern}, series = {MenschenRechtsMagazin : MRM ; Informationen, Meinungen, Analysen}, volume = {21}, journal = {MenschenRechtsMagazin : MRM ; Informationen, Meinungen, Analysen}, number = {1}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, issn = {1434-2820}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-95086}, pages = {29 -- 44}, year = {2016}, abstract = {I. Einf{\"u}hrung II. Menschenrechtsverteidiger als Thema und neukonturiertes Arbeitsfeld der Vereinten Nationen III. Neuere Entwicklungen IV. Ausgew{\"a}hlte regionale Initiativen und Maßnahmen V. Rolle der Europ{\"a}ischen Union VI. W{\"u}rdigung und Ausblick}, language = {de} } @article{EhlenzBergnerSchroeder2016, author = {Ehlenz, Matthias and Bergner, Nadine and Schroeder, Ulrik}, title = {Synergieeffekte zwischen Fach- und Lehramtsstudierenden in Softwarepraktika}, series = {Commentarii informaticae didacticae (CID)}, journal = {Commentarii informaticae didacticae (CID)}, number = {10}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-376-3}, issn = {1868-0844}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-94875}, pages = {99 -- 102}, year = {2016}, abstract = {Dieser Beitrag diskutiert die Konzeption eines Software-Projektpraktikums im Bereich E-Learning, welches Lehramts- und Fachstudierenden der Informatik erm{\"o}glicht, voneinander zu profitieren und praxisrelevante Ergebnisse generiert. Vorbereitungen, Organisation und Durchf{\"u}hrung werden vorgestellt und diskutiert. Den Abschluss bildet ein Ausblick auf die Fortf{\"u}hrung des Konzepts und den Ausbau des Forschungsgebietes.}, language = {de} } @article{Nix2016, author = {Nix, Andreas}, title = {Karl Mannheims Konservatismus}, series = {Kultursoziologie : Kultursozologie an deutschen Universit{\"a}ten}, volume = {2016}, journal = {Kultursoziologie : Kultursozologie an deutschen Universit{\"a}ten}, number = {2}, editor = {Geier, Wolfgang}, publisher = {WeltTrends}, address = {Potsdam}, isbn = {978-3-945878-24-8}, issn = {0941-343X}, pages = {102 -- 108}, year = {2016}, language = {de} } @article{DennertMoellerGarmann2016, author = {Dennert-M{\"o}ller, Elisabeth and Garmann, Robert}, title = {Das „Startprojekt"}, series = {Commentarii informaticae didacticae (CID)}, journal = {Commentarii informaticae didacticae (CID)}, number = {10}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-376-3}, issn = {1868-0844}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-94780}, pages = {11 -- 23}, year = {2016}, abstract = {Absolventinnen und Absolventen unserer Informatik-Bachelorstudieng{\"a}nge ben{\"o}tigen f{\"u}r kompetentes berufliches Handeln sowohl fachliche als auch {\"u}berfachliche Kompetenzen. Vielfach verlangen wir von Erstsemestern in Grundlagen-Lehrveranstaltungen fast ausschließlich den Aufbau von Fachkompetenz und vernachl{\"a}ssigen dabei h{\"a}ufig Selbstkompetenz, Methodenkompetenz und Sozialkompetenz. Gerade die drei letztgenannten sind f{\"u}r ein erfolgreiches Studium unabdingbar und sollten von Anfang an entwickelt werden. Wir stellen unser „Startprojekt" als einen Beitrag vor, im ersten Semester die eigenverantwortliche, {\"u}berfachliche Kompetenzentwicklung in einem fachlichen Kontext zu f{\"o}rdern.}, language = {de} } @article{Kujath2016, author = {Kujath, Bertold}, title = {Lernwirksamkeits- und Zielgruppenanalyse f{\"u}r ein Lehrvideo zum informatischen Probleml{\"o}sen}, series = {Commentarii informaticae didacticae (CID)}, journal = {Commentarii informaticae didacticae (CID)}, number = {10}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-376-3}, issn = {1868-0844}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-94797}, pages = {25 -- 39}, year = {2016}, abstract = {Aus einer Vergleichsstudie mit starken und schwachen Probleml{\"o}sern konnten Erkenntnisse {\"u}ber die effizienten Herangehensweisen von Hochleistern an Informatikprobleme gewonnen werden. Diese Erkenntnisse wurden in einem Lehrvideo zum informatischen Probleml{\"o}sen didaktisch aufgearbeitet, sodass Lernenden der Einsatz von Baumstrukturen und Rekursion im konkreten Kontext gezeigt werden kann. Nun wurde die tats{\"a}chliche Lernwirksamkeit des Videos sowie die Definition der Zielgruppe in einer Vergleichsstudie mit 66 Studienanf{\"a}ngern {\"u}berpr{\"u}ft.}, language = {de} } @article{ZscheygeWeicker2016, author = {Zscheyge, Oliver and Weicker, Karsten}, title = {Werkzeugunterst{\"u}tzung bei der Vermittlung der Grundlagen wissenschaftlichen Schreibens}, series = {Commentarii informaticae didacticae (CID)}, journal = {Commentarii informaticae didacticae (CID)}, number = {10}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-376-3}, issn = {1868-0844}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-94814}, pages = {57 -- 68}, year = {2016}, abstract = {Der Unterricht großer Studierendengruppen im wissenschaftlichen Schreiben birgt vielf{\"a}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{\"a}nzt wird. Die Software Confopy liefert metrik- und strukturbasierte Hinweise f{\"u}r die Verbesserung des wissenschaftlichen Schreibstils. Der Nutzen von Confopy wird an 47 studentischen Arbeiten in Draft- und Final-Version illustriert.}, language = {de} } @article{BoehneKreitzKnobelsdorf2016, author = {B{\"o}hne, Sebastian and Kreitz, Christoph and Knobelsdorf, Maria}, title = {Mathematisches Argumentieren und Beweisen mit dem Theorembeweiser Coq}, series = {Commentarii informaticae didacticae (CID)}, journal = {Commentarii informaticae didacticae (CID)}, number = {10}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-376-3}, issn = {1868-0844}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-94824}, pages = {69 -- 80}, year = {2016}, abstract = {Informatik-Studierende haben in der Mehrzahl Schwierigkeiten, einen Einstieg in die Theoretische Informatik zu finden und die Leistungsanforderungen in den Endklausuren der zugeh{\"o}rigen Lehrveranstaltungen zu erf{\"u}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{\"a}rken.}, language = {de} } @article{SteenWisniewskiBenzmueller2016, author = {Steen, Alexander and Wisniewski, Max and Benzm{\"u}ller, Christoph}, title = {Einsatz von Theorembeweisern in der Lehre}, series = {Commentarii informaticae didacticae (CID)}, journal = {Commentarii informaticae didacticae (CID)}, number = {10}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-376-3}, issn = {1868-0844}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-94853}, pages = {81 -- 92}, year = {2016}, abstract = {Dieser Beitrag diskutiert den Einsatz von interaktiven und automatischen Theorembeweisern in der universit{\"a}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.}, language = {de} } @article{Gebhardt2016, author = {Gebhardt, Kai}, title = {Kooperative und kompetenzorientierte {\"U}bungen in der Softwaretechnik}, series = {Commentarii informaticae didacticae (CID)}, journal = {Commentarii informaticae didacticae (CID)}, number = {10}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-376-3}, issn = {1868-0844}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-94867}, pages = {95 -- 98}, year = {2016}, abstract = {Die Unterrichtsmethode Stationsarbeit kann verwendet werden, um Individualisierung und Differenzierung im Lernprozess zu erm{\"o}glichen. Dieser Beitrag schl{\"a}gt Aufgabenformate vor, die in einer Stationsarbeit {\"u}ber das Klassendiagramm aus der Unified Modeling Language verwendet werden k{\"o}nnen. Die Aufgabenformate wurden bereits mit Studierenden erprobt.}, language = {de} }