• Keine Ergebnisse gefunden

¨Ubungsgruppen Diskrete Modellierung WS12/13 Bitte suchen Sie in der Liste Ihre Matrikelnummer um zu erfahren, welcher ¨Ubungsgruppe Sie zugeordnet sind.

N/A
N/A
Protected

Academic year: 2021

Aktie "¨Ubungsgruppen Diskrete Modellierung WS12/13 Bitte suchen Sie in der Liste Ihre Matrikelnummer um zu erfahren, welcher ¨Ubungsgruppe Sie zugeordnet sind."

Copied!
3
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Ubungsgruppen Diskrete Modellierung WS12/13¨

Bitte suchen Sie in der Liste Ihre Matrikelnummer um zu erfahren, welcher Ubungsgruppe Sie zugeordnet sind.¨

Gruppe 1, ¨UL: Mario Holldack

Dienstag, 10:00-12:00 Uhr (NM 125)

3446054 3446320 3592766 3796995 3857179 3880876 3950717 4027940 4188685 4198361 4255000 4293088 4293570 4293952 4423528 4437509 4566773 4603995 4632885 4660226 4825090 4868523 4889984 4911218 4928052 4931023 4956309 4983026 5003358 5043237 5051096 5058387 5058390 5061989 5067428 5067794 5165694 5166356 5169137 5185331 5192418 5203844 5222443 5222621

Gruppe 2, ¨UL: Jens Keppeler

Mittwoch, 12:00-14:00 Uhr (AfE 122)

1868791 4110958 4238551 4293457 4458612 4554646 4556026 4567471 4586245 4590053 4669793 4672191 4678317 4678454 4678546 4678690 4678768 4678805 4678843 4678867 4678881 4840426 4893831 4905305 4905826 4905839 4910714 4910921 4928188 4942805 4949798 5002702 5014541 5017881 5020250 5027046 5037272 5052228 5057388 5060919 5062027 5065383 5066104 5163560 5165885 5171154 5171918 5191312

Gruppe 3, ¨UL: Sorin Constantinescu Donnerstag, 10:00-12:00 Uhr (AfE 102b)

1952946 3403109 3409938 3794465 3925506 4020529 4280211 4309503 4469948 4615572 4647838 4674018 4679204 4713005 4792440 4885700 4929297 4934295 4953467 4957214 4961019 4971119 4971177 4974527 4997180 5005505 5008214 5040036 5046920 5055762 5057443 5061170 5063194 5169519 5171507 5189887 5189900 5196870 5196919 5219090 5225631

1

(2)

Gruppe 4, ¨UL: Mario Holldack Montag, 14:00-16:00 Uhr (NM 113)

2664046 3395372 3474390 3486045 3583485 3687721 3751204 3763124 3797882 3886874 3984136 4032010 4183583 4324342 4483393 4489436 4493419 4498171 4561121 4576116 4576802 4658186 4691860 4870317 4878911 4885959 4909851 4909903 4918075 4923196 4962296 4969985 5020784 5033108 5060951 5061060 5061280 5062768 5196854

Gruppe 5, ¨UL: Norman Sutatyo

Dienstag, 10:00-12:00 Uhr (AfE 104b)

3362693 3508473 3681633 3755349 3852819 3930601 4020895 4117843 4228480 4242178 4333041 4425131 4476216 4505446 4547792 4673352 4675143 4866321 4867977 4868976 4878982 4881814 4884099 4884662 4909864 4919676 4922692 4941534 4953302 4954097 4990268 5006025 5041488 5044142 5059315 5065697 5172030 5180129 5190410 5191781 5191888 5203857 5219100

Gruppe 6, ¨UL: Christoph Burschka Mittwoch, 12:00-14:00 Uhr (AfE 902)

2663607 3905953 3944668 4010216 4547802 4562515 4577458 4631886 4650702 4660734 4678850 4679044 4784445 4786591 4786621 4786652 4802437 4813497 4838713 4868879 4874313 4882392 4887452 4889418 4928146 4933490 4961213 4970699 4972778 4980786 4988979 4994293 5019481 5023516 5033072 5057249 5058374 5060281 5066120 5168895 5179978

2

(3)

Gruppe 7, ¨UL: Sofie van Geene

Donnerstag, 10:00-12:00 Uhr (AfE 902)

2183077 2767529 2873176 3047374 3250718 3561986 3849420 3856594 3898905 3906619 3915040 3964606 4286888 4312150 4422574 4454254 4480118 4491660 4518996 4530259 4568878 4612782 4802259 4821748 4836005 4859862 4872580 4878869 4935676 4953742 4962047 4990297 4991241 4991908 5014347 5045235 5061921 5065668 5151297 5171235 5191697 5217021 5217694 5222566 5223581

3

Referenzen

ÄHNLICHE DOKUMENTE

(c) Geben Sie eine unerfüllbare Klauselmenge an, für die eine Ableitung der leeren Klausel zwar mit der Einheitsresolution möglich ist, für welche aber jede solche Ableitung länger

Prof. ¨ Ubung Mathematische Logik Abgabe : bis Freitag, den 23.5. .) die G¨ ultigkeit aller Pr¨ amis- sen die G¨ ultigkeit der Konklusion impliziert. ¨ Ubung 2, Aufgabe 1), zu

(a) nach h¨ ochstens zwei Schritten verloren hat, unabh¨ angig davon, wie sein Gegner spielt;. (b) eine Gewinnstrategie hat, welche in h¨ ochstens n Schritten zum Sieg f¨ uhrt (f¨

Zeigen Sie, dass man jeder endlichen Kripkestruktur K, jedem Zustand v in K und jeder Formel ψ ∈ ML in Negationsnormalform, ein Spiel MC(K, v, ψ) der Gr¨ oße ||K|| · |ψ|

Mathematische Grundlagen der Informatik RWTH

Mathematische Grundlagen der Informatik RWTH

Ein Spieler gewinnt ein solches Spiel, falls sein Gegner nicht mehr

• Geben Sie bitte auf jedem Blatt Ihren Namen, Ihre Matrikelnummer und Ihre ¨ Ubungsgruppe mit an ( ¨ Ubungsgruppe 1: Andreas Groll, ¨ Ubungsgruppe 2: Andr´ e Klima, ¨ Ubungsgruppe