Zobrazeno 1 - 10
of 30
pro vyhledávání: '"SCHWARZ, SIBYLLE"'
Publikováno v:
HDS.Journal - Perspektiven guter Lehre, 2012. :45-47
Wichtiger Teil von Lehrveranstaltungen zur Mathematik und Informatik ist das eigenständige Bearbeiten passender Lösungsaufgaben durch die Studierenden. Woran erkennt man aber eine richtige Lösung einer solchen Aufgabe? Das ist in den exakten Wisse
Externí odkaz:
https://ul.qucosa.de/id/qucosa%3A12363
https://ul.qucosa.de/api/qucosa%3A12363/attachment/ATT-0/
https://ul.qucosa.de/api/qucosa%3A12363/attachment/ATT-0/
Publikováno v:
HDS.Journal - Perspektiven guter Lehre, 2012. :45-47
Wichtiger Teil von Lehrveranstaltungen zur Mathematik und Informatik ist das eigenständige Bearbeiten passender Lösungsaufgaben durch die Studierenden. Woran erkennt man aber eine richtige Lösung einer solchen Aufgabe? Das ist in den exakten Wisse
Externí odkaz:
http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-138166
http://www.qucosa.de/fileadmin/data/qucosa/documents/13816/gr%C3%A4be.pdf
http://www.qucosa.de/fileadmin/data/qucosa/documents/13816/gr%C3%A4be.pdf
Cyp (Check Your Proofs) (Durner and Noschinski 2013; Traytel 2019) verifies proofs about Haskell-like programs. We extended Cyp with a pattern matcher for programs and proof terms, and a type checker. This allows to use Cyp for auto-grading exercises
Externí odkaz:
http://arxiv.org/abs/2009.01326
Autor:
Schwarz, Sibylle, Voigtländer, Janis
Publikováno v:
EPTCS 234, 2017
The Workshops on (Constraint) Logic Programming (WLP) are the annual meeting of the German Society of Logic Programming (Gesellschaft f\"ur Logische Programmierung e.V., GLP) and bring together researchers interested in logic programming, constraint
Externí odkaz:
http://arxiv.org/abs/1701.00148
Autor:
Hitzler, Pascal, Schwarz, Sibylle
Currently, the variety of expressive extensions and different semantics created for logic programs with negation is diverse and heterogeneous, and there is a lack of comprehensive comparative studies which map out the multitude of perspectives in a u
Externí odkaz:
http://arxiv.org/abs/cs/0511038
Publikováno v:
In Theoretical Computer Science 30 May 2017 679:145-161
Autor:
Schwarz, Sibylle, Wenzel, Mario
We present ev3dev-prolog – an extendable Prolog API to control LEGO EV3 robots – and demonstrate our approach by several examples from introductory robotics courses like obstacle avoidance and Braitenberg vehicles as well as a more complex exampl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b557632de4e5040bd918e4ae30926468
Autor:
Schwarz, Sibylle, Voigtländer, Janis
The Workshops on (Constraint) Logic Programming (WLP) are the annual meeting of the German Society of Logic Programming (Gesellschaft f\"ur Logische Programmierung e.V., GLP) and bring together researchers interested in logic programming, constraint
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0c31b6401454a0c2d54e0e7aeff66676
Publikováno v:
HDS.Journal-Perspektiven guter Lehre, 2012, S. 45-47
BASE-Bielefeld Academic Search Engine
BASE-Bielefeld Academic Search Engine
Wichtiger Teil von Lehrveranstaltungen zur Mathematik und Informatik ist das eigenständige Bearbeiten passender Lösungsaufgaben durch die Studierenden. Woran erkennt man aber eine richtige Lösung einer solchen Aufgabe? Das ist in den exakten Wisse
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::070046f101b645d28ba083908fb5e2bd
https://ul.qucosa.de/id/qucosa:12363
https://ul.qucosa.de/id/qucosa:12363
Autor:
Schwarz, Sibylle
We connect Łukasiewicz logic, a well-established many-valued logic, with weighted logics, recently introduced by Droste and Gastin. We use this connection to show that for formal power series with coefficients in semirings derived from standard MV-a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::58c638bb0227dc53f50500a10f850689