Uniwersytet Warszawski, Wydział Fizyki - Centralny System Uwierzytelniania
Strona główna

Logika I [3800-L1-DON-ZK] Rok akademicki 2023/24
Ćwiczenia, grupa nr 6

Przejdź do planu zaznaczono terminy wyświetlanej grupy
To jest strona grupy zajęciowej. Jeśli szukasz opisu przedmiotu, zobacz stronę przedmiotu
Przedmiot: Logika I [3800-L1-DON-ZK]
Zajęcia: Rok akademicki 2023/24 [2023] (w trakcie)
Ćwiczenia [CW], grupa nr 6 [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 wtorek, 16:45 - 18:15
sala 108 J. Łukasiewicza
Budynek dydaktyczny - Krakowskie Przedmieście 3 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.
Data i miejsceProwadzący
2024-05-28 16:45 : 18:15 sala 108 J. Łukasiewicza
Budynek dydaktyczny - Krakowskie Przedmieście 3
2024-06-04 16:45 : 18:15 sala 108 J. Łukasiewicza
Budynek dydaktyczny - Krakowskie Przedmieście 3
2024-06-11 16:45 : 18:15 sala 108 J. Łukasiewicza
Budynek dydaktyczny - Krakowskie Przedmieście 3
Część spotkań jest ukryta - pokaż terminy wszystkich spotkań.
Liczba osób w grupie: 19
Limit miejsc: 25
Zaliczenie: Zaliczenie na ocenę
Prowadzący: Maciej Sendłak, Arkadiusz Wójcik
Literatura:

Ludwik Borkowski, Wprowadzenie do logiki i teorii mnogości;

Andrzej Grzegorczyk, Zarys logiki matematycznej;

Wojciech Guzicki, Piotr Zakrzewski, Wykłady ze wstępu do matematyki;

Teresa Hołówka, Kultura logiczna w przykładach;

Mieczysław Omyła, Zarys logiki;

Helena Rasiowa, Wstęp do matematyki współczesnej;

Barbara Stanosz, Wprowadzenie do logiki formalnej: podręcznik dla humanistów;

Barbara Stanosz, Ćwiczenia z logiki;

Krzysztof Wieczorek, Wprowadzenie do logiki dla studentów wszystkich kierunków.

Zakres tematów:

- 1 Wprowadzenie

Podstawowe informacje o logice. Zdania w sensie logiki. Performatywy. Kategorie syntaktyczne wyrażeń. Defekty semiotyczne. Związki analityczne między zdaniami.

- 2 Klasyczny rachunek zdań

Alfabet, definicja formuły, funktory prawdziwościowe. Odtwarzanie schematów zdań języka naturalnego. Funkcja wartościowania. Tautologie i kontrtautologie. Wynikanie logiczne na gruncie klasycznego rachunku zdań. Twierdzenie o dedukcji. Aksjomatyczne ujęcie rachunku zdań. Dowody założeniowe. Najważniejsze własności metalogiczne.

- 3 Klasyczny rachunek predykatów

Alfabet, definicja formuły. Odtwarzanie schematów zdań z języka naturalnego, odczytywanie formuł. Podstawowe idee semantyki rachunku predykatów. Wybrane źródła tautologiczności, wykazywanie nietautologiczności formuł. Dowody założeniowe. Najważniejsze własności metalogiczne. Arytmetyka Peany jako przykład teorii pierwszego rzędu.

- 4 Teoria mnogości

Podstawowe pojęcia, relacje i działania na zbiorach. Diagramy Venna. Dowody elementarnych praw rachunku zbiorów. Podział logiczny zbiorów, typologie. Antynomia Russella. Własności formalne relacji binarnych oraz zależności między nimi. Relacja równoważności, klasa abstrakcji, relacje porządkujące. Funkcje i ich rodzaje. Pojęcie funkcji odwrotnej, pojęcie obrazu i przeciwobrazu. Twierdzenie Cantora.

- 5 Nazwy i definicje

Klasyfikacje nazw. Stosunki zakresowe między nazwami. Klasyfikacje oraz warunki poprawności definicji.

Kolejność omawianych zagadnień może ulec zmianie. Program może zostać nieznacznie zmodyfikowany w trakcie roku akademickiego.

Metody i kryteria oceniania:

Aby zaliczyć ćwiczenia, należy spełnić następujące warunki:

- 1 zaliczenie kolokwiów semestralnych,

- 2 uzyskanie średniej przynajmniej 51% z ocenianych testów zamieszczonych na platformie Kampus,

- 3 nieusprawiedliwiona nieobecność co najwyżej na dwóch zajęciach w semestrze.

Ocena uzyskana w oparciu o wyniki kolokwiów może zostać podniesiona maksymalnie o jeden stopień na podstawie punktów zdobytych za wejściówki i prace domowe. Za każdy semestr można otrzymać łącznie 50 punktów.

Dopuszczalna liczba nieobecności podlegających usprawiedliwieniu: 2 w semestrze

Uwagi:

Ćwiczenia do wykładu prof. Wójtowiczów

Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Warszawski, Wydział Fizyki.
ul. Pasteura 5, 02-093 Warszawa tel: +48 22 5532 000 https://www.fuw.edu.pl/ kontakt deklaracja dostępności USOSweb 7.0.3.0 (2024-03-22)