4742460272

ALMAMER Szkoła Wyższa WYDZIAŁ OCHRONY ZDROWIA Kierunek: Kosmetologia

Karta opisu przedmiotu

1. Informacja ogólna:

Nazwa przedmiotu: Logika				Blok modułu: ogólny Profil kształcenia: praktyczny			Kod przedmiotu: 0/4
Poziom przedmiotu: pierw szy Rok i rodzaj studiów: pierwszy/ stacjonarne i niestacjonarne		Specjalność: Kosmetologia estetyczna		Kieninek: Kosmetologia Obszar kształcenia: nauk medycznych, nauk o zdrowiu i kultury fizycznej, nauki przyrodnicze Dziedzina nauk: nauki o zdrow iu
Rodzaj studiów	Semestr	Liczba godzin
		Razem	Wykłady		Ćwiczenia	Praca własna		Lektorat
stacjonarne/ niestacjonarne	I/I	40/40	15/15		15/15	10/10		-/-
Punkty ECTS: 2/2 \| Forma zaliczenia: Zal. \| Język wykładowy: polski
Obszarowe efekty kształcenia: Ml W03 Ml W07M1 W08 Ml U01 Ml U04M1 U05M1 U07 Ml U09 Ml_ K02 Mi_ K05 Ml_ K07 Ml_ K08

2. Cele przedmiotu:

Cele kształcenia (w iedza, umiejętności, kompetencje społeczne - ogólnie)		Zdobycie wiedzy w zakresie znajomość podstaw ow ych pojęć z zakresu logiki formalnej.	Odniesienie efektów przedmiotu do obszarowych efektów kształcenia
Efekty kształcę nia	Wiedza	Definiuje znajomość podstawowych pojęć z zakresu logiki formalnej	III iii
	Umiejętności	Student nabył umiejętność prowadzenia rozumowań logicznie poprawnych, umiejętność prow adzenia rozumowania dedukcy jnego i indukcy jnego, umiejętność poprawnego wnioskowania	o o o o iiii
	Kompetencje społeczne	Student dostrzegalna więzi między współczesnością a poprzednimi epokami histoiycznymi. Reprezentuje konsekwentne, logiczne myślenie. Jest wrażliwy na zagadnienia św iatopoglądowe i moralne.	o © © © u u u u iiii

3.Związki korelacyjne z innymi przedmiotami:

Wymagane wiadomości ze szkoły średniej.

•ł.Treści merytoryczne przedmiotu:

Elementy semiotyki. Znak. oznaka, język, kategorie syntaktyczne. funktoiy. nazwy, desygnowanie. Klasyczny rachunek zdań. Funktoiy prawdziwościowe. Wartościowanie formuł logicznych. Interpretacja, model, kontr tautologie, formuły spełniane. Matryce zerojedynkowe. Przegląd podstawowych tautologii. Metoda tabel semantycznych. Sprowadzanie wyrażeń do postaci normalnej. Odwrotna notacja polska. Konsekwencja logiczna, teoria, aksjomaty i twierdzenia, dowód, systemy dowodzenia. Założeniowy system dowidzenia klasycznego rachunku zdań. Przykłady systemów aksjomatycznych KRZ. Pełność i poprawność systemów. Rozumowania logicznie poprawne. Klasyczny rachunek kwantyfikatorów. Kwantyfikatory. wyrażenia poprawnie zbudowane, zmienne wolne i związane, operacja podstawienia. Przegląd podstawowych praw klasycznego rachunku kwantyfikatorów. Metoda sprawdzalna wyrażeń jednoargumentowych klasycznego rachunku kwantyfikatorów. System założeniowy klasycznego rachunku kwantyfikatorów. Metoda tablic semantycznych dla KRK. Rachunek kwantyfikatorów z identycznością. Historia logiki.