You are not logged in.

6oeser6u6e

Junior Schreiberling

  • "6oeser6u6e" is male
  • "6oeser6u6e" started this thread

Posts: 217

Date of registration: Mar 10th 2004

Location: Wolfsburg; Wohnort: Hannover-Nordstadt

Occupation: um Abstand zu der dämlichen Masse zu gewinnen... naja und wegen Geld ;P

1

Sunday, July 3rd 2005, 1:58pm

Logik-koffer???

Moin!
wie is das eigentlich mit Logik?
was für Hilfsmittel sind zugelassen? (Kofferklausur)???
bin schon seit der 3. vorlesung nich mehr dagewesen und höre in der übung meistens nicht zu...
schon mal vorab entschuldigung für die blöde frage -.-
Unwissenheit ist ein Segen

Ray-D

Alter Hase

  • "Ray-D" is male

Posts: 690

Date of registration: Oct 9th 2002

Location: Zimbabwe-Island Ost Beiträge: 3.427

Occupation: Informatiker

2

Sunday, July 3rd 2005, 4:51pm

ich glaube dem war so als ich die klausur schrieb, und wenn dem so war, dann hat sich sicherlich nichts geändert ;). ich bin mir sehr sicher, dass ich meine übungsmaterialien dabei hatte.

viel erfolg!
"ob ich alles weiss, was wir wissen, weiss ich auch nicht, aber ich weiss natürlich niemand von uns weiss etwas was er nicht weiss" - Wolgang Schäuble
Freiheit wird nicht erbettelt, sondern erkämpft


Dieser Beitrag wurde bereits 7 mal editiert, zuletzt von »Ray-D« (Heute, 04:29)

This post has been edited 2 times, last edit by "Ray-D" (Jul 3rd 2005, 4:53pm)


Sinan

Senior Schreiberling

  • "Sinan" is male

Posts: 1,021

Date of registration: Jul 5th 2003

Location: Malaga

Occupation: Senior Cloud Solution Engineer bei Oracle

3

Sunday, July 3rd 2005, 7:29pm

stimmt, es hat sich nichts geändert.
Wir haben Herrn Holz in der letzten Übungsstunde gefragt, es ist eine Kofferklausur.
With great power comes great responsibility

Uprooter

Junior Schreiberling

  • "Uprooter" is male

Posts: 249

Date of registration: Oct 7th 2003

Occupation: Angw. Inf.

4

Sunday, July 3rd 2005, 8:23pm

weiss einer wieso in der Ü8 d die anzahl der möglichen substitutionen bzw formeln =9 und nicht 8 ist?

Mac

Papa

  • "Mac" is male

Posts: 645

Date of registration: Oct 17th 2002

Location: Hannover

Occupation: IT Freelancer

5

Sunday, July 3rd 2005, 10:46pm

Hast du den all Quantor mit x4 bedacht, weil im ersten Term x4 frei vorkommt? Hast du x1 und x2 im zweiten Term umbenannt? etc.

Uprooter

Junior Schreiberling

  • "Uprooter" is male

Posts: 249

Date of registration: Oct 7th 2003

Occupation: Angw. Inf.

6

Sunday, July 3rd 2005, 11:10pm

sprechen wir von der selben aufg? Übung 8 aufg 1 d meine ich, da muss man nix umbennennen sondern die anzahl der elemente der Herbrand-Expansion bestimmen wobei nur mit den Elementen Aus D^0(F) substituiert werden soll.

htk

Erfahrener Schreiberling

Posts: 262

Date of registration: Oct 16th 2003

7

Tuesday, July 5th 2005, 8:42pm

Quoted

Original von Uprooter
weiss einer wieso in der Ü8 d die anzahl der möglichen substitutionen bzw formeln =9 und nicht 8 ist?

Darüber hab ich mich auch schon gewundert. In der Hausübung hab ich 8 geschrieben und volle Punktzahl bekommen...
surfs in mysterious ways