|
|
- Paweł Turek
- 7 lat temu
- Przeglądów:
Transkrypt
1 1
2 Opis przedmiotu Celem przedmiotu jest wykształcenie u studentów podstaw języka matematycznego, wypracowanie podstawowych umiejętności przeprowadzania rozumowań matematycznych oraz opanowanie przez nich podstawowych pojęć dotyczących zbiorów, relacji i funkcji. 2
3 Program wykładu 1. Rachunek zdań 2. Rachunek kwantyfikatorów 3. Metody dowodzenia twierdzeń 4. Zbiory 5. Funkcje 6. Relacje 7. Teoria mocy 8. Konstrukcje zbiorów liczbowych 3
4 Literatura podstawowa Jan Kraszewski, Wstęp do matematyki, WNT 2007, Helena Rasiowa, Wstęp do matematyki współczesnej, PWN (wiele wydań). Wiktor Marek, Janusz Onyszkiewicz, Elementy logiki i teorii mnogości w zadaniach, PWN (wiele wydań). 4
5 Literatura uzupełniająca Wojciech Guzicki, Piotr Zakrzewski, Wykłady ze wstępu do matematyki, PWN Wojciech Guzicki, Piotr Zakrzewski, Wstęp do matematyki: zbiór zadań, PWN Roman Murawski, Kazimierz Świrydowicz, Wstęp do teorii mnogości, UAM Julian Musielak, Wstęp do matematyki, PWN Kenneth Ross, Charles Wright, Matematyka dyskretna, PWN
6 Gary Chartrand, Albert Polimeni, Ping Zhang, Mathematical Proofs: A Transition to Advanced Mathematics, Pearson, Robert Bond, William Keane, An Introduction to Abstract Mathematics, Waveland Press, Richard Hammack, Book of proof, Virginia Commonwealth University, 6
7 Wymagania egzaminacyjne: zaliczenie ćwiczeń na ocenę, egzamin pisemny z wykładu. Egzamin składa się z dwóch części: testu z podstawowych pytań i poleceń trwającego 15 minut, zawierającego 10 pytań ocenianych w skali od 0 do 1, części zadaniowej trwającej 75 minut, zawierającej 5 zadań ocenianych w skali od 0 do 2. Łącznie można otrzymać od 0 do 20 punktów. Ocena z egzaminu zależy od liczby uzyskanych punktów: 10 3, 12 3+, 14 4, 16 4+,
8 Skrypt wykładu, przykładowe pytania i zadania znajdują się na stronie www: 8
9 Hasło matematyka w słownikach i encyklopediach Słownik Języka Polskiego PWN, Oxford Dictionary, english/mathematics Encyklopedia PWN, matematyka.html Wikipedia, Wikipedia, wersja angielska, 9
10 Co to jest matematyka? Courant Richard, Robbins Herbert, Co to jest matematyka? Matematyka, jako wyraz myśli ludzkiej, odzwierciedla czynną wolę, kontemplacyjny rozum i dążenie do doskonałości estetycznej. Jej podstawowymi elementami są: logika i intuicja, analiza i konstrukcja, uogólnianie i indywidualizowanie. Różne tradycje podkreślały różne spośród tych aspektów, jednak tylko gra przeciwstawnych sił, walka o ich syntezę stanowi o żywotności, użyteczności i ogromnym znaczeniu matematyki. Matematyka jest zawieszona pomiędzy rzeczywistością a nierzeczywistością; jej sens nie tkwi ani w formalnej abstrakcji, ani w świecie fizycznym. (... ) Matematyka wiąże abstrakcyjny świat pojęć umysłu ze światem fizycznym, nie będąc częścią żadnego z nich. 10
11 Davis Philip, Hersh Reuben, Świat matematyki Co to jest liczba? Co to jest zbiór? Co to jest dowód? Co wiemy o matematyce? I jak to wiemy? Co to jest ścisłość matematyczna? Co to jest intuicja matematyczna? Kiedy sformułowałem te pytania, zdałem sobie sprawę, że nie znam na nie odpowiedzi. (... ) Co gorsza, nie miałem podstawy czy kryterium, które pozwoliłoby mi mierzyć różne opinie, bronić lub atakować jakiś pogląd. Nawiązałem rozmowy z innymi matematykami na temat dowodu, wiedzy, matematycznej rzeczywistości i okazało się, że mój stan mglistej niepewności był typowy. 11
12 Historia logiki w kilkunastu zdaniach Marek Kordos, Wykłady z historii matematyki, WSiP 1995, str. 276,
13 Oznaczenia zbiorów N 0 = {0, 1, 2, 3,...} zbiór liczb naturalnych z zerem, N 1 = {1, 2, 3,...} zbiór liczb naturalnych bez zera, Z = {..., 2, 1, 0, 1, 2,...} zbiór liczb całkowitych, Q zbiór liczb wymiernych, R zbiór liczb rzeczywistych. 13
14 Rachunek zdań 14
15 Przykłady zdań w matematyce Zdania prawdziwe: = 1 2, 3 6, 2 Q, Jeśli x = 1, to x 2 = 1 (x oznacza daną liczbę rzeczywistą), Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości a, b, c jest prostokątny (a, b, c oznaczają dane liczby dodatnie), Zdania fałszywe: = 5, 2 Q, Q Z. 15
16 Pytanie. Czy prawdziwe jest zdanie: Jeśli trójkąt o bokach długości a, b, c jest prostokątny, to a 2 + b 2 = c 2? (a, b, c dane liczby dodatnie) 16
17 Zdanie posiadające jedną z dwóch wartości logicznych: prawda lub fałsz, nazywamy zdaniem logicznym. Zdania logiczne oznaczamy literami p, q, r,.... Wartość logiczną fałsz oznaczamy symbolem 0, a wartość logiczną prawda symbolem 1. Jeśli zdanie p jest fałszywe, to piszemy v(p) = 0, a jeśli jest prawdziwe, to piszemy v(p) = 1. Złożone zdania logiczne są zbudowane z innych zdań logicznych za pomocą spójników logicznych: jednoargumentowego i dwuargumentowych,,,,. 17
18 Negacja p nie p, nieprawda, że p negacja zdania p Przykład: 1 nie jest liczbą pierwszą, dokładniej: nieprawda, że 1 jest liczbą pierwszą. Zdanie p jest negacją zdania p: 1 jest liczbą pierwszą. 18
19 Zdanie p jest: prawdziwe, gdy p jest fałszywe, fałszywe, gdy p jest prawdziwe. v(p) v( p)
20 Koniunkcja p q p i q koniunkcja zdań p i q Przykład: 2 jest liczbą pierwszą i parzystą, dokładniej: 2 jest liczbą pierwszą i 2 jest liczbą parzystą. Jest to koniunkcja p q, gdzie p oznacza zdanie 2 jest liczbą pierwszą, a q oznacza zdanie 2 jest liczbą parzystą. 20
21 Zdanie p q jest: prawdziwe, gdy oba zdania p i q są prawdziwe, fałszywe, gdy co najmniej jedno ze zdań p i q jest fałszywe. v(p) v(q) v(p q)
22 Alternatywa p q p lub q alternatywa zdań p i q Przykład. Wybierzmy pewną liczbę całkowitą x i rozważmy zdanie: x < 1 lub x > 1. Jest to alternatywa p q, gdzie p oznacza zdanie x < 1, a q oznacza zdanie x > 1. W przypadku x = 0 oba zdania są prawdziwe i alternatywa też jest zdaniem prawdziwym. 22
23 Zdanie p q jest: prawdziwe, gdy co najmniej jedno ze zdań p i q jest prawdziwe, fałszywe, gdy oba zdania p i q są fałszywe. v(p) v(q) v(p q)
24 Alternatywa rozłączna p q p albo q alternatywa rozłączna zdań p i q Przykład. Rozważmy dwie (różne) proste na płaszczyźnie. Mówimy: Dane proste się przecinają albo są równoległe. Jest to alternatywa rozłączna p q, gdzie p oznacza zdanie Dane proste się przecinają, a q oznacza zdanie Dane proste są równoległe. 24
25 Zdanie p q jest: prawdziwe, gdy jedno ze zdań p, q jest prawdziwe, a drugie fałszywe, fałszywe, gdy oba zdania p i q są jednocześnie prawdziwe lub jednocześnie fałszywe. v(p) v(q) v(p q)
26 Alternatywy rozłącznej (w zdaniu prawdziwym) używamy, gdy chcemy podkreślić, że oba zdania nie mogą jednocześnie być prawdziwe. Uwaga. Jeśli zdanie p q jest prawdziwe, to zdanie p q też jest prawdziwe, np.: Dane proste się przecinają lub są równoległe. Jeśli zdanie p q jest prawdziwe, to zdanie p q nie musi być prawdziwe, np.: 0 < 1 albo 0 > 1. 26
http://www-users.mat.umk.pl/~pjedrzej/wstep.html 1 Opis przedmiotu Celem przedmiotu jest wykształcenie u studentów podstaw języka matematycznego, wypracowanie podstawowych umiejętności przeprowadzania
http://www-users.mat.umk.pl/~pjedrzej/wstep.html 1 Opis przedmiotu Celem przedmiotu jest wyksztaªcenie u studentów podstaw j zyka matematycznego, wypracowanie podstawowych umiej tno- ±ci przeprowadzania
Przykłady zdań w matematyce. Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości a, b, c jest prostokątny (a, b, c oznaczają dane liczby dodatnie),
Elementy logiki 1 Przykłady zdań w matematyce Zdania prawdziwe: 1 3 + 1 6 = 1 2, 3 6, 2 Q, Jeśli x = 1, to x 2 = 1 (x oznacza daną liczbę rzeczywistą), Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości
Wstęp do matematyki Piotr Jędrzejewicz UMK Toruń 2014
Projekt pn. Wzmocnienie potencjału dydaktycznego UMK w Toruniu w dziedzinach matematyczno-przyrodniczych realizowany w ramach Poddziałania 4.1.1 Programu Operacyjnego Kapitał Ludzki Wstęp do matematyki
KARTA KURSU. Kod Punktacja ECTS* 7
KARTA KURSU Nazwa Nazwa w j. ang. Wstęp do logiki i teorii mnogości Introduction to Logic and Set Theory Kod Punktacja ECTS* 7 Koordynator Dr hab. prof. UP Piotr Błaszczyk Zespół dydaktyczny: Dr hab. prof.
http://www-users.mat.umk.pl/~pjedrzej/matwyz.html 1 Opis przedmiotu Celem przedmiotu jest wykształcenie u studentów podstaw języka matematycznego i opanowanie przez nich podstawowych pojęć dotyczących
KARTA KURSU. Wstęp do logiki i teorii mnogości Introduction to Logic and Set Theory
KARTA KURSU Nazwa Nazwa w j. ang. Wstęp do logiki i teorii mnogości Introduction to Logic and Set Theory Kod Punktacja ECTS* 6 Koordynator Dr hab. prof. UP Piotr Błaszczyk Zespół dydaktyczny dr Antoni
Wykład 1. Informatyka Stosowana. 3 października Informatyka Stosowana Wykład 1 3 października / 26
Wykład 1 Informatyka Stosowana 3 października 2016 Informatyka Stosowana Wykład 1 3 października 2016 1 / 26 Wykłady : 45h (w semestrze zimowym) ( Egzamin) 30h (w semetrze letnim ) ( Egzamin) Zajęcia praktyczne:
Wykład 1. Informatyka Stosowana. 2 października Informatyka Stosowana Wykład 1 2 października / 33
Wykład 1 Informatyka Stosowana 2 października 2017 Informatyka Stosowana Wykład 1 2 października 2017 1 / 33 Wykłady : 45h (w semestrze zimowym) (Egzamin) 30h (w semetrze letnim) (Egzamin) 3h lekcyjne
LOGIKA I TEORIA ZBIORÓW
LOGIKA I TEORIA ZBIORÓW Logika Logika jest nauką zajmującą się zdaniami Z punktu widzenia logiki istotne jest, czy dane zdanie jest prawdziwe, czy nie Nie jest natomiast istotne o czym to zdanie mówi Definicja
Z-LOG-1003 Logika Logics
KARTA MODUŁU / KARTA PRZEDMIOTU Kod modułu Nazwa modułu Nazwa modułu w języku angielskim Z-LOG-100 Logika Logics Obowiązuje od roku akademickiego 2012/201 A. USYTUOWANIE MODUŁU W SYSTEMIE STUDIÓW Kierunek
0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań.
Wykłady z Analizy rzeczywistej i zespolonej w Matematyce stosowanej Wykład ELEMENTY LOGIKI ALGEBRA BOOLE A Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek
Wykład 1. Informatyka Stosowana. 1 października Informatyka Stosowana Wykład 1 1 października / 26
Wykład 1 Informatyka Stosowana 1 października 2018 Informatyka Stosowana Wykład 1 1 października 2018 1 / 26 Wykłady : 45h (w semestrze zimowym) (Egzamin) 30h (w semetrze letnim) (Egzamin) 3h lekcyjne
Elementy logiki matematycznej
Elementy logiki matematycznej Przedmiotem logiki matematycznej jest badanie tzw. wyrażeń logicznych oraz metod rozumowania i sposobów dowodzenia używanych w matematyce, a także w innych dziedzinach, w
PRZEWODNIK PO PRZEDMIOCIE
Nazwa przedmiotu: Teoria mnogości Set theory Kierunek: Rodzaj przedmiotu: obowiązkowy dla wszystkich specjalności Rodzaj zajęć: wykład, ćwiczenia Matematyka Poziom kwalifikacji: I stopnia Liczba godzin/tydzień:
Logika formalna SYLABUS A. Informacje ogólne
Logika formalna SYLABUS A. Informacje ogólne studiów Poziom kształcenia Profil studiów Forma studiów Rodzaj przedmiotu Rok studiów /semestr Wymagania wstępne Liczba godzin zajęć Założenia i cele przedmiotu
MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI
MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI Program wykładów: dr inż. Barbara GŁUT Wstęp do logiki klasycznej: rachunek zdań, rachunek predykatów. Elementy semantyki. Podstawy teorii mnogości
Logika pragmatyczna dla inżynierów
Logika pragmatyczna Logika pragmatyczna dla inżynierów Kontakt: dr hab. inż. Adam Kasperski pokój 509 B4 adam.kasperski@pwr.edu.pl materiały + literatura + informacje na stronie www. Zaliczenie: Test pisemny
Zał nr 4 do ZW. Dla grupy kursów zaznaczyć kurs końcowy. Liczba punktów ECTS charakterze praktycznym (P)
Zał nr 4 do ZW WYDZIAŁ PODSTAWOWYCH PROBLEMÓW TECHNIKI KARTA PRZEDMIOTU Nazwa w języku polskim : Logika i Struktury Formalne Nazwa w języku angielskim : Logic and Formal Structures Kierunek studiów : Informatyka
Matematyka ETId Elementy logiki
Matematyka ETId Izolda Gorgol pokój 131A e-mail: I.Gorgol@pollub.pl tel. 081 5384 563 http://antenor.pol.lublin.pl/users/gorgol Zdania w sensie logicznym DEFINICJA Zdanie w sensie logicznym - zdanie oznajmujace,
SYLABUS DOTYCZY CYKLU KSZTAŁCENIA realizacja w roku akademickim 2016/2017
Załącznik nr 4 do Uchwały Senatu nr 430/01/2015 SYLABUS DOTYCZY CYKLU KSZTAŁCENIA 2016-2020 realizacja w roku akademickim 2016/2017 1.1. PODSTAWOWE INFORMACJE O PRZEDMIOCIE/MODULE Nazwa przedmiotu/ modułu
Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi.
Logika Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi. Często słowu "logika" nadaje się szersze znaczenie niż temu o czym będzie poniżej: np. mówi się "logiczne myślenie"
Kierunek i poziom studiów: matematyka, studia I stopnia, rok I. Sylabus modułu: Wstęp do matematyki (03-MO1S-12-WMat)
Uniwersytet Śląski w Katowicach str. 1 Kierunek i poziom studiów: matematyka, studia I stopnia, rok I Sylabus modułu: Wstęp do matematyki (03-MO1S-12-WMat) 1. Informacje ogólne koordynator modułu Tomasz
KARTA PRZEDMIOTU. 12. PRZEDMIOTOWE EFEKTY KSZTAŁCENIA Odniesienie do kierunkowych efektów kształcenia (symbol)
KARTA PRZEDMIOTU 1. NAZWA PRZEDMIOTU: Wstęp do logiki i teorii mnogości (LTM010) 2. KIERUNEK: MATEMATYKA 3. POZIOM STUDIÓW: I stopnia 4. ROK/ SEMESTR STUDIÓW: I/1 5. LICZBA PUNKTÓW ECTS: 8 6. LICZBA GODZIN:
SYLABUS DOTYCZY CYKLU KSZTAŁCENIA (skrajne daty)
Załącznik nr 4 do Uchwały Senatu nr 430/01/2015 SYLABUS DOTYCZY CYKLU KSZTAŁCENIA 2016-2019 (skrajne daty) 1.1. PODSTAWOWE INFORMACJE O PRZEDMIOCIE/MODULE Nazwa przedmiotu/ modułu Wstęp do logiki i teorii
Lista 1 (elementy logiki)
Podstawy nauczania matematyki 1. Zdanie Lista 1 (elementy logiki) EE I rok W logice zdaniem logicznym nazywamy wyrażenie oznajmujące o którym można powiedzieć że jest prawdziwe lub fałszywe. Zdania z reguły
LOGIKA MATEMATYCZNA. Poziom podstawowy. Zadanie 2 (4 pkt.) Jeśli liczbę 3 wstawisz w miejsce x, to które zdanie będzie prawdziwe:
LOGIKA MATEMATYCZNA Poziom podstawowy Zadanie ( pkt.) Która koniunkcja jest prawdziwa: a) Liczba 6 jest niewymierna i 6 jest liczbą dodatnią. b) Liczba 0 jest wymierna i 0 jest najmniejszą liczbą całkowitą.
Z-ID-203. Logika. Podstawowy Obowiązkowy Polski Semestr II. Semestr zimowy Wiedza i umiejętności z matematyki w zakresie szkoły średniej NIE
KARTA MODUŁU / KARTA PRZEDMIOTU Z-ID-203 Kod modułu Nazwa modułu Logika Nazwa modułu w języku angielskim Logic Obowiązuje od roku akademickiego 201/2016 A. USYTUOWANIE MODUŁU W SYSTEMIE STUDIÓW Kierunek
Np. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0
ĆWICZENIE 1 Klasyczny Rachunek Zdań (KRZ): zdania w sensie logicznym, wartości logiczne, spójniki logiczne, zmienne zdaniowe, tabele prawdziwościowe dla spójników logicznych, formuły, wartościowanie zbioru
Elementy logiki. Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń
Elementy logiki Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń 1 Klasyczny Rachunek Zdań 1.1 Spójniki logiczne Zdaniem w sensie logicznym nazywamy wyrażenie, które jest
Logika Matematyczna Spójniki logiczne Tautologie Dowodzenie Kwantyfikatory Zagadki. Logika Matematyczna. Marcelina Borcz.
5 marca 2009 Spis treści 1 2 3 4 5 6 Logika (z gr. logos - rozum) zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Logika matematyczna,
Wykład 2. Informatyka Stosowana. 8 października 2018, M. A-B. Informatyka Stosowana Wykład 2 8 października 2018, M. A-B 1 / 41
Wykład 2 Informatyka Stosowana 8 października 2018, M. A-B Informatyka Stosowana Wykład 2 8 października 2018, M. A-B 1 / 41 Elementy logiki matematycznej Informatyka Stosowana Wykład 2 8 października
Elementy logiki i teorii mnogości
Elementy logiki i teorii mnogości Zdanie logiczne Zdanie logiczne jest to zdanie oznajmujące, któremu można przypisać określoną wartość logiczną. W logice klasycznej zdania dzielimy na: prawdziwe (przypisujemy
dr ANNA NIEWULIS CENTRUM NAUCZANIA MATEMATYKI i KSZTAŁCENIA na ODLEGŁOŚĆ pokój 310
dr ANNA NIEWULIS CENTRUM NAUCZANIA MATEMATYKI i KSZTAŁCENIA na ODLEGŁOŚĆ pokój 310 LITERATURA Praca zbiorowa pod. red. B. Wikieł Matematyka, Podstawy z elementami matematyki wyższej W.Krysicki, L.Włodarski
stacjonarne (stacjonarne / niestacjonarne) Katedra Matematyki dr Dmytro Mierzejewski podstawowy (podstawowy / kierunkowy / inny HES)
Załącznik nr 7 do Zarządzenia Rektora nr 10/12 z dnia 21 lutego 2012r. KARTA MODUŁU / KARTA PRZEDMIOTU Kod Nazwa Nazwa w języku angielskim Obowiązuje od roku akademickiego 2012/2013 Z-ETI-1017-W2 Elementy
Z-ZIP Logika. Stacjonarne Wszystkie Katedra Matematyki Dr Beata Maciejewska. Podstawowy Nieobowiązkowy Polski Semestr trzeci
KARTA MODUŁU / KARTA PRZEDMIOTU Z-ZIP-1003 Kod modułu Nazwa modułu Logika Nazwa modułu w języku angielskim Logic Obowiązuje od roku akademickiego 2012/2013 A. USYTUOWANIE MODUŁU W SYSTEMIE STUDIÓW Kierunek
Elementy logiki i teorii mnogości Wyk lad 1: Rachunek zdań
Elementy logiki i teorii mnogości Wyk lad 1: Rachunek zdań Micha l Ziembowski m.ziembowski@mini.pw.edu.pl www.mini.pw.edu.pl/ ziembowskim/ October 2, 2016 M. Ziembowski (WUoT) Elementy logiki i teorii
I. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych.
I. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych. 1. Elementy logiki matematycznej. 1.1. Rachunek zdań. Definicja 1.1. Zdaniem logicznym nazywamy zdanie gramatyczne
Rachunek zdań 1 zastaw zadań
Rachunek zdań 1 zastaw zadań Zadanie 1 ([1]) Wyraź w języku KRZ następujące zdania języka naturalnego: (a) Jeśli Jan jest ateistą to Jan nie jest katolikiem. (b) Jeśli Jan jest ateistą to nieprawda, że
Wstęp do matematyki listy zadań
Projekt pn. Wzmocnienie potencjału dydaktycznego UMK w Toruniu w dziedzinach matematyczno-przyrodniczych realizowany w ramach Poddziałania 4.1.1 Programu Operacyjnego Kapitał Ludzki Wstęp do matematyki
Kierunek i poziom studiów: Matematyka, studia I stopnia, rok 1 Sylabus modułu: Wstęp do matematyki (Kod modułu: 03-MO1N-12-WMat)
Uniwersytet Śląski w Katowicach str. 1 Kierunek i poziom studiów: Matematyka, studia I stopnia, rok 1 Sylabus modułu: Wstęp do matematyki (Kod modułu: 03-MO1N-12-WMat) 1. Informacje ogólne koordynator
PRZEWODNIK PO PRZEDMIOCIE
Nazwa przedmiotu: Kierunek: Informatyka Rodzaj przedmiotu: obowiązkowy w ramach treści wspólnych z kierunkiem Matematyka, moduł kierunku obowiązkowy Rodzaj zajęć: wykład, ćwiczenia I KARTA PRZEDMIOTU CEL
Dorota Pekasiewicz Uniwersytet Łódzki, Wydział Ekonomiczno-Socjologiczny Katedra Metod Statystycznych, Łódź, ul. Rewolucji 1905 r.
Dorota Pekasiewicz Uniwersytet Łódzki, Wydział Ekonomiczno-Socjologiczny Katedra Metod Statystycznych, 90-214 Łódź, ul. Rewolucji 1905 r. nr 41 RECENZENT Stanisław Wanat REDAKTOR INICJUJĄCY Monika Borowczyk
Reguły gry zaliczenie przedmiotu wymaga zdania dwóch testów, z logiki (za ok. 5 tygodni) i z filozofii (w sesji); warunkiem koniecznym podejścia do
Reguły gry zaliczenie przedmiotu wymaga zdania dwóch testów, z logiki (za ok. 5 tygodni) i z filozofii (w sesji); warunkiem koniecznym podejścia do testu z filozofii jest zaliczenie testu z logiki i zaliczenie
Liczba godzin Punkty ECTS Sposób zaliczenia. ćwiczenia 15 zaliczenie z oceną
Wydział: Prawo i Administracja Nazwa kierunku kształcenia: Prawo Rodzaj przedmiotu: podstawowy Opiekun: prof. dr hab. Kazimierz Pawłowski Poziom studiów (I lub II stopnia): Jednolite magisterskie Tryb
Katedra Teorii i Filozofii Prawa Poznań, dnia 27 września 2018 r.
Katedra Teorii i Filozofii Prawa Poznań, dnia 27 września 2018 r. OPISU MODUŁU KSZTAŁCENIA (SYLABUS) dla przedmiotu Logika prawnicza na kierunku Prawo I. Informacje ogólne 1. Nazwa modułu kształcenia:
Matematyka dyskretna Literatura Podstawowa: 1. K.A. Ross, C.R.B. Wright: Matematyka Dyskretna, PWN, 1996 (2006) 2. J. Jaworski, Z. Palka, J.
Matematyka dyskretna Literatura Podstawowa: 1. K.A. Ross, C.R.B. Wright: Matematyka Dyskretna, PWN, 1996 (2006) 2. J. Jaworski, Z. Palka, J. Szmański: Matematyka dyskretna dla informatyków, UAM, 2008 Uzupełniająca:
Dalszy ciąg rachunku zdań
Dalszy ciąg rachunku zdań Wszystkie możliwe funktory jednoargumentowe p f 1 f 2 f 3 f 4 0 0 0 1 1 1 0 1 0 1 Wszystkie możliwe funktory dwuargumentowe p q f 1 f 2 f 3 f 4 f 5 f 6 f 7 f 8 f 9 f 10 f 11 f
ćwiczenia 15 zaliczenie z oceną
Wydział: Prawo i Administracja Nazwa kierunku kształcenia: Prawo Rodzaj przedmiotu: podstawowy Opiekun: prof. dr hab. Kazimierz Pawłowski Poziom studiów (I lub II stopnia): Jednolite magisterskie Tryb
Geometrie Wszechświata. 3. Punkty w nieskończoności 4. Czy Wszechświat jest nieskończony? materiały do ćwiczeń
Geometrie Wszechświata. 3. Punkty w nieskończoności 4. Czy Wszechświat jest nieskończony? materiały do ćwiczeń Projekt Matematyka dla ciekawych świata spisał: Michał Korch 16 marzec 2017 Prezentacja multimedialna
PW Wydział Elektryczny Rok akad / Podstawowe Informacje dla studentów
PW Wydział Elektryczny Rok akad. 2017 / 2018 Podstawowe Informacje dla studentów Piotr Multarzyński, e-mail: multarynka@op.pl, konsultacje: Zob isod. Przedmiot: Matematyka 1 Cel przedmiotu: Zapoznanie
Podstawy logiki i analizy ilościowej Kod przedmiotu
Podstawy logiki i analizy ilościowej - opis przedmiotu Informacje ogólne Nazwa przedmiotu Podstawy logiki i analizy ilościowej Kod przedmiotu 11.1-WK-IDP-PLAI-W-S14_pNadGenC99R6 Wydział Kierunek Wydział
2. Wymagania wstępne w zakresie wiedzy, umiejętności oraz kompetencji społecznych (jeśli obowiązują):
OPISU MODUŁU KSZTAŁCENIA (SYLABUS) I. Informacje ogólne 1) Nazwa modułu : MATEMATYCZNE PODSTAWY KOGNITYWISTYKI 2) Kod modułu : 08-KODL-MPK 3) Rodzaj modułu : OBOWIĄZKOWY 4) Kierunek studiów: KOGNITYWISTYKA
Ziemia obraca się wokół Księżyca, bo posiadając odpowiednią wiedzę można stwierdzić, czy są prawdziwe, czy fałszywe. Zdaniami nie są wypowiedzi:
1 Elementy logiki W logice zdaniem nazywamy wypowiedź oznajmującą, która (w ramach danej nauki) jest albo prawdziwa, albo fałszywa. Tak więc zdanie może mieć jedną z dwóch wartości logicznych. Prawdziwość
Maciej Grzesiak Instytut Matematyki Politechniki Poznańskiej. Elementy logiki
Maciej Grzesiak Instytut Matematyki Politechniki Poznańskiej Elementy logiki 1. Elementy logiki W logice zdaniem nazywamy wypowiedź oznajmującą, która (w ramach danej nauki) jest albo prawdziwa, albo fałszywa.
ĆWICZENIE 2. DEF. Mówimy, że formuła A wynika logicznie z formuł wartościowanie w, takie że w A. A,, A w KRZ, jeżeli nie istnieje
ĆWICZENIE 2 Klasyczny Rachunek Zdań (KRZ): wynikanie logiczne, wnioskowanie, niezawodny schemat wnioskowania, wnioskowanie dedukcyjne, równoważność logiczna, iniowalność spójników za mocą formuły. DEF.
Informatyka Programowanie - I, VII SPS stacjonarne/ niestacjonarne. studia niestacjonarne
Nazwa modułu/ przedmiotu Matematyka stosowana Nazwa jednostki prowadzącej przedmiot Instytut Matematyki OPIS MODUŁU KSZTAŁCENIA (przedmiot lub grupa przedmiotów) Przedmiot/y I kierunek specjalność specjalizacja
Z-LOG-1004 Matematyka dyskretna Discrete mathematics. Przedmiot podstawowy Wybieralny polski Semestr III
KARTA MODUŁU / KARTA PRZEDMIOTU Kod modułu Nazwa modułu Nazwa modułu w języku angielskim Obowiązuje od roku akademickiego 2012/2013 Z-LOG-1004 Matematyka dyskretna Discrete mathematics A. USYTUOWANIE MODUŁU
EGZAMIN ÓSMOKLASISTY Z MATEMATYKI
Konferencja dla nauczycieli matematyki szkół podstawowych i gimnazjów EGZAMIN ÓSMOKLASISTY Z MATEMATYKI Ewa Ludwikowska Bydgoszcz, 09.01.2018 PROGRAM KONFERENCJI Egzamin ósmoklasisty-założenia, przykładowe
Zał. nr 4 do ZW. Wykład Ćwiczenia Laboratorium Projekt Seminarium 30 30
WYDZIAŁ ****** KARTA PRZEDMIOTU Nazwa w języku polskim MATEMATYKA DYSKRETNA Nazwa w języku angielskim DISCRETE MATHEMATICS Kierunek studiów (jeśli dotyczy): Specjalność (jeśli dotyczy): Stopień studiów
Logika dla socjologów Część 3: Elementy teorii zbiorów i relacji
Logika dla socjologów Część 3: Elementy teorii zbiorów i relacji Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Zbiory 2 Pary uporządkowane 3 Relacje Zbiory dystrybutywne
(g) (p q) [(p q) p]; (h) p [( p q) ( p q)]; (i) [p ( p q)]; (j) p [( q q) r]; (k) [(p q) (q p)] (p q); (l) [(p q) (r s)] [(p s) (q r)];
Logika 1. Czy następujące sformułowania są zdaniami: (a) Wszystkie koty w Polsce są czarne. (b) Jak to udowodnić? (c) x + y = 7. (d) Jeśli x 2 = y 2, to x = y. (e) Jeśli x = y, to x 2 = y 2. (f) 2 n +
Politechnika Krakowska im. Tadeusza Kościuszki. Karta przedmiotu. obowiązuje studentów rozpoczynających studia w roku akademickim 2016/2017
Politechnika Krakowska im. Tadeusza Kościuszki Karta przedmiotu obowiązuje studentów rozpoczynających studia w roku akademickim 2016/2017 Wydział Fizyki, Matematyki i Informatyki Kierunek studiów: Matematyka
Biblioteka Pedagogiczna w Sieradzu ul. Jagiellońska 2, Sieradz tel./fax , ,
MATEMATYKA W SZKOŁACH WYŻSZYCH Tematyczne zestawienie bibliograficzne, sporządzone w oparciu o wydawnictwa zwarte (od roku 1990) Biblioteki Pedagogicznej w Sieradzu wraz z filiami Opracowała mgr Anna Dąbek
276 Recenzje recenzja w Wiadomościach Matematycznych, tom 45, nr 1). W roku 2003 w Dolnośląskim Wydawnictwie Edukacyjnym ukazała się książka Jacka Cic
Recenzje 275 formuła boole owska (w postaci koniunkcji alternatyw), w której każda klauzula ma k literałów, a każda zmienna występuje w co najwyżej 2k 4k klauzulach, jest spełnialna (to jest jedno ze sztandarowych
Elementy logiki matematycznej
Elementy logiki matematycznej Przez p, q będziemy oznaczać zdania. Każdemu zdaniu możemy przyporządkować wartość logiczną 1, gdy jest prawdziwe oraz wartość logiczną 0, gdy jest fałszywe. Oznaczmy wartość
Zastosowanie logiki matematycznej w procesie weryfikacji wymagań oprogramowania
Zastosowanie logiki matematycznej w procesie weryfikacji wymagań oprogramowania Testerzy oprogramowania lub osoby odpowiedzialne za zapewnienie jakości oprogramowania oprócz wykonywania testów mogą zostać
1 Logika Zbiory Pewnik wyboru Funkcje Moce zbiorów Relacje... 14
Wstęp do matematyki Matematyka, I rok. Tomasz Połacik Spis treści 1 Logika................................. 1 2 Zbiory................................. 7 3 Pewnik wyboru............................ 10
Logika formalna wprowadzenie. Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie.
Logika formalna wprowadzenie Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie. 1. Zdanie logicznie prawdziwe (Prawda logiczna) Zdanie, którego analityczność
Poziom przedmiotu: II stopnia. Liczba godzin/tydzień: 3W E, 3C PRZEWODNIK PO PRZEDMIOCIE
Nazwa przedmiotu: Kierunek: Matematyka Rodzaj przedmiotu: obowiązkowy dla wszystkich specjalności Rodzaj zajęć: wykład, ćwiczenia Teoria miary i całki Measure and Integration Theory Kod przedmiotu: Poziom
1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych.
Elementy logiki i teorii zbiorów. 1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych. Pojęcia pierwotne to najprostsze
4 Klasyczny rachunek zdań
4 Klasyczny rachunek zdań Elementy Logiki i Teorii Mnogości 2015/2016 Spis najważniejszych tautologii: (a) p p prawo wyłączonego środka (b) ( p) p prawo podwójnej negacji (c) p q q p (d) p q q p prawo
WYDZIAŁ PODSTAWOWYCH PROBLEMÓW TECHNIKI KARTA PRZEDMIOTU
Zał. nr do ZW WYDZIAŁ PODSTAWOWYCH PROBLEMÓW TECHNIKI KARTA PRZEDMIOTU Nazwa w języku polskim MATEMATYKA DYSKRETNA Nazwa w języku angielskim DISCRETE MATHEMATICS Kierunek studiów (jeśli dotyczy): Matematyka
Matura z matematyki na poziomie rozszerzonym
Tadeusz Socha Matura z matematyki na poziomie rozszerzonym tom I powtórzenie do matury wydanie drugie, poprawione i uzupełnione matura od 2015 roku Copyright by Socha Tadeusz, 2014 ISBN 978-83-940726-0-5
PODSTAWY LOGIKI I TEORII MNOGOŚCI
Stefan Sokołowski PODSTAWY LOGIKI I TEORII MNOGOŚCI Inst Informatyki Stosowanej, PWSZ Elbląg, 2015/2016 Podstawy logiki i teorii mnogoci Wykład1,str1 Na http://studentpwszelblagpl/ stefan/dydaktyka/logteomno
Zdarzenia losowe i prawdopodobieństwo
Rozdział 1 Zdarzenia losowe i prawdopodobieństwo 1.1 Klasyfikacja zdarzeń Zdarzenie elementarne pojęcie aprioryczne, które nie może być zdefiniowane. Odpowiednik pojęcia punkt w geometrii. Zdarzenie elementarne
Kultura logiczna Klasyczny rachunek zdań 1/2
Kultura logiczna Klasyczny rachunek zdań /2 Bartosz Gostkowski bgostkowski@gmail.com Kraków 22 III 2 Plan wykładu: Zdanie w sensie logicznym Klasyczny rachunek zdań reguły słownikowe reguły składniowe
KARTA MODUŁU KSZTAŁCENIA
KARTA MODUŁU KSZTAŁCENIA I. 1 Nazwa modułu kształcenia I. Informacje ogólne Matematyka dyskretna 2 Nazwa jednostki prowadzącej moduł Instytut Informatyki, Zakład Informatyki Stosowanej 3 Kod modułu (wypełnia
WYMAGANIA WSTĘPNE W ZAKRESIE WIEDZY, UMIEJĘTNOŚCI I INNYCH KOMPETENCJI
Zał. nr 4 do ZW WYDZIAŁ Geoinżynierii, Górnictwa i Geologii KARTA PRZEDMIOTU Nazwa w języku polskim Wstęp do analizy i algebry Nazwa w języku angielskim Introduction to analysis and algebra Kierunek studiów
PRZEWODNIK PO PRZEDMIOCIE
Nazwa przedmiotu: Kierunek: Matematyka Rodzaj przedmiotu: przedmiot obowiązkowy dla wszystkich specjalności Rodzaj zajęć: wykład, ćwiczenia Logika matematyczna Mathematical Logic Poziom przedmiotu: II
1 Podstawowe oznaczenia
Poniżej mogą Państwo znaleźć skondensowane wiadomości z wykładu. Należy je traktować jako przegląd pojęć, które pojawiły się na wykładzie. Materiały te nie są w pełni tożsame z tym co pojawia się na wykładzie.
1 Rachunek zdań. w(p) = 0 lub p 0 lub [p] = 0. a jeśli jest fałszywe to:
1 Rachunek zdań Formuły zdaniowe (lub krócej: zdania) w klasycznym rachunku zdań składają się ze zmiennych zdaniowych nazywanych też zdaniami składowymi (oznaczane są zazwyczaj p, q, r,...) oraz operatorów
MATEMATYKA PLAN STUDIÓW STACJONARNYCH DRUGIEGO STOPNIA
MATEMATYKA PLAN STUDIÓ STACJONARNYCH DRUGIEGO STOPNIA semestr: 1 05.1- -810 Pracownia dydaktyki matematyki * 30 30 3 S-D 11.1- -810 Analiza matematyczna 1 30 30 60 4 P1 11.1- -810 Równania różniczkowe
TWÓJ KOD. do elektronicznego zeszytu ćwiczeń ZNAJDUJE SIĘ W ŚRODKU
TWÓJ KOD do elektronicznego zeszytu ćwiczeń ZNAJDUJE SIĘ W ŚRODKU 2 część 2 klasa Spis treści V. Wyrażenia algebraiczne 1. Wyrażenia algebraiczne / 5 2. Wartość liczbowa wyrażenia algebraicznego / 9 3.
Matematyka I. BJiOR Semestr zimowy 2018/2019 Wykład 1
Matematyka I BJiOR Semestr zimowy 2018/2019 Wykład 1 Zasady współpracy https://mat.ug.edu.pl/~matpz/ wykłady nie są obowiązkowe, ale nieobecności będą odnotowywane nieobecności nie należy usprawiedliwiać,
Lekcja 3: Elementy logiki - Rachunek zdań
Lekcja 3: Elementy logiki - Rachunek zdań S. Hoa Nguyen 1 Materiał a) Zdanie proste, złożone b) Spójniki logiczne (funktory zdaniotwórcze):,,,,, (alternatywa wykluczająca - XOR). c) Tautologia, zdanie
BOGDAN ZARĘBSKI ZASTOSOWANIE ZASADY ABSTRAKCJI DO KONSTRUKCJI LICZB CAŁKOWITYCH
BOGDAN ZARĘBSKI ZASTOSOWANIE ZASADY ABSTRAKCJI DO KONSTRUKCJI LICZB CAŁKOWITYCH WSTĘP Zbiór liczb całkowitych można definiować na różne sposoby. Jednym ze sposobów określania zbioru liczb całkowitych jest
Logika pragmatyczna. Logika pragmatyczna. Kontakt: Zaliczenie:
Logika pragmatyczna Logika pragmatyczna Kontakt: dr hab. inż. Adam Kasperski pokój 509 B4 adam.kasperski@pwr.wroc.pl materiały + literatura + informacje na stronie www. Zaliczenie: Kolokwium pisemne na
W planie dydaktycznym założono 172 godziny w ciągu roku. Treści podstawy programowej. Propozycje środków dydaktycznych. Temat (rozumiany jako lekcja)
Ramowy plan nauczania (roczny plan dydaktyczny) dla przedmiotu matematyka w zakresie rozszerzonym dla klasy I liceum ogólnokształcącego uwzględniający kształcone i treści podstawy programowej W planie
0. ELEMENTY LOGIKI. ALGEBRA BOOLE A
WYKŁAD 5() ELEMENTY LOGIKI ALGEBRA BOOLE A Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań Matematyka zbudowana jest z pierwotnych twierdzeń (nazywamy
KURS MATEMATYKA DYSKRETNA
KURS MATEMATYKA DYSKRETNA Lekcja 8 Wprowadzenie do logiki ZADANIE DOMOWE www.etrapez.pl Strona 1 Część 1: TEST Zaznacz poprawną odpowiedź (tylko jedna jest prawdziwa). Pytanie 1 Które z poniższych zdań
KARTA PRZEDMIOTU WYMAGANIA WSTEPNE CELE KURSU
WYDZIAŁ KARTA PRZEDMIOTU Nazwa przedmiotu w języku polskim Nazwa przedmiotu w języku angielskim Kierunek studiów (jeśli dotyczy) Specjalność (jeśli dotyczy) Stopień studiów i forma Rodzaj przedmiotu Kod
Epistemologia. Organizacyjnie. Paweł Łupkowski Instytut Psychologii UAM 1 / 19
1 / 19 Epistemologia Organizacyjnie Paweł Łupkowski Instytut Psychologii UAM 22.02.2018 2 / 19 Epistemologia https://plupkowski.wordpress.com/dydaktyka/ pawel.lupkowski@gmail.com (mówiacy tytuł wiadomości!)
Klasyczny rachunek zdań 1/2
Klasyczny rachunek zdań /2 Elementy logiki i metodologii nauk spotkanie VI Bartosz Gostkowski Poznań, 7 XI 9 Plan wykładu: Zdanie w sensie logicznym Klasyczny rachunek zdań reguły słownikowe reguły składniowe
Myślenie w celu zdobycia wiedzy = poznawanie. Myślenie z udziałem rozumu = myślenie racjonalne. Myślenie racjonalne logiczne statystyczne
Literatura: podstawowa: C. Radhakrishna Rao, Statystyka i prawda, 1994. G. Wieczorkowska-Wierzbińska, J. Wierzbiński, Statystyka. Od teorii do praktyki, 2013. A. Aczel, Statystyka w zarządzaniu, 2002.
Rachunek zdań. Zdanie w sensie logicznym jest to wyraŝenie jednoznacznie stwierdzające, na gruncie reguł danego języka, iŝ tak a
Zdanie w sensie logicznym jest to wyraŝenie jednoznacznie stwierdzające, na gruncie reguł danego języka, iŝ tak a tak jest alboŝe tak a tak nie jest. Wartość logiczna zdania jest czymś obiektywnym, to
Logika dla archeologów Część 5: Zaprzeczenie i negacja
Logika dla archeologów Część 5: Zaprzeczenie i negacja Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Zaprzeczenie 2 Negacja 3 Negacja w logice Sprzeczne grupy
MATEMATYKA WYDZIAŁ MATEMATYKI - TEST 1
Wszelkie prawa zastrzeżone. Rozpowszechnianie, wypożyczanie i powielanie niniejszych testów w jakiejkolwiek formie surowo zabronione. W przypadku złamania zakazu mają zastosowanie przepisy dotyczące naruszenia
Matematyka Dyskretna Discrete Mathematics. Informatyka I stopień (I stopień / II stopień) ogólnoakademicki (ogólno akademicki / praktyczny)
KARTA MODUŁU / KARTA PRZEDMIOTU Kod modułu Nazwa modułu Nazwa modułu w języku angielskim Obowiązuje od roku akademickiego 2012/2013 Matematyka Dyskretna Discrete Mathematics A. USYTUOWANIE MODUŁU W SYSTEMIE
Logika i teoria mnogości Ćwiczenia
Logika i teoria mnogości Ćwiczenia Spis treści 1 Zdania logiczne i tautologie 1 2 Algebra zbiorów 3 3 Różnica symetryczna 4 4 Iloczyn kartezjański. Kwantyfikatory. 5 5 Kwantyfikatory. 6 6 Relacje 7 7 Relacje