- Stahuj zápisky z přednášek a ostatní studijní materiály
- Zapisuj si jen kvalitní vyučující (obsáhlá databáze referencí)
- Nastav si své předměty a buď stále v obraze
- Zapoj se svojí aktivitou do soutěže o ceny
- Založ si svůj profil, aby tě tví spolužáci mohli najít
- Najdi své přátele podle místa kde bydlíš nebo školy kterou studuješ
- Diskutuj ve skupinách o tématech, které tě zajímají
Studijní materiály
Pisemka_9_1_2009_UTF8
Zjednodušená ukázka:
Stáhnout celý tento materiálazyk prvního řádu (predikátový). Rozhodněte a dokažte, zda v každém modelu jazyka L platí
(F P) -> (Ex F Ex P) F, P jsou nějaké formule jazyka L
5) T1, T2,.... jsou sporné, každá T_i je nadmnožinou a není rovna T_i+1. Nechť S je průnik těchto množin od 1 do nekonečna.
Rozhodněte zda:
S je sporná
S je bezesporná
6) Máme jazyk s un. predikát
Vloženo: 25.04.2009
Velikost: 1,14 kB
Komentáře
Tento materiál neobsahuje žádné komentáře.
Copyright 2025 unium.cz
