W pracy - A - K znakiem ikonicznym przedmiotu B przedmiot A. F i jest podobny do przedmiotu B pod W, A F, B - dnym uznania odpowiedniego obiektu

Wielkość: px
Rozpocząć pokaz od strony:

Download "W pracy - A - K znakiem ikonicznym przedmiotu B przedmiot A. F i jest podobny do przedmiotu B pod W, A F, B - dnym uznania odpowiedniego obiektu"

Transkrypt

1 1 W pracy A K znakiem ikonicznym przedmiotu B przedmiot A F i jest podobny do przedmiotu B pod W, A F, B K F W 1. analogia. Wymaganie to stanowi w cyto obiektu dnym uznania odpowiedniego obiektu znak konkretny 1

2 66 2 A i B C reprezentowany przez tzw. y, jak Powiemy 2 S 1 = <U 1 ; R 1 1,..., R 1 n> oraz S 2 = <U 2 1; R 2 1,...,R 2 n) ANALOGICZNE TERTIUM COM PARATIONIS w postaci systemu = <U 3 ; R 3 1,...,R 3 n) wtedy i tylko wtedy, gdy U 1 U 3 i U 2 U 3 oraz R 1 1 R 3 1 i R 2 1 R 3 1 oraz... oraz R 1 n R 3 n i R 2 n R 3 n. obie tutaj ekstensjonalnie (jako zbiory n a W, obiektami a i b zachodzi relacja R, itd. niczny). jest byn Tak np. obiekt, jakim jest pewien fragment obrazu Zima P. Breugla, 2 Znak symbol alegoria, Warszawa 1970, s. 75. cie, rzeczy zawsze

3 67 { ta }, relacja znajdowania t a oto sylwetka czarnego kruka, na. 3 W znakiemtypem oraz znakiem konkretnym minologii C. S. lub w ter logicznych czy semiotycznych. Tak np. w The Dictionary of Philosophy i bardziej podobne do siebie (tak jak kot jest podobne do kot oraz do KOT), typu niach Podobnie Ch. W. Moms 3. Peirce sente (law) house, house, podpada (law) lub zwyczajem stosowania pewnych przeciwstawionym swym 4. Jakkolwiek 3 D. D. Runes, The Dictionary of Philosophy, New York [b.r.], s Ch. W. Morris, Foundation of the Theory of Signs, Chicago 1938, s. 48. jak to

4 68 ikonicznego. tzw. znakitypy czy chodzi o to,. fonemu? akustycznej, prowadzone przez Libermanna, Coopera, Schatza, p, t, k repr konkretach, jak writer rider), stach, jak toke. t w takich d w takich kontek atkowe ograniczenia, to uzyskamy"

5 69 4 mutatis mutandis odpowiednio typy idealne z logiki 5 relacja R, R j X S X oraz Tak zdefiniowana relacja S X, tylko jest ona w tym zbiorze przechodnia. W takim przypadku relacja S X X. X, wiedzy empirycznej W f (x, y,...) W wynika zdanie W, (1) na gruncie wiedzy W. f (x, y,...) jest pusta 5 J. Kmita,, 1970, s. 132.

6 70 spadania Galileusza, czyli zdanie typu: x x x = sile przy ziemskiego wywieranej na x, spadania obiektu x, podzielonej przez 2). alizacyjnego), a j definicji prawa idealizacyjnego). nego, (2) idealizacji. Typem id tego predykatu o dowolnym konkretnym obiekcie lub o ntce rycznej W. danej grupy kulturowej 6 zrelatyw kulturowej z prawami idealizacyjnymi kulturowymi typami idealnymi. Jedno iom C W C 6 J. Kmita, L. Nowak, Studia nad teoretycznymi podstawami humanistyki,

7 71 S, C S, C o wytworze W. rowej. pada deszcz wytwory tego rodzaju c 7 typy idealne dokonujemy aktu idealizacji kulturowej. KONKRETYZACJE relacji akustycznym czy odpowiednio ne konkretyzacjami r znych, 7 Kapi w K. Marksa.

8 72 systematyzacyjnym jest np. X i, to pewne elementy tej klasy konkre T, inne natomiast ; elementami klasy X i, powiedzmy typu idealnego T, X j ( X i j ) idealnego nale X i. idealny T, raczej nego typu idealnego od uprzedniego rozpoznania (w trybie hipotetycznym) 5 zeciwa znaku o dowolnym tertium comparationis charakterystykach). Ch sienie danego konkretnego znaku ikonicznego. typu powiedniej innej struktury. nie

9 IKONICZNEGO 73 Niech np. pewien fragment dekoracji teatralnej A przedstawia (jest konkretnym znakiem ikonicznym) 8 drzewo B; A odpowiednio w uniwersum i relacjach pewnej struktury i tylko te przypadki. Ta tertium comparationis. A,. Niech z kolei fragment A' pewnej innej dekoracji teatralnej do tej 9, przedstawia (jest konkretnym znakiem ikonicznym) to samo drzewo B; A' m oraz odpowiednio w uniwersum i tylko te tertium comparationis. dekoracja A' linearny, w terminologii H. parationis odpowiednio dla struktur A i A' oraz pr ustalenia odniesienia struktur A oraz A z drugiej strony B tertia com A B oraz iloczyn cech I', A' oraz przedstawionym analogii relewantnej dla lnemu systematyzacyjnym 8 9. Podstawowe, Warszawa Kra

10 74 odpowiednio 6 runek szego jako konkretyzacji typu idealnego, tak utrzymanie zasady ana kiem ikonicznym jako typem idealnym a jego odniesieniem przedmiotowym, znaku ikonicznego. malarstwa iej od siebie obiekt

11 U IKONICZNEGO 75 konkretyzacjami tego samego znaku ikonicznego i z tego teatralna A' generalnie cy. Dekoracja teatralna A oraz dekoracja b szeregu systematyzacyjnego; mamy tu do czynienia z szeregiem systemacoraz bardziej do dealnych, suma ta na gruncie wiedzy o sztuce jest zbiorem icznytyp idealny nie powinien dzy A oraz A' przypomina raczej fonem reprezentowany przez odmienne dnie

