Uniwersytet w Białymstoku - Centralny System Uwierzytelniania
Strona główna

Logika formalna

Informacje ogólne

Kod przedmiotu: 0500-KS1-1LOF
Kod Erasmus / ISCED: 14.951 Kod klasyfikacyjny przedmiotu składa się z trzech do pięciu cyfr, przy czym trzy pierwsze oznaczają klasyfikację dziedziny wg. Listy kodów dziedzin obowiązującej w programie Socrates/Erasmus, czwarta (dotąd na ogół 0) – ewentualne uszczegółowienie informacji o dyscyplinie, piąta – stopień zaawansowania przedmiotu ustalony na podstawie roku studiów, dla którego przedmiot jest przeznaczony. / (brak danych)
Nazwa przedmiotu: Logika formalna
Jednostka: Instytut Socjologii i Kognitywistyki
Grupy:
Punkty ECTS i inne: (brak) Podstawowe informacje o zasadach przyporządkowania punktów ECTS:
  • roczny wymiar godzinowy nakładu pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się dla danego etapu studiów wynosi 1500-1800 h, co odpowiada 60 ECTS;
  • tygodniowy wymiar godzinowy nakładu pracy studenta wynosi 45 h;
  • 1 punkt ECTS odpowiada 25-30 godzinom pracy studenta potrzebnej do osiągnięcia zakładanych efektów uczenia się;
  • tygodniowy nakład pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się pozwala uzyskać 1,5 ECTS;
  • nakład pracy potrzebny do zaliczenia przedmiotu, któremu przypisano 3 ECTS, stanowi 10% semestralnego obciążenia studenta.

zobacz reguły punktacji
Język prowadzenia: polski
Rodzaj przedmiotu:

obowiązkowe

Wymagania (lista przedmiotów):

Konceptualizacja i definiowanie 0500-KS1-1KOD
Semiotyka kognitywna 0500-KS1-1SEK

Założenia (opisowo):

Student powinien mieć podstawową wiedzę na temat:

1. znaku i jego wymiarów semantycznego, syntaktycznego i pragmatycznego

2. języka (pojęcie wyrażenia, znać kategorie wyrażeń)

3. sposobów definiowania

4. zasad poprawaności definiowania.

Tryb prowadzenia przedmiotu:

w sali

Skrócony opis:

Przedmiotem zajęć jest logika formalna w zakresie klasycznej logiki zdań i klasycznej logiki predykatów. Student winien nabyć pojęcie rachunku logicznego i sprawnie wykorzystać metody sprawdzania tautologiczności formuł.

Literatura:

1. Trzęsicki K., Logika i teoria mnogości. Ujęcie systematyczno-historyczne, Warszawa Exit 2003

Efekty uczenia się:

Student powinien nabyć podstawowe pojęcia klasycznego rachunku zdań i klasycznego rachunku predykatów. Powinien znać i umieć dowodzić podstawowe twierdzenia obu rachunków. Student powinien nabyć umiejętność sprawdzania tautologiczności formuł języka klasycznego rachunku zdań i klasycznego rachunku predykatów.

Metody i kryteria oceniania:

Ocenie podlega wiedza w zakresie znajomości podstawowych pojęć klasycznego rachunku zdań i klasycznego rachunku predykatów wraz ze znajomością podstawowych twierdzeń i sposobów ich dowodzenia. Oceniane są kompetencje studenta w zakresie psrawdzania tautologiczności formuła języka klasycznej logiki zdań i klasycznej logiki predykatów.

Ocena jest określana na podstawie pisemnych sprawdzianów z zakresu wymaganej wiedzy oraz z zakresu wymaganych kompetencji. Szczegółowe kryteria oceniana poszczególnych sprawdzianów podawane są bezpośrednio studentom.

Przedmiot nie jest oferowany w żadnym z aktualnych cykli dydaktycznych.
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet w Białymstoku.
ul. Świerkowa 20B, 15-328 Białystok tel: +48 85 745 70 00 (Centrala) https://uwb.edu.pl kontakt deklaracja dostępności USOSweb 7.0.3.0-1 (2024-04-02)