Uniwersytet Marii Curie-Skłodowskiej w Lublinie - Centralny System Uwierzytelniania
Strona główna

Logika F-K.92
Konwersatorium (KW) Semestr zimowy 2024/2025

Informacje o zajęciach (wspólne dla wszystkich grup)

Liczba godzin: 30
Limit miejsc: (brak limitu)
Sposób weryfikacji efektów kształcenia: Egzamin: sprawdzian pisemny
Literatura:

B. Stanosz, Wprowadzenie do logii formalnej

A, Tarski, Wprowadzenie do logiki

W. Pogorzelski, Elementarny słownik logiki formalnej,

W. Marciszewski, Mała encyklopedia logiki

Efekty uczenia się:

K_W02 Zna i definiuje elementarną terminologię z zakresu logiki.

K_W03 Zna podstawowe metody badań w zakresie logiki zasady formułowania i uzasadniania tez. Zna metody badań i narzędzia w

zakresie logiki

K_W04 Zna strukturę logiczną języka. Rozumie podstawowe pojęcia syntaktyczne i semantyczne oraz wyjaśnia ich wzajemne relacje.

K_U01 Potrafi wyszukiwać, selekcjonować, analizować i oceniać informacje przy wykorzystaniu różnych źródeł i metod.

K_U03 Potrafi analizować teksty z zakresu logiki.

K_U10 Potrafi podjąć dyskusję w zakresie logiki.

K_K01 Jest przygotowany do krytycznej oceny własnej i dostępnej powszechnie wiedzy; w dyskusjach przejawia postawę

konstruktywnego krytycyzmu.

Zakres tematów:

Poznanie podstaw logiki klasycznej, w szczególności klasycznego rachunku zdań i rachunku zbiorów, ich związków z rozumowaniami

formułowanymi w języku potocznym. Schematy zdań, spójniki zdaniowe, notacje klasyczna i beznawiasowa, wartość logiczna,

wyznaczanie wartości logicznych, sprawdzanie tautologiczności i kontrtautologiczności schematów, prawa rachunku zdań, dowody

aksjomatyczne, dowody zalożeniowe, rozumowania dedukcyjne, schematy rachunku predykatów, tautologie i kontrtautologie rachunku

predykatów, prawa rachunku predykatów, wnioskowania dedukcyjne .Wprowadzenie do rachunku zbiorów, definicje podstawowych pojęć,

relacje między zbiorami, działania na zbiorach, relacje, własności formalne relacji, funkcje.

Metody dydaktyczne:

Rozwiązywanie zadań

Grupy zajęciowe

zobacz na planie zajęć

Grupa Termin(y) Prowadzący Miejsca Liczba osób w grupie / limit miejsc Akcje
1 każdy piątek, 9:40 - 11:10, sala 201
Andrzej Nowakowski 21/21 szczegóły
2 każdy piątek, 11:20 - 12:50, sala 201
Andrzej Nowakowski 23/21 szczegóły
3 każdy wtorek, 11:20 - 12:50, sala 301
Kamil Lemanek 21/21 szczegóły
4 każdy wtorek, 13:00 - 14:30, sala 240
Kamil Lemanek 21/21 szczegóły
5 każdy wtorek, 14:40 - 16:10, sala 301
0/21 szczegóły
Wszystkie zajęcia odbywają się w budynku:
Wydział Filozofii i Socjologii
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Marii Curie-Skłodowskiej w Lublinie.
kontakt deklaracja dostępności mapa serwisu USOSweb 7.1.1.0