LOG1 2013/2014

Sylabus i warunki zaliczenia.
4.10 (PŁ) KRZ #1
11.10 ZAJĘCIA ODWOŁANE (WYJAZD KONFERENCYJNY)

18.10 (PŁ) KRZ#2
25.10 (PŁ) KRZ (tabele analityczne) [spoiler title=”Przed zajęciami”  open=”no” spoiler style=”fancy”]Proszę rozwiązać zadanie 1 oraz 2a-c. [/spoiler]
8.11 (PŁ) KRZ (tabele analityczne) [spoiler title=”Przed zajęciami” open=”no” spoiler style=”fancy”] Wiadomo, że jeśli nie ma chmur, to nie ma deszczu. Sprawdź (za pomocą metody tabel analitycznych) czy wynika stąd logicznie, że:  (1) jeśli jest deszcz, to są chmury.     (2) jeśli są chmury, to jest deszcz.[/spoiler]
15.11 (PŁ) Dowód i dowodzenie w KRZ
[spoiler title=”Przed zajęciami”  open=”no” spoiler style=”fancy”]Proszę przygotować rozwiązania zadań 1 (a-d) oraz 2 (a).[/spoiler]

[spoiler title=”Zadanie domowe (3 pkt)”  open=”no” spoiler style=”fancy”]

Zadanie domowe oraz pliki potrzebne do jego wykonania (w OOffice lub LaTeX) (LINK)

TERMIN: 16. listopada do godziny 12:00
[/spoiler]

22.11 (PŁ) KOLOKWIUM #1
29.11 (PŁ) Koniunkcyjne Postaci Normalne

[spoiler title=”Przed zajęciami”  open=”no” spoiler style=”fancy”]Proszę rozwiązać zadania: 1(a) oraz 2 i 4. Proszę się również zastanowić:

  • Kiedy powiemy, że formuła o postaci alternatywy elementarnej jest tautologią?
  • Kiedy powiemy, że formuła o koniunkcyjnej postaci normalnej jest tautologią?

[/spoiler]
6.12 (PŁ) Język KRP

[spoiler title=”Przed zajęciami”  open=”no” spoiler style=”fancy”]Proszę rozwiązać zadania: 1-13[/spoiler]
13.12 (PŁ) Dowód i dowodzenie w KRP

[spoiler title=”Przed zajęciami”  open=”no” spoiler style=”fancy”]Proszę rozwiązać zadania: 1 (a-c) oraz 2 (a-c)[/spoiler]
16.12 (PŁ) KOLOKWIUM #2

[spoiler title=”Sala 310 Ogrody”  open=”no” spoiler style=”fancy”]

Grupy 1 i 3: 13:10-14:00

Grupa 2: 14:00-14:50

[/spoiler]
20.12 (DL-J) Elementy metalogiki 1
10.01 (DL-J) Elementy metalogiki 2

[spoiler title=”Przed zajęciami”  open=”no” spoiler style=”fancy”]Zadania do rozwiązania przed zajęciami.[/spoiler]
17.01 (DL-J) Semantyka teoriomodelowa 1
24.01 (DL-J) Semantyka teoriomodelowa 2
31.01 (DL-J) [highlight]KOLOKWIUM #3[/highlight]

[highlight]Kolokwium odbędzie się w godzinach 8:00-9:30 w sali kinowej (dla wszystkich grup).[/highlight]

Wykład z Episemologii odbędzie się w godzinach 11:15-12:45 w sali 209 (Międzychodzka)

7.02 [highlight background=”#ffda99″]Kolokwium poprawkowe[/highlight]

8:00-9:30 Sala Kinowa.

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