- 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_04_06_2008
Zjednodušená ukázka:
Stáhnout celý tento materiálIA008 exam 2008-06-04
author: lubik
--------------------------------------------------------------------------------------------------------------
1) Prove that A follows from the set of premises expressed in the clausal form:
{ { not B, not D, A, not C }, { B, not D}, { not C, B, not A }, { C, not B }, { C }, { not C, D } }
15 points
--------------------------------------------------------------------------------------------------------------
2) Using tableau prove or reject that phi follow from:
(All)x(All)y ((Q(
Vloženo: 25.04.2009
Velikost: 1,59 kB
Komentáře
Tento materiál neobsahuje žádné komentáře.
Copyright 2025 unium.cz
