Logika z elementami metodologii [08-KUDL-LEM] Semestr zimowy 2017/2018
Zajęcia laboratoryjne, grupa nr 7
Moodle ID: 268738_7

zaznaczono terminy wyświetlanej grupy

To jest strona grupy zajęciowej. Jeśli szukasz opisu przedmiotu, zobacz stronę przedmiotu

Przedmiot:

Logika z elementami metodologii [08-KUDL-LEM]

Zajęcia:

Semestr zimowy 2017/2018 [2017/SZ] (zakończony)
Zajęcia laboratoryjne [LAB], grupa nr 7 [pozostałe grupy]

Termin i miejsce:

Podana informacja o terminie jest orientacyjna. W celu uzyskania pewnej informacji obejrzyj kalendarz roku akademickiego lub skontaktuj się z wykładowcą (nieregularności zdarzają się przede wszystkim w przypadku zajęć odbywających się rzadziej niż co tydzień).

każdy czwartek, 16:45 - 18:15
sala 12
Szamarzewskiego 89 bl. AB jaki jest adres?

Terminy najbliższych spotkań:

Daty odbywania się zajęć grupy. Prezentują informacje na podstawie zdefiniowanych w USOS terminów oraz spotkań.
Kliknij w datę by zobaczyć tygodniowy plan z zaznaczonym spotkaniem.

Wszystkie zajęcia tej grupy już się odbyły - pokaż terminy wszystkich spotkań.

Data i miejsce	Prowadzący
2017-10-05 16:45 : 18:15 sala 12 Szamarzewskiego 89 bl. AB
2017-10-12 16:45 : 18:15 sala 12 Szamarzewskiego 89 bl. AB
2017-10-19 16:45 : 18:15 sala 12 Szamarzewskiego 89 bl. AB
2017-10-26 16:45 : 18:15 sala 12 Szamarzewskiego 89 bl. AB
2017-11-02 16:45 : 18:15 sala 12 Szamarzewskiego 89 bl. AB
2017-11-09 16:45 : 18:15 sala 12 Szamarzewskiego 89 bl. AB
2017-11-16 16:45 : 18:15 sala 12 Szamarzewskiego 89 bl. AB
2017-11-23 16:45 : 18:15 sala 12 Szamarzewskiego 89 bl. AB
2017-11-30 16:45 : 18:15 sala 12 Szamarzewskiego 89 bl. AB
2017-12-07 16:45 : 18:15 sala 12 Szamarzewskiego 89 bl. AB
2017-12-14 16:45 : 18:15 sala 12 Szamarzewskiego 89 bl. AB
2017-12-21 16:45 : 18:15 sala 12 Szamarzewskiego 89 bl. AB
2017-12-28 16:45 : 18:15 sala 12 Szamarzewskiego 89 bl. AB
2018-01-04 16:45 : 18:15 sala 12 Szamarzewskiego 89 bl. AB
2018-01-11 16:45 : 18:15 sala 12 Szamarzewskiego 89 bl. AB
2018-01-18 16:45 : 18:15 sala 12 Szamarzewskiego 89 bl. AB
2018-01-25 16:45 : 18:15 sala 12 Szamarzewskiego 89 bl. AB

Liczba osób w grupie:

Limit miejsc:

Zaliczenie:

Zaliczenie z notą

Prowadzący:

Katarzyna Machtyl

Literatura:

B. Stanosz, Ćwiczenia z logiki

Zakres tematów:

1/ wprowadzenie do klasycznego rachunku zdań

2/ budowa logicznych schematów zdań w KRZ

3/ sprawdzanie tautologiczności formuł metodą:

- zerojedynkową

- tabelkową

- skróconą

4/ pojęcie dowodu; reguły inferencyjne; prawa logiczne

5/ dowodzenie wprost

6/ dowodzenie nie wprost

Metody dydaktyczne:

- praca studenta przy tablicy

Metody i kryteria oceniania:

dwa kolokwia zaliczeniowe na ocenę w ciągu semestru (1/ budowa logicznych schematów zdań; sprawdzanie tautologiczności formuł trzema metodami – połowa listopada; 2/ dowodzenie wprost i nie wprost – koniec grudnia/początek stycznia) – ocena końcowa z ćwiczeń jest średnią ocen z obu kolokwiów

Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet im. Adama Mickiewicza w Poznaniu.

Logika z elementami metodologii [08-KUDL-LEM] Semestr zimowy 2017/2018 Zajęcia laboratoryjne, grupa nr 7 Moodle ID: 268738_7

Logika z elementami metodologii [08-KUDL-LEM] Semestr zimowy 2017/2018
Zajęcia laboratoryjne, grupa nr 7
Moodle ID: 268738_7