12 7 6 dzenie relacji typu idealnego konkretyzowanego przez kontekst. Fizykalne cechy konkretyzacji

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 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

Bardziej szczegółowo

Wstęp do Matematyki (2)

Wstęp do Matematyki (2) Wstęp do Matematyki (2) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Własności relacji Jerzy Pogonowski (MEG) Wstęp do Matematyki (2) Własności relacji 1 / 24 Wprowadzenie

Bardziej szczegółowo

Logika dla socjologów Część 4: Elementy semiotyki O pojęciach, nazwach i znakach

Logika dla socjologów Część 4: Elementy semiotyki O pojęciach, nazwach i znakach Logika dla socjologów Część 4: Elementy semiotyki O pojęciach, nazwach i znakach Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Krótkie wprowadzenie, czyli co

Bardziej szczegółowo

Ziemia obraca się wokół Księżyca, bo posiadając odpowiednią wiedzę można stwierdzić, czy są prawdziwe, czy fałszywe. Zdaniami nie są wypowiedzi:

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ść

Bardziej szczegółowo

Katedra Teorii i Filozofii Prawa Poznań, dnia 27 września 2018 r.

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:

Bardziej szczegółowo

LOGIKA Klasyczny Rachunek Zdań

LOGIKA Klasyczny Rachunek Zdań LOGIKA Klasyczny Rachunek Zdań Robert Trypuz trypuz@kul.pl 5 listopada 2013 Robert Trypuz (trypuz@kul.pl) Klasyczny Rachunek Zdań 5 listopada 2013 1 / 24 PLAN WYKŁADU 1 Alfabet i formuła KRZ 2 Zrozumieć

Bardziej szczegółowo

Filozofia z elementami logiki Język jako system znaków słownych część 2

Filozofia z elementami logiki Język jako system znaków słownych część 2 Filozofia z elementami logiki Język jako system znaków słownych część 2 Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl Rozkład jazdy 1 Pojęcie znaku 2 Funkcje wypowiedzi językowych

Bardziej szczegółowo

Katedra Teorii i Filozofii Prawa Poznań, dnia 12 lutego 2013 r. OPISU MODUŁU KSZTAŁCENIA (SYLABUS)

Katedra Teorii i Filozofii Prawa Poznań, dnia 12 lutego 2013 r. OPISU MODUŁU KSZTAŁCENIA (SYLABUS) Katedra Teorii i Filozofii Prawa Poznań, dnia 12 lutego 2013 r. Zespół wykładowców: prof. UAM dr hab. Jarosław Mikołajewicz dr Marzena Kordela Zespół prowadzących ćwiczenia: prof. UAM dr hab. Jarosław

Bardziej szczegółowo

Wprowadzenie do logiki Język jako system znaków słownych

Wprowadzenie do logiki Język jako system znaków słownych Wprowadzenie do logiki Język jako system znaków słownych Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl język system znaków słownych skoro system, to musi być w tym jakiś porządek;

Bardziej szczegółowo

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 14. Wprowadzenie do logiki intuicjonistycznej

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 14. Wprowadzenie do logiki intuicjonistycznej Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 14. Wprowadzenie do logiki intuicjonistycznej 1 Przedstawione na poprzednich wykładach logiki modalne możemy uznać

Bardziej szczegółowo

1. Wprowadzenie do języka PHP

1. Wprowadzenie do języka PHP 1. Wprowadzenie do języka PHP Język PHP jest generalnie w swojej składni podobny do języka C, chociaż występuje tu szereg różnic. 1.1. Zmienne W PHP nazwy zmiennych poprzedzamy znakiem dolara ($). Nie

Bardziej szczegółowo

Logika i semiotyka. Znak jako jedność signifié i signifiant. Wykład VI: (Ferdynand De Saussure)

Logika i semiotyka. Znak jako jedność signifié i signifiant. Wykład VI: (Ferdynand De Saussure) Logika i semiotyka Wykład VI: Znak jako jedność signifié i signifiant (Ferdynand De Saussure) Językoznawstwo i semiologia Ferdynand de Saussure (1857 1913) językoznawca, semiolog, strukturalista wykłady

Bardziej szczegółowo

Wprowadzenie do logiki Zdania, cz. III Język Klasycznego Rachunku Predykatów

Wprowadzenie do logiki Zdania, cz. III Język Klasycznego Rachunku Predykatów Wprowadzenie do logiki Zdania, cz. III Język Klasycznego Rachunku Predykatów Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan na pytanie o odniesienie przedmiotowe zdań odpowiedź

Bardziej szczegółowo

Algebra relacji. nazywamy każdy podzbiór iloczynu karteziańskiego D 1 D 2 D n.

Algebra relacji. nazywamy każdy podzbiór iloczynu karteziańskiego D 1 D 2 D n. Algebra relacji Definicja 1 (Relacja matematyczna). Relacją R między elementami zbioru D 1 D 2 D n, gdzie przypomnijmy D 1 D 2 D n = {(d 1, d 2,..., d n ) : d i D i, i = 1, 2,..., n}, nazywamy każdy podzbiór

Bardziej szczegółowo

Rysunek 1: Przykłady graficznej prezentacji klas.

Rysunek 1: Przykłady graficznej prezentacji klas. 4 DIAGRAMY KLAS. 4 Diagramy klas. 4.1 Wprowadzenie. Diagram klas - w ujednoliconym języku modelowania jest to statyczny diagram strukturalny, przedstawiający strukturę systemu w modelach obiektowych przez

Bardziej szczegółowo

Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu.

Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu. Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu. 1 Logika Klasyczna obejmuje dwie teorie:

Bardziej szczegółowo

Zbiory, relacje i funkcje

Zbiory, relacje i funkcje Zbiory, relacje i funkcje Zbiory będziemy zazwyczaj oznaczać dużymi literami A, B, C, X, Y, Z, natomiast elementy zbiorów zazwyczaj małymi. Podstawą zależność między elementem zbioru a zbiorem, czyli relację

Bardziej szczegółowo

KLASYCZNE ZDANIA KATEGORYCZNE. ogólne - orzekaj co± o wszystkich desygnatach podmiotu szczegóªowe - orzekaj co± o niektórych desygnatach podmiotu

