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

Logika F-K.92
Wykład (W) 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 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.

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, 8:00 - 9:30, sala Aula
Andrzej Nowakowski 85/120 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.0.0-96c5a8fb3 (2024-10-22)