Not logged in. · Lost password · Register

Redawt
El Presidente
Avatar
Member since Nov 2017
21 posts
Subject: COQ in der Klausur
Hi Leute,

weiß jemand von euch ob COQ Klausurrelevant, oder nur Übungsrelevant ist?
In der Übungsklausur kommt keine COQ-Aufgabe vor soweit ich gesehen habe.
Error 410: Beitragssignatur dauerhaft aufgrund von Geschmacklosigkeit entfernt.
Horsccht
Member since Dec 2016
68 posts
nein :D
also. einfach nein. :D
oder: ich vermute sehr stark, dass in der klausur - sofern es nicht zu krassen umstrukturierungen seitens des lehrstuhls kommt - kein coq kommt. aber das ist nur meine sehr starke vermutung und keine verbindliche aussage ;)
Marcel[Inf]
#faui2k15, GTI-Tutor a. D.
Member since Nov 2015
379 posts
(Ich fande damals, dass Coq wesentlich zum Verständnis beigetragen hat ;) Falls bei dir die Zeit und die Lust es zulassen, würde ich es dir übungshalber, aber nicht klausurhalber, echt empfehlen.)
Boolian
Member since Jul 2018
3 posts
Laut VL und Probeklausur ist COQ teil der Klausur,
aber nicht als Freibeweis, man soll stattdessen anhand des beweises, der gegeben ist, erkären was er tut.
Close Smaller – Larger + Reply to this post:
Verification code: VeriCode Please enter the word from the image into the text field below. (Type the letters only, lower case is okay.)
Smileys: :-) ;-) :-D :-p :blush: :cool: :rolleyes: :huh: :-/ <_< :-( :'( :#: :scared: 8-( :nuts: :-O
Special characters:
Go to forum
Datenschutz | Kontakt
Powered by the Unclassified NewsBoard software, 20150713-dev, © 2003-2011 by Yves Goergen