Logika (różnice programowe) 2012

16:00-20:00, sala 61

Sylabus i warunki zaliczenia

  1. 2 marca:  Język jako system znaków [wykład]. Definicje i podział logiczny [wykład]. [ZADANIA]
  2. 9 marca: Elementy Klasycznego Rachunku Zdań [wykład]. Klasyfikacja wnioskowań 1: wnioskowania dedukcyjne [wykład]. [ZADANIA]
  3. 30 marca: Klasyfikacja wnioskowań 2: wnioskowania uprawdopodabniające [wykład]. Indukcja eliminacyjna. Uzasadnianie twierdzeń [wykład]. [ZADANIA]
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