Some Properties 1. ∆n is consistent. 2. Γ ⊆ ∆n ⊆ ∆n+1 ⊆ ∆Γ 3. ∆Γ is complete. 4. If ∆Γ ` A then there exists n ∈ N such that ∆n ` A. 5. A ∈ ∆Γ iff ∆Γ ` A 6. ∆Γ is consistent
Homework II (cont’d): Ch. 6 problems 6, 7, 8 (optionally 10) and Ch. 7 problems 3, 6, 7, 9, 10 (optionally 12) a useful site: www.cbi.pku.edu.cn Use blast search in database swissprot PDB is available on this site. Rasmol is available for Win98 if you don’t want to download Chemscape