KLASYCZNE ZDANIA KATEGORYCZNE. ogólne - orzekaj co± o wszystkich desygnatach podmiotu szczegóªowe - orzekaj co± o niektórych desygnatach podmiotu ➏ Filozoa z elementami logiki Na podstawie wykªadów dra Mariusza Urba«skiego Sylogistyka Przypomnij sobie: stosunki mi dzy zakresami nazw KLASYCZNE ZDANIA KATEGORYCZNE Trzy znaczenia sªowa jest trzy rodzaje

Bardziej szczegółowo

Logika i semiotyka. Znak jest Triadą... Wykład III: (Charles Sanders Peirce)

Logika i semiotyka. Znak jest Triadą... Wykład III: (Charles Sanders Peirce) Logika i semiotyka Wykład III: Znak jest Triadą... (Charles Sanders Peirce) Charles Sanders Peirce *1839, 1914 twórca pragmaty(cy)zmu i semiotyki inspiracje: Kant, Th. Reid krytyczna filozofia zdrowego

Bardziej szczegółowo

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykłady 12 i 13. Dowód i dowodzenie w KRP. Tezy KRP

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykłady 12 i 13. Dowód i dowodzenie w KRP. Tezy KRP Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykłady 12 i 13. Dowód i dowodzenie w KRP. Tezy KRP 1 Pojęcie dowodu w KRP Pojęcia: formuły zdaniowej języka Klasycznego Rachunku

Bardziej szczegółowo

Równania i nierówności wykładnicze i logarytmiczne

Równania i nierówności wykładnicze i logarytmiczne Równania i nierówności wykładnicze i logarytmiczne Paweł Foralewski Teoria Ponieważ funkcje wykładnicza i logarytmiczna zostały wprowadzone wcześniej, tutaj przypomnimy tylko definicję logarytmu i jego

Bardziej szczegółowo

Bezpieczeństwo społeczne

Bezpieczeństwo społeczne Bezpieczeństwo społeczne Potrzeby współczesnego społeczeństwa w zakresie bezpieczeństwa Potrzeba - odczuwany brak czegoś i chęć jego zaspokojenia. W literaturze znana jest hierarchia potrzeb według Maslowa

Bardziej szczegółowo

Kiedy umowa najmu samochodu może zostać uznana na gruncie prawa podatkowego za umowę leasingu?

Kiedy umowa najmu samochodu może zostać uznana na gruncie prawa podatkowego za umowę leasingu? Kiedy umowa najmu samochodu może zostać uznana na gruncie prawa podatkowego za umowę leasingu? Do kosztów uzyskania przychodów można zaliczyć wydatki związane z eksploatacją samochodu osobowego nie będącego

Bardziej szczegółowo

Logika dla socjologów Część 3: Elementy teorii zbiorów i relacji

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

Bardziej szczegółowo

Kultura języka. Elementy językoznawstwa. Mateusz Zeifert

Kultura języka. Elementy językoznawstwa. Mateusz Zeifert Kultura języka. Elementy językoznawstwa Mateusz Zeifert Nauki o języku Językoznawstwo, Semiotyka (semiologia), Filozofia (w tym filozofia języka), Filologia, Analiza literacka, Psychologia, Socjologia,

Bardziej szczegółowo

WYROK W IMIENIU RZECZYPOSPOLITEJ POLSKIEJ. Protokolant Danuta Bratkrajc

WYROK W IMIENIU RZECZYPOSPOLITEJ POLSKIEJ. Protokolant Danuta Bratkrajc Sygn. akt IV KK 713/18 WYROK W IMIENIU RZECZYPOSPOLITEJ POLSKIEJ Sąd Najwyższy w składzie: Dnia 13 grudnia 2018 r. SSN Wiesław Kozielewicz (przewodniczący, sprawozdawca) SSN Andrzej Ryński SSN Barbara

Bardziej szczegółowo

Kurs programowania. Wykład 12. Wojciech Macyna. 7 czerwca 2017

Kurs programowania. Wykład 12. Wojciech Macyna. 7 czerwca 2017 Wykład 12 7 czerwca 2017 Czym jest UML? UML składa się z dwóch podstawowych elementów: notacja: elementy graficzne, składnia języka modelowania, metamodel: definicje pojęć języka i powiazania pomiędzy

Bardziej szczegółowo

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 5. Wprowadzenie do semantyki teoriomodelowej cz.5. Wynikanie logiczne 1 Na poprzednim wykładzie udowodniliśmy m.in.:

Bardziej szczegółowo

Lista 2 logika i zbiory. Zad 1. Dane są zbiory A i B. Sprawdź, czy zachodzi któraś z relacji:. Wyznacz.

Lista 2 logika i zbiory. Zad 1. Dane są zbiory A i B. Sprawdź, czy zachodzi któraś z relacji:. Wyznacz. Lista 2 logika i zbiory. Zad 1. Dane są zbiory A i B. Sprawdź, czy zachodzi któraś z relacji:. Wyznacz. Na początek wypiszmy elementy obu zbiorów: A jest zbiorem wszystkich liczb całkowitych, które podniesione

Bardziej szczegółowo

1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych.

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

Bardziej szczegółowo

tel/fax 018 443 82 13 lub 018 443 74 19 NIP 7343246017 Regon 120493751

tel/fax 018 443 82 13 lub 018 443 74 19 NIP 7343246017 Regon 120493751 Zespół Placówek Kształcenia Zawodowego 33-300 Nowy Sącz ul. Zamenhoffa 1 tel/fax 018 443 82 13 lub 018 443 74 19 http://zpkz.nowysacz.pl e-mail biuro@ckp-ns.edu.pl NIP 7343246017 Regon 120493751 Wskazówki

Bardziej szczegółowo

Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań

Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań System aksjomatyczny logiki Budując logikę

Bardziej szczegółowo

Programowanie w C++ Wykład 5. Katarzyna Grzelak. 16 kwietnia K.Grzelak (Wykład 1) Programowanie w C++ 1 / 27

