LOG1 2014/2015

LOGIKA 1

 

 

 

[wpdm_file id=9][wpdm_file id=12]

wtorki (sala 310, budynek D)

  • 8:00-9:30 gr. 1
  • 9:45-11:15 gr. 2
  • 13:15-14:45 gr. 3

 

  1. 7.10. KRZ #1: zadania
  2. 14.10. KRZ #2: zadania
  3. 21.10. Tabele analityczne #1: zadania. Proszę przygotować rozwiązania zadań: 1 (a)-(c) oraz 2 (a)
  4. 28.10. Tabele analityczne #2
  5. 4.11. Dowody aksjomatyczne KRZ: zadania; prezentacja
  6. 13.11. [su_highlight background=”#ffd299″]KOLOKWIUM #1[/su_highlight]
  7. 18.11. Koniunkcyjne postaci normalne: zadaniaProszę przygotować rozwiązania zadań 2 oraz 4.
  8. 25.11. Język KRP: zadania.  Proszę przygotować rozwiązania zadań 1–13.
  9. 2.12. Aparat dedukcyjny KRP: zadania. Proszę przygotować rozwiązania zadań 1. (a, b, c) oraz 2. (a, b).
  10. 4.12. [su_highlight background=”#ffd299″]KOLOKWIUM #2[/su_highlight]
  11. 9.12. Elementy metalogiki 1: zadania.
  12. 16.12. Elementy metalogiki 2: zadania.
  13. 13.01. Przed zajęciami: zadania. Semantyka teoriomodelowa 1: zadania.
  14. 20.01. Semantyka teoriomodelowa 2: zadania.
  15. 27.01. [su_highlight background=”#ffd299″]KOLOKWIUM #3[/su_highlight]

 

 

Reklamy

Skomentuj

Proszę zalogować się jedną z tych metod aby dodawać swoje komentarze:

Logo WordPress.com

Komentujesz korzystając z konta WordPress.com. Wyloguj / Zmień )

Zdjęcie z Twittera

Komentujesz korzystając z konta Twitter. Wyloguj / Zmień )

Zdjęcie na Facebooku

Komentujesz korzystając z konta Facebook. Wyloguj / Zmień )

Zdjęcie na Google+

Komentujesz korzystając z konta Google+. Wyloguj / Zmień )

Connecting to %s