- 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
Zjednodušená ukázka:
Stáhnout celý tento materiál1) Dokážte že L(|) je plnohodnotný. Vycházíme z L(AND, OR, NOT) je plnohodnotný
2) Ukažte teorii, jejíž modely jsou pouze nekonečné
3) Odvozovací systém: axiom Phi -> not not Phi, pravidlo z Phi -> Psi odvoď Psi. L(IMPL, NOT).
Ukažte zda platí věta o korektnosti a úplnosti (každá Phi_i je z T, instance axiomu nebo odvozena pravidlem)
4) Nechť L je j
Vloženo: 25.04.2009
Velikost: 1,14 kB
Komentáře
Tento materiál neobsahuje žádné komentáře.
Copyright 2024 unium.cz