Programowanie w C++ Wykład 5. Katarzyna Grzelak. 16 kwietnia K.Grzelak (Wykład 1) Programowanie w C++ 1 / 27 Programowanie w C++ Wykład 5 Katarzyna Grzelak 16 kwietnia 2018 K.Grzelak (Wykład 1) Programowanie w C++ 1 / 27 Pojęcia z poprzednich wykładów Tablica to ciag obiektów tego samego typu, zajmujacy ciagły

Bardziej szczegółowo

Wprowadzenie do składni

Wprowadzenie do składni Uniwersytet Kardynała Stefana Wyszyńskiego 1 Przedmiot składni i jej miejsce w systemie języka 2 3 Hierarchia jednostek języka nielinearne linearne (liniowe) cechy dystynktywne semantyczne dystynktywne,

Bardziej szczegółowo

Typy, klasy typów, składnie w funkcji

Typy, klasy typów, składnie w funkcji Typy, klasy typów, składnie w funkcji Typy w Haskell Każde wyrażenie w Haskell posiada zdefiniowany typ. Dzięki temu już na etapie kompilacji kodu następuje sprawdzenie poprawności kodu i zabezpiecza nas

Bardziej szczegółowo

Klasyczny rachunek predykatów

Klasyczny rachunek predykatów Kultura logiczna Klasyczny rachunek predykatów Bartosz Gostkowski bgostkowski@gmail.com Alfabet klasycznego rachunku zdań reguły konsytutywne języka Alfabet klasycznego rachunku predykatów (KRP Do alfabetu

Bardziej szczegółowo

Wykład 4 Logika dla prawników. Nazwy, Relacje między zakresami nazw, Podział logiczny, Definicje

Wykład 4 Logika dla prawników. Nazwy, Relacje między zakresami nazw, Podział logiczny, Definicje Wykład 4 Logika dla prawników Nazwy, Relacje między zakresami nazw, Podział logiczny, Definicje Nazwy Nazwą jest taka częśd zdania, która w zdaniu może pełnid funkcję podmiotu lub orzecznika. Nazwami mogą

Bardziej szczegółowo

Metodologia prowadzenia badań naukowych Semiotyka, Argumentacja

Metodologia prowadzenia badań naukowych Semiotyka, Argumentacja Semiotyka, Argumentacja Grupa L3 3 grudnia 2009 Zarys Semiotyka Zarys Semiotyka SEMIOTYKA Semiotyka charakterystyka i działy Semiotyka charakterystyka i działy 1. Semiotyka Semiotyka charakterystyka i

Bardziej szczegółowo

Prawa rachunku zbiorów to takie wyra enia j zyka tego rachunku, które staj si zdaniami prawdziwymi przy ka dym podstawieniu nazw zbiorów za zmienne.

Prawa rachunku zbiorów to takie wyra enia j zyka tego rachunku, które staj si zdaniami prawdziwymi przy ka dym podstawieniu nazw zbiorów za zmienne. Prawa rachunku zbiorów to takie wyra enia j zyka tego rachunku, które staj si zdaniami prawdziwymi przy ka dym podstawieniu nazw zbiorów za zmienne. PRAWA RACHUNKU ZBIORÓW LP PRAWO NAZWA 1 A B = B A A

Bardziej szczegółowo

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 9. Koniunkcyjne postacie normalne i rezolucja w KRZ

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 9. Koniunkcyjne postacie normalne i rezolucja w KRZ Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 9. Koniunkcyjne postacie normalne i rezolucja w KRZ 1 Inferencyjna równoważność formuł Definicja 9.1. Formuła A jest

Bardziej szczegółowo

Wprowadzenie do Prologa

Wprowadzenie do Prologa Wprowadzenie do Prologa Rozdział 1 Tutorial Introduction Maciej Gapiński Dominika Wałęga Spis treści 1. Podstawowe informacje 2. Obiekty i relacje 3. Reguły 4. Fakty 5. Zapytania 6. Zmienne i stałe Podstawowe

Bardziej szczegółowo

Montaż oświetlenia punktowego w sufitach. podwieszanych

Montaż oświetlenia punktowego w sufitach. podwieszanych Montaż oświetlenia punktowego w sufitach podwieszanych Środki ostrożności Aby bezpiecznie wykonać pracę należy: - przed rozpoczęciem pracy wyłączyć zasilanie prądu, wykręcając bezpieczniki albo odłączając

Bardziej szczegółowo

Jacek Skorupski pok. 251 tel konsultacje: poniedziałek , sobota zjazdowa

Jacek Skorupski pok. 251 tel konsultacje: poniedziałek , sobota zjazdowa Jacek Skorupski pok. 251 tel. 234-7339 jsk@wt.pw.edu.pl http://skorupski.waw.pl/mmt prezentacje ogłoszenia konsultacje: poniedziałek 16 15-18, sobota zjazdowa 9 40-10 25 Udział w zajęciach Kontrola wyników

Bardziej szczegółowo

Paradygmaty programowania

Paradygmaty programowania Paradygmaty programowania Jacek Michałowski, Piotr Latanowicz 15 kwietnia 2014 Jacek Michałowski, Piotr Latanowicz () Paradygmaty programowania 15 kwietnia 2014 1 / 12 Zadanie 1 Zadanie 1 Rachunek predykatów

Bardziej szczegółowo

Teoretyczne podstawy informatyki

Teoretyczne podstawy informatyki Teoretyczne podstawy informatyki Wykład 6a: Model danych oparty na zbiorach http://hibiscus.if.uj.edu.pl/~erichter/dydaktyka2010/tpi-2010 Prof. dr hab. Elżbieta Richter-Wąs 1 Model danych oparty na zbiorach

Bardziej szczegółowo

mgr Anna Dziuba Uniwersytet Wrocławski Katedra Teorii i Filozofii Prawa mgr Anna Dziuba

mgr Anna Dziuba Uniwersytet Wrocławski Katedra Teorii i Filozofii Prawa mgr Anna Dziuba Uniwersytet Wrocławski Katedra Teorii i Filozofii Prawa POJĘCIE NAZWY NAZWĄ jest wyrażenie, które w zdaniu podmiotowo orzecznikowym nadaje się na podmiot lub orzecznik S (podmiot) jest P (orzecznik) Kasia

Bardziej szczegółowo

UML w Visual Studio. Michał Ciećwierz

UML w Visual Studio. Michał Ciećwierz UML w Visual Studio Michał Ciećwierz UNIFIED MODELING LANGUAGE (Zunifikowany język modelowania) Pozwala tworzyć wiele systemów (np. informatycznych) Pozwala obrazować, specyfikować, tworzyć i dokumentować

Bardziej szczegółowo

RACHUNEK ZBIORÓW 5 RELACJE

RACHUNEK ZBIORÓW 5 RELACJE RELACJE Niech X i Y są dowolnymi zbiorami. Układ ich elementów, oznaczony symbolem x,y (lub też (x,y) ), gdzie x X i y Y, nazywamy parą uporządkowaną o poprzedniku x i następniku y. a,b b,a b,a b,a,a (o

Bardziej szczegółowo

Logika. dr Agnieszka Figaj

Logika. dr Agnieszka Figaj Logika dr Agnieszka Figaj O czym to będzie? Dwa fundamentalne pytania: Czym zajmuje się logika? Czym my zajmować się będziemy? Logika (grec. logos-oznacza rozum) Nauka normatywna, analizująca źródła poznania

Bardziej szczegółowo

WYMAGANIA EDUKACYJNE Z JĘZYKA POLSKIEGO - POZIOM PODSTAWOWY

WYMAGANIA EDUKACYJNE Z JĘZYKA POLSKIEGO - POZIOM PODSTAWOWY WYMAGANIA EDUKACYJNE Z JĘZYKA POLSKIEGO - POZIOM PODSTAWOWY WIADOMOŚCI O EPOCE wiadomości Określa ramy czasowe i genezę nazwy epoki. Wymienia głównych reprezentantów omawianych kierunków literackich. Wymienia

Bardziej szczegółowo

znaczeniach. Po pierwsze

znaczeniach. Po pierwsze LESZEK NOWAK Wypo Jan jest Polakiem znaczeniach. Po pierwsze W omawianym, wnego. _ * Szkic ten jest fragmentem mej pracy doktorskiej Problemy znac wania normy, napisanej w 967 r. pod kierunkiem prof. 90

Bardziej szczegółowo

Wstęp do logiki. Klasyczny Rachunek Zdań II

Wstęp do logiki. Klasyczny Rachunek Zdań II Wstęp do logiki Klasyczny Rachunek Zdań II DEF. 1 (Słownik). Następujące znaki tworzą słownik języka KRZ: p 1, p 2, p 3, (zmienne zdaniowe) ~,,,, (spójniki) ), ( (nawiasy). DEF. 2 (Wyrażenie). Wyrażeniem

Bardziej szczegółowo

Algebra Boole a i jej zastosowania

Algebra Boole a i jej zastosowania lgebra oole a i jej zastosowania Wprowadzenie Niech dany będzie zbiór dwuelementowy, którego elementy oznaczymy symbolami 0 oraz 1, tj. {0, 1}. W zbiorze tym określamy działania sumy :, iloczynu : _ oraz

Bardziej szczegółowo

PROJEKT STAŁEJ ORGANIZACJI RUCHU

PROJEKT STAŁEJ ORGANIZACJI RUCHU ZAKŁAD PROJEKTOWANIA NADZORU I USŁUG CONSULTINGOWYCH INŻDRÓG S.C. KRYSTYNA I WIESŁAW ŁUSZYŃSCY ADRES: UL. CHEŁMIŃSKA 106A/38 86-300 GRUDZIĄDZ TEL/FAX: (056) 4638042 E-MAIL: biuro@inzdrog.com.pl NIP: 876-15-14-389

Bardziej szczegółowo

Treść nieostrych czynności mowy. Joanna Odrowąż-Sypniewska Instytut Filozofii UW

Treść nieostrych czynności mowy. Joanna Odrowąż-Sypniewska Instytut Filozofii UW Treść nieostrych czynności mowy Joanna Odrowąż-Sypniewska Instytut Filozofii UW Nieostrość posiadanie przypadków granicznych tolerancyjność Paradoks łysego Człowiek, który ma 0 włosów na głowie, jest

Bardziej szczegółowo

K A R T A P R Z E D M I O T U

K A R T A P R Z E D M I O T U Uczelnia Wydział Kierunek studiów Poziom kształcenia Profil kształcenia Uniwersytet Marii Curie-Skłodowskiej w Lublinie Wydział Prawa i Administracji Administracja Studia pierwszego stopnia Profil ogólnoakademicki

Bardziej szczegółowo

Semiotyka nauka o znakach

Semiotyka nauka o znakach Semiotyka logiczna Semiotyka nauka o znakach John Locke (1632 1704) ( ) tę gałąź nauk można nazwać ( ) semiotyką, czyli nauką o znakach ( ). Jej zadaniem jest rozważać natury znaków, którymi umysł się

Bardziej szczegółowo

Wykład 4. Decyzje menedżerskie

Wykład 4. Decyzje menedżerskie Dr inż. Aleksander Gwiazda Zarządzanie strategiczne Wykład 4 Decyzje menedżerskie Plan wykładu Wprowadzenie Wprowadzenie Pojęcie decyzji Decyzja to świadoma reakcja na sytuacje powstające w trakcie funkcjonowania

Bardziej szczegółowo

JÓZEF W. BREMER WPROWADZENIE DO LOGIKI

JÓZEF W. BREMER WPROWADZENIE DO LOGIKI JÓZEF W. BREMER WPROWADZENIE DO LOGIKI Wydawnictwo WAM Kraków 2006 Spis tre ci Przedmowa Jana Wole skiego 9 Wst p 11 1 Logika i jej rozumienie 17 1.1 Teksty wprowadzaj ce...................... 17 1.1.1

Bardziej szczegółowo

1. Które składowe klasa posiada zawsze, niezależnie od tego czy je zdefiniujemy, czy nie?

1. Które składowe klasa posiada zawsze, niezależnie od tego czy je zdefiniujemy, czy nie? 1. Które składowe klasa posiada zawsze, niezależnie od tego czy je zdefiniujemy, czy nie? a) konstruktor b) referencje c) destruktor d) typy 2. Które z poniższych wyrażeń są poprawne dla klasy o nazwie

Bardziej szczegółowo

1 Pochodne wyższych rzędów

1 Pochodne wyższych rzędów Pochodne wyższych rzędów Pochodną rzędu drugiego lub drugą pochodną funkcji y = f(x) nazywamy pochodną pierwszej pochodnej tej funkcji. Analogicznie definiujemy pochodne wyższych rzędów, jako pochodne

Bardziej szczegółowo

Elementy logiki matematycznej

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ść

Bardziej szczegółowo

Test przykładowy 2 PAI WSB Wrocław /06/2018

Test przykładowy 2 PAI WSB Wrocław /06/2018 Imię i Nazwisko: Student ID: Part 1: (Prawda lub Fałsz (T lub F)) 15. Która z poniższych deklaracji funkcji jest nieprawidłowa: A. function Sum(a, b, c){; B. function Sum(var a, var b); C. function Sum(a){;

Bardziej szczegółowo

KARTA PRZEDMIOTU 1. NAZWA PRZEDMIOTU: ROZPOZNAWANIE I ZWALCZANIE WSPÓŁCZESNEGO TERRORYZMU

KARTA PRZEDMIOTU 1. NAZWA PRZEDMIOTU: ROZPOZNAWANIE I ZWALCZANIE WSPÓŁCZESNEGO TERRORYZMU KARTA PRZEDMIOTU 1. NAZWA PRZEDMIOTU: ROZPOZNAWANIE I ZWALCZANIE WSPÓŁCZESNEGO TERRORYZMU 2. KIERUNEK: Bezpieczeństwo narodowe 3. POZIOM STUDIÓW: Studia pierwszego stopnia 4. ROK/ SEMESTR STUDIÓW: rok

Bardziej szczegółowo

FUNKCJE LICZBOWE. x 1

FUNKCJE LICZBOWE. x 1 FUNKCJE LICZBOWE Zbiory postaci {x R: x a}, {x R: x a}, {x R: x < a}, {x R: x > a} oznaczane sa symbolami (,a], [a, ), (,a) i (a, ). Nazywamy pó lprostymi domknie tymi lub otwartymi o końcu a. Symbol odczytujemy

Bardziej szczegółowo

Temat: Funkcje. Własności ogólne. A n n a R a j f u r a, M a t e m a t y k a s e m e s t r 1, W S Z i M w S o c h a c z e w i e 1

Temat: Funkcje. Własności ogólne. A n n a R a j f u r a, M a t e m a t y k a s e m e s t r 1, W S Z i M w S o c h a c z e w i e 1 Temat: Funkcje. Własności ogólne A n n a R a j f u r a, M a t e m a t y k a s e m e s t r 1, W S Z i M w S o c h a c z e w i e 1 Kody kolorów: pojęcie zwraca uwagę * materiał nieobowiązkowy A n n a R a

Bardziej szczegółowo

Prowadzący. Doc. dr inż. Jakub Szymon SZPON. Projekt jest współfinansowany ze środków Unii Europejskiej w ramach Europejskiego Funduszu Społecznego.

Prowadzący. Doc. dr inż. Jakub Szymon SZPON. Projekt jest współfinansowany ze środków Unii Europejskiej w ramach Europejskiego Funduszu Społecznego. EDUKACJA DLA BEZPIECZEŃSTWA studia podyplomowe dla czynnych zawodowo nauczycieli szkół gimnazjalnych i ponadgimnazjalnych Projekt jest współfinansowany ze środków Unii Europejskiej w ramach Europejskiego

Bardziej szczegółowo

EDU TALENT - serwis pomocy w pisaniu prac magisterskich i licencjackich dla studentów

EDU TALENT - serwis pomocy w pisaniu prac magisterskich i licencjackich dla studentów Analiza filozoficzna księgi X (Iota) z Metafizyki Arystotelesa Filozofia arystotelejska zawsze była i zawsze będzie inspiracją dla kolejnych pokoleń filozofów. Zawiera ona wiele wskazówek nie tylko dla

Bardziej szczegółowo

zaznaczymy na osi liczbowej w ten sposób:

zaznaczymy na osi liczbowej w ten sposób: 1. Zagadnienia teoretyczne. 1.1. Przedział domknięty Przykład 1. Pisząc mamy na myśli wszystkie liczby rzeczywiste od -4 do 7, razem z -4 i 7. Jeśli napiszemy, będziemy mówić o zbiorze wszystkich liczb

Bardziej szczegółowo

Wykład 9: Polimorfizm i klasy wirtualne

Wykład 9: Polimorfizm i klasy wirtualne Programowanie obiektowe Wykład 9: i klasy wirtualne 1 dr Artur Bartoszewski - Programowanie obiektowe, sem. 1I- WYKŁAD Programowanie obiektowe i metody wirtualne 2 W programowaniu obiektowym polimorfizm

Bardziej szczegółowo

Internet Semantyczny i Logika II

Internet Semantyczny i Logika II Internet Semantyczny i Logika II Ontologie Definicja Grubera: Ontologia to formalna specyfikacja konceptualizacji pewnego obszaru wiedzy czy opisu elementów rzeczywistości. W Internecie Semantycznym językiem

Bardziej szczegółowo

Metalogika (1) Jerzy Pogonowski. Uniwersytet Opolski. Zakład Logiki Stosowanej UAM

Metalogika (1) Jerzy Pogonowski. Uniwersytet Opolski. Zakład Logiki Stosowanej UAM Metalogika (1) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Uniwersytet Opolski Jerzy Pogonowski (MEG) Metalogika (1) Uniwersytet Opolski 1 / 21 Wstęp Cel: wprowadzenie

Bardziej szczegółowo

Paweł Kurzawa, Delfina Kongo

Paweł Kurzawa, Delfina Kongo Paweł Kurzawa, Delfina Kongo Pierwsze prace nad standaryzacją Obiektowych baz danych zaczęły się w roku 1991. Stworzona została grupa do prac nad standardem, została ona nazwana Object Database Management

Bardziej szczegółowo

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ 1 Tezy KRZ Pewien system aksjomatyczny KRZ został przedstawiony

Bardziej szczegółowo

Podstawy programowania. Wykład PASCAL. Zmienne wskaźnikowe i dynamiczne. dr Artur Bartoszewski - Podstawy prograowania, sem.

Podstawy programowania. Wykład PASCAL. Zmienne wskaźnikowe i dynamiczne. dr Artur Bartoszewski - Podstawy prograowania, sem. Podstawy programowania Wykład PASCAL Zmienne wskaźnikowe i dynamiczne 1 dr Artur Bartoszewski - Podstawy prograowania, sem. 1- WYKŁAD Rodzaje zmiennych Zmienne dzielą się na statyczne i dynamiczne. Zmienna

Bardziej szczegółowo

I B. EFEKT FOTOWOLTAICZNY. BATERIA SŁONECZNA

I B. EFEKT FOTOWOLTAICZNY. BATERIA SŁONECZNA 1 OPTOELEKTRONKA B. EFEKT FOTOWOLTACZNY. BATERA SŁONECZNA Cel ćwiczenia: 1.Zbadanie zależności otoprądu zwarcia i otonapięcia zwarcia od natężenia oświetlenia. 2. Wyznaczenie sprawności energetycznej baterii

Bardziej szczegółowo

PODZIAŁ LOGICZNY. Zbiór Z. Zbiór A. Zbiór B

PODZIAŁ LOGICZNY. Zbiór Z. Zbiór A. Zbiór B Fragment książki Jarosława Strzeleckiego Logika z wyobraźnią. Wszelki uwagi merytoryczne i stylistyczne proszę kierować pod adres jstrzelecki@uwm.edu.pl PODZIAŁ LOGICZNY I. DEFINICJA: Podziałem logicznym

Bardziej szczegółowo

RESTREINT UE. Strasburg, dnia 1.7.2014 r. COM(2014) 447 final 2014/0208 (NLE) This document was downgraded/declassified Date 23.7.2014.

RESTREINT UE. Strasburg, dnia 1.7.2014 r. COM(2014) 447 final 2014/0208 (NLE) This document was downgraded/declassified Date 23.7.2014. KOMISJA EUROPEJSKA Strasburg, dnia 1.7.2014 r. COM(2014) 447 final 2014/0208 (NLE) This document was downgraded/declassified Date 23.7.2014 Wniosek ROZPORZĄDZENIE RADY zmieniające rozporządzenie (WE) nr

Bardziej szczegółowo

Kategorie inwestycyjne poprowadzenia ruchu rowerowego

Kategorie inwestycyjne poprowadzenia ruchu rowerowego Kategorie inwestycyjne poprowadzenia ruchu rowerowego Opracowanie koncepcji układu ścieżek rowerowych w Lubartowie określi wymagania techniczne, jakim powinna odpowiadać infrastruktura drogowa przeznaczona

Bardziej szczegółowo

PROE wykład 7 kontenery tablicowe, listy. dr inż. Jacek Naruniec

PROE wykład 7 kontenery tablicowe, listy. dr inż. Jacek Naruniec PROE wykład 7 kontenery tablicowe, listy dr inż. Jacek Naruniec Prosty kontener oparty na tablicach Funkcja dodawanie pojedynczego słonia do kontenera: 1 2 3 4 5 6 7 11 12 13 14 15 16 17 21 22 23 24 25

Bardziej szczegółowo

Algebrą nazywamy strukturę A = (A, {F i : i I }), gdzie A jest zbiorem zwanym uniwersum algebry, zaś F i : A F i

Algebrą nazywamy strukturę A = (A, {F i : i I }), gdzie A jest zbiorem zwanym uniwersum algebry, zaś F i : A F i Algebrą nazywamy strukturę A = (A, {F i : i I }), gdzie A jest zbiorem zwanym uniwersum algebry, zaś F i : A F i A (symbol F i oznacza ilość argumentów funkcji F i ). W rozważanych przez nas algebrach

Bardziej szczegółowo

Podstawy programowania skrót z wykładów:

Podstawy programowania skrót z wykładów: Podstawy programowania skrót z wykładów: // komentarz jednowierszowy. /* */ komentarz wielowierszowy. # include dyrektywa preprocesora, załączająca biblioteki (pliki nagłówkowe). using namespace

Bardziej szczegółowo

Przykład 1: Funkcja jest obiektem, przypisanie funkcji o nazwie function() do zmiennej o nazwie funkcja1

Przykład 1: Funkcja jest obiektem, przypisanie funkcji o nazwie function() do zmiennej o nazwie funkcja1 Rachunek Prawdopodobieństwa i Statystyka lab 3. Kaja Gutowska (Kaja.Gutowska@cs.put.poznan.pl) 1. Funkcje: - Funkcje nie powinny korzystać ze zmiennych globalnych. - Funkcje powinny być możliwie krótkie.

Bardziej szczegółowo

Załóżmy, że obserwujemy nie jedną lecz dwie cechy, które oznaczymy symbolami X i Y. Wyniki obserwacji obu cech w i-tym obiekcie oznaczymy parą liczb

Załóżmy, że obserwujemy nie jedną lecz dwie cechy, które oznaczymy symbolami X i Y. Wyniki obserwacji obu cech w i-tym obiekcie oznaczymy parą liczb Współzależność Załóżmy, że obserwujemy nie jedną lecz dwie cechy, które oznaczymy symbolami X i Y. Wyniki obserwacji obu cech w i-tym obiekcie oznaczymy parą liczb (x i, y i ). Geometrycznie taką parę

Bardziej szczegółowo

Przedmiotowy system oceniania (PSO) Wymagania programowe z wiedzy o kulturze dla zakresu podstawowego

Przedmiotowy system oceniania (PSO) Wymagania programowe z wiedzy o kulturze dla zakresu podstawowego Przedmiotowy system oceniania (PSO) Wymagania programowe z wiedzy o kulturze dla zakresu podstawowego Zakres merytoryczny Lp Ocena Skala procentowa Poziom podstawowy Uczeń umie: 1 Niedostateczny Poniżej

Bardziej szczegółowo

1 Klasy. 1.1 Denicja klasy. 1.2 Skªadniki klasy.

1 Klasy. 1.1 Denicja klasy. 1.2 Skªadniki klasy. 1 Klasy. Klasa to inaczej mówi c typ który podobnie jak struktura skªada si z ró»nych typów danych. Tworz c klas programista tworzy nowy typ danych, który mo»e by modelem rzeczywistego obiektu. 1.1 Denicja

Bardziej szczegółowo

Z punktu widzenia kognitywisty: język naturalny

Z punktu widzenia kognitywisty: język naturalny Z punktu widzenia kognitywisty: język naturalny Wykład I: Czym jest język? http://konderak.eu/pwk13.html Piotr Konderak kondorp@bacon.umcs.lublin.pl p. 205, Collegium Humanicum konsultacje: czwartki, 11:10-12:40

Bardziej szczegółowo

Arytmetyka liczb binarnych

Arytmetyka liczb binarnych Wartość dwójkowej liczby stałoprzecinkowej Wartość dziesiętna stałoprzecinkowej liczby binarnej Arytmetyka liczb binarnych b n-1...b 1 b 0,b -1 b -2...b -m = b n-1 2 n-1 +... + b 1 2 1 + b 0 2 0 + b -1

Bardziej szczegółowo

LOGIKA I TEORIA ZBIORÓW

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

Bardziej szczegółowo

R o g e r A c c e s s C o n t r o l S y s t e m 5

R o g e r A c c e s s C o n t r o l S y s t e m 5 R o g e r A c c e s s C o n t r o l S y s t e m 5 Nota aplikacyjna nr 003 Wersja dokumentu: Rev. B Uprawnienia Uwaga: Niniejszy dokument dotyczy RACS v5.2 (VISO 1.2.2 lub nowszy) Wprowadzenie W systemie

Bardziej szczegółowo

Być W oraz Orzekać O. kategorii Stosunku w kategorię Postaci. rok akademicki 2010/2011

Być W oraz Orzekać O. kategorii Stosunku w kategorię Postaci. rok akademicki 2010/2011 Imię Nazwisko... stronica 1 z 13 1. Wymienić kolejno kategorie w/g Arystotelesa. 10 2. Określić wartości logiczne relacji: Być W oraz Orzekać O. 10 3. Pokazać sekwencję przemiany kategorii Stosunku w kategorię

Bardziej szczegółowo

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 15. Trójwartościowa logika zdań Łukasiewicza

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 15. Trójwartościowa logika zdań Łukasiewicza Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 15. Trójwartościowa logika zdań Łukasiewicza 1 Wprowadzenie W logice trójwartościowej, obok tradycyjnych wartości logicznych,

Bardziej szczegółowo

Piotr Kulicki Katolicki Uniwersytet Lubelski Jana Pawła II Instytut Filozofii Teoretycznej Katedra Podstaw Informatyki

Piotr Kulicki Katolicki Uniwersytet Lubelski Jana Pawła II Instytut Filozofii Teoretycznej Katedra Podstaw Informatyki Piotr Kulicki Katolicki Uniwersytet Lubelski Jana Pawła II Instytut Filozofii Teoretycznej Katedra Podstaw Informatyki Modalności w praktyce informatycznej Lublin, 17 listopada 2009 Interesująca opinia

Bardziej szczegółowo

Logika I. Wykład 2. Działania na zbiorach

Logika I. Wykład 2. Działania na zbiorach Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 2. Działania na zbiorach 1 Suma zbiorów Niech A i B będą dowolnymi zbiorami. Definicja 2.1. (suma zbiorów) Suma zbiorów

Bardziej szczegółowo

zdarzeniowe i strukturalne. rok akademicki 2013/2014 autor: dr inż. Andrzej J. Zmysłowski Imię Nazwisko... stronica 1 z 13 L.p. Treść pytania Punkty

zdarzeniowe i strukturalne. rok akademicki 2013/2014 autor: dr inż. Andrzej J. Zmysłowski Imię Nazwisko... stronica 1 z 13 L.p. Treść pytania Punkty Imię Nazwisko... stronica 1 z 13 1. Wymienić kategorie w/g Arystotelesa. 10 2. Uzasadnić przejście od kategorii Stosunku do kategorii Postaci. 20 3. Opisać kategorię Substancji 1. 20 4. Opisać kategorię

Bardziej szczegółowo

ROZSTRZYGNIĘCIE NADZORCZE

ROZSTRZYGNIĘCIE NADZORCZE WOJEWODA ŁÓDZKI PNIK-I.4131.556.2018 Łódź, 25 lipca 2018 r. Rada Gminy Zduny ROZSTRZYGNIĘCIE NADZORCZE Na podstawie art. 86 i art. 91 ust. 1 i 3 ustawy z dnia 8 marca 1990 o samorządzie gminnym (Dz. U.

Bardziej szczegółowo

Ustala się następujące terminy i zasady objęcia w posiadanie gruntów, wydzielonych w wyniku scalenia:

Ustala się następujące terminy i zasady objęcia w posiadanie gruntów, wydzielonych w wyniku scalenia: o zatwierdzeniu projektu scalenia Terminy i zasady objęcia w posiadanie, wydzielonych w wyniku scalenia, prowadzonego w części obrębów ch Rajsko, Szczurowa i Niedzieliska, gmina Szczurowa. Ustala się następujące

Bardziej szczegółowo

PERSON Kraków 2002.11.27

PERSON Kraków 2002.11.27 PERSON Kraków 2002.11.27 SPIS TREŚCI 1 INSTALACJA...2 2 PRACA Z PROGRAMEM...3 3. ZAKOŃCZENIE PRACY...4 1 1 Instalacja Aplikacja Person pracuje w połączeniu z czytnikiem personalizacyjnym Mifare firmy ASEC

Bardziej szczegółowo

SPIS TREŚCI. Wprowadzenie... 11

SPIS TREŚCI. Wprowadzenie... 11 SPIS TREŚCI Wprowadzenie... 11 1. CHARAKTERYSTYCZNE CECHY NAUKI... 13 1.1. Pojęcie nauki...13 1.2. Zasady poznawania naukowego...15 1.3. Cele nauki...15 1.4. Funkcje nauki...16 1.5. Zadania nauki...17

Bardziej szczegółowo