Opravné písemky: VL
Completion requirements
Opened: Friday, 13 January 2023, 12:00 AM
Due: Friday, 20 January 2023, 12:00 AM
Opraveno, body zveřejněny, i podrobné body. (Ať víte, co se máte doučit)
Max. bodů 12: 1, 1, 3, 1, 1 / 3, 1, 1
Příklady (pro připomenutí): 1a) Formalizovat 'sněžení', b) příprava rezoluce, na klauzule, c) rezoluce, d) modely, e) počet nezávislých výroků ; 2a) tablo, b) extenze na JKE, c) nekonzervativní extenze