ŁAD POJĘCIOWY 1. Podział logiczny
|
|
- Jarosław Smoliński
- 6 lat temu
- Przeglądów:
Transkrypt
1 ŁAD POJĘCIOWY 1 Wprowadzanie i utrzymywanie porządku jest waŝne nie tylko w Ŝyciu codziennym. Z tego powodu w obrębie ogólnej metodologii nauk duŝo miejsca poświęca się procedurom wprowadzania ładu pojęciowego w obrębie badanej dziedziny. Generalnie moŝna wyróŝnić w dyskursie naukowym występowanie pojęć klasyfikacyjnych, porządkujących i typologicznych. Rekonstrukcja ich formalnej struktury zaleŝy od rodzaju operacji, które pozwalają przeprowadzić. Dwie zasadnicze operacje tego rodzaju to podział logiczny (zwany teŝ klasyfikacją) i porządkowanie (zwane teŝ szeregowaniem), które pozwalają na wprowadzanie bardziej zaawansowanych zabiegów, takich jak np. pomiar czy typologia. Operacje te mogą mieć charakter fizyczny lub pojęciowy. Od strony teorii nie ma tutaj zasadniczej róŝnicy, natomiast w praktyce zdecydowanie lepiej jest, jeŝeli podział pojęciowy wyprzedza fizyczną czynność. Podział logiczny Jest to najprostszy sposób wprowadzania ładu w obrębie pewnej dziedziny (np. zakresu danego pojęcia). Aby dany podział określić jako logiczny musi on spełniać co najmniej dwa warunki: a) Warunek adekwatności; suma zbiorów, będących członami podziału musi dawać w rezultacie zbiór dzielony. Innymi słowy, kaŝdy element dzielonego zbioru musi gdzieś być uwzględniony. b) Warunek rozłączności; zbiory, będące członami podziału muszą być parami rozłączne. Czyli, Ŝaden element dzielonego zbioru nie moŝe się znaleźć w więcej niŝ jednym podzbiorze. Do tych dwóch warunków często dodaje się jeszcze c) Warunek niepustości; kaŝdy człon podziału musi coś zawierać. 1
2 Warto jednak podkreślić, Ŝe w praktyce naukowej nie zawsze jest on przestrzegany i to nie bez racji. Proponowany podział moŝe bowiem nie odwoływać się do aktualnej wiedzy na temat dziedziny, ale bazować na pewnych załoŝeniach teoretycznych, które pozwalają przewidywać istnienie pewnych obiektów, dla których z góry rezerwuje się miejsce. Dobrym przykładem takiego podziału jest układ okresowy pierwiastków - nadal są w nim puste kategorie, ale jest ich obecnie mniej, niŝ w momencie kiedy go zaproponowano, poniewaŝ w ciągu wieloletnich badań odkryto wiele pierwiastków, których istnienie przewidywano. Osoba, która posiada, np. bogaty księgozbiór, który nadal zamierza powiększać i korzystając z przeprowadzki dokonuje tematycznego podziału swoich zbiorów, równieŝ słusznie uczyni pozostawiając trochę pustych miejsc na półkach. Naturalność podziału Często formułuje się jeszcze pewien nieformalny warunek poprawności podziału; wymaga się by był on naturalny. Sprowadza się to do wymagania by relacja między zbiorem dzielonym a członami podziału była relacją między pewnym rodzajem, a jego gatunkami. OtóŜ raz jeszcze trzeba podkreślić względność takiego wymogu. Podział zbioru ksiąŝek według wielkości okładek moŝe być sztuczny dla literaturoznawcy, ale jest bardzo naturalny dla bibliotekarza! ChociaŜ warunki poprawności podziału są proste, to nie zawsze łatwo jest je zrealizować. Ktoś, kto pewien zespół męŝczyzn podzieli np. na katolików, blondynów, inŝynierów i brodatych moŝe (przypadkiem) otrzymać podział logiczny. Jest jednak wysoce prawdopodobne, Ŝe złamie kaŝdy z warunków poprawności, gdyŝ człony tego podziału wydzielone są według róŝnych kryteriów. Jednym ze sposobów zapobiegania takim problemom jest przestrzeganie jednolitości kryteriów podziału (stosowanie jednolitej zasady podziału). 2
3 Podział dychotomiczny Najprostszym sposobem realizowania podziału logicznego jest podział dychotomiczny. Kryterium podziału jest wtedy pewna cecha wyraŝana przez nazwę o ostrym zakresie, często zwana cechą (bądź pojęciem) klasyfikacyjną. JeŜeli dysponujemy taką cechą, która stosuje się do dzielonego zbioru (cecha bycia zielonym nie stosuje się np. do zbioru liczb), a ponadto nie jest w nim cechą uniwersalną (jak np. cecha bycia ssakiem w zbiorze tygrysów), to wtedy moŝna omawiany zbiór podzielić na dwa człony: zbiór tych jego elementów, które daną cechę posiadają i tych, które jej nie posiadają. Zasada abstrakcji a podział logiczny Pewne cechy uniwersalne w danym zbiorze pozwalają, dla odmiany na wydzielenie większej ilości członów podziału. Np. Zbiór klocków moŝemy podzielić według kryterium koloru bądź kształtu. Zasadą podziału jest wówczas cecha, która w danym zbiorze przyjmuje róŝne wartości (odmiany, stopnie). Odwołanie się do elementarnych pojęć teorii relacji pozwala ściśle określić czym jest zasada podziału. Zachodzi ścisły związek między podziałem dokonywanym w ten sposób a pewną relacją równowaŝności zachodzącą w dzielonym zbiorze. Dana relacja R jest relacją równowaŝności wtedy, gdy spełnia zarazem 3 własności: a) R jest zwrotna, tzn. xrxx b) R jest symetryczna, tzn. xy(rxy Ryx) c) R jest przechodnia, tzn. xyz[(rxy Ryz) Rxz] Zwrotność mówi o tym, Ŝe dana relacja zachodzi między dowolnym obiektem a nim samym. Symetria gwarantuje, Ŝe jeŝeli dana relacja zachodzi między parą obiektów w jedną stronę, to zachodzi teŝ w drugą. Przechodniość dotyczy dziedziczenia relacji; jeŝeli zachodzi ona między pierwszym i drugim obiektem oraz między drugim i trzecim, to zachodzi teŝ między pierwszym a trzecim. Przykładem takiej relacji jest np. relacja identyczności w zbiorze liczb naturalnych. 3
4 Przy stwierdzaniu, Ŝe dana relacja ma pewną własność naleŝy zawsze określić w jakim zbiorze, gdyŝ własności te nie przysługują relacjom w sensie absolutnym. Przykładowo: relacja wyraŝana predykatem _jest bratem_ w zbiorze męŝczyzn jest symetryczna, ale w zbiorze ludzi nie, gdyŝ, np. jeŝeli prawdą jest, Ŝe Adam jest bratem Beaty., to nie jest prawdą, Ŝe Beata jest bratem Adama. Zbiór na którym określamy daną relację, stanowi w danym kontekście jej uniwersum. W przypadku relacji dwuargumentowych zbiór wszystkich pierwszych argumentów danej relacji to jej dziedzina, a zbiór wszystkich drugich argumentów, to jej przeciwdziedzina. Suma dziedziny i przeciwdziedziny to pole danej relacji. ChociaŜ pojęcie struktury było juŝ przez nas uŝywane wiele razy, to warto je przypomnieć w tym miejscu. Struktura relacyjna, to pewne niepuste uniwersum i zbiór określonych na nim relacji. Ilekroć dla danego zbioru moŝna znaleźć relację równowaŝności, to daje ona efektywny podział logiczny tego zbioru. ZaleŜność ta jest treścią tzw. zasady abstrakcji. W wyŝej wspomnianym zbiorze klocków, relacją, która pozwala na utworzenie podziału jest relacja wyraŝona predykatem "_jest tego samego koloru co_", bądź predykatem "_jest tego samego kształtu co_". Czytelnik łatwo moŝe sprawdzić, Ŝe obie relacje są istotnie równowaŝnościowe (tzn. zwrotne, symetryczne i przechodnie) w zbiorze klocków. Cecha koloru czy kształtu, to cecha wyabstrahowana z takiej relacji, natomiast poszczególne kolory (bądź kształty) to wartości (stopnie, odmiany) tej cechy. Członami podziału stają się wtedy zbiory tych elementów, które przyjmują tę samą wartość danej cechy, a zatem, ze względu na wyabstrahowaną cechę, są w dzielonym zbiorze nierozróŝnialne. Szczególnym przypadkiem podziału niedychotomicznego przeprowadzanego w taki sposób jest zastosowanie jako kryterium podziału pewnej cechy stopniowalnej, czyli takiej, której nasilenie jest w danym zbiorze zmienne. Cechy takie określa się teŝ jako porządkujące, gdyŝ odpowiadają relacjom porządkującym (por. następny temat). JeŜeli dodatkowo dysponujemy pewną skalą pozwalającą mierzyć stopień nasilenia danej cechy u poszczególnych elementów zbioru, to mówimy wtedy o cesze mierzalnej. Np. zbiór osób moŝna podzielić według stopnia 4
5 zaangaŝowania politycznego, poczucia humoru itp. (cechy stopniowalne), wzrostu, wagi, poziomu wykształcenia (cechy mierzalne). Klasyfikacja Operowanie jednym kryterium przy tworzeniu podziału zazwyczaj daje dosyć banalne wyniki. Aby otrzymać bardziej zaawansowane konstrukcje dobrze jest operować róŝnymi kryteriami podziału. Takie podziały wielopiętrowe, hierarchiczne to klasyfikacje. Przykładowo, zbiór męŝczyzn z pierwszego podziału moŝna poddać czterostopniowej klasyfikacji dychotomicznej z wykorzystaniem podanych tam cech (pod warunkiem, Ŝe Ŝadna z nich nie jest w tym zbiorze uniwersalna). Kolejno dzielimy zbiór na katolików i nie-katolików (kryterium - wyznanie), następnie oba zbiory na inŝynierów i nie-inŝynierów, potem na blondynów i nie-blondynów, wreszcie na brodatych i nie-brodatych. KrzyŜować ze sobą moŝna oczywiście nie tylko podziały dychotomiczne. JeŜeli w przypadku danego kryterium nie mamy pewności, czy uwzględniliśmy wszystkie interesujące klasy, to warto dodać (aby zapewnić adekwatność podziału) człon podziału o etykiecie "inne". W przypadku klasyfikacji wymóg naturalności sprowadza się do tego, Ŝeby jakaś jednolita zasada odpowiadała za hierarchię wprowadzanych podziałów. Taka naturalna klasyfikacja określana jest czasem jako systematyka (np. systematyka Linneusza w biologii, drzewo Porfiriusza w metafizyce arystotelesowskiej). Klasyfikacje wygodnie jest reprezentować w postaci tabel i drzew. Reprezentacja tabelowa najlepiej sprawdza się w przypadku skrzyŝowania ze sobą pary kryteriów. W przypadku większej ilości poziomów podziału reprezentacja tabelowa moŝe okazać się mało czytelna; w takiej sytuacji lepiej sprawdzają się drzewa. Wadą wykresów w postaci drzew jest to, Ŝe jeśli jakieś kryterium stosuje się do wszystkich wyodrębnionych do tej pory członów podziału, to odpowiednie rozgałęzienie trzeba powtarzać na końcu kaŝdej istniejącej gałęzi. 5
6 Kwalifikacja, segregacja, partycja, dyspozycja Od czynności tworzenia podziału (klasyfikacji) w sensie wyboru odpowiednich kryteriów naleŝy odróŝnić czynność zaliczania konkretnego obiektu do właściwej klasy (członu podziału). Jest to kwalifikacja (w sensie pojęciowym) lub segregacja (w przypadku czynności fizycznej) danego obiektu. Dany podział słuŝy w takim wypadku jako rodzaj planu dla kwalifikacji (segregacji). Na przykład prawnik dokonuje kwalifikacji jakiegoś wykroczenia korzystając z gotowej (w danym systemie prawnym) klasyfikacji czynów sprzecznych z prawem. Jeszcze innego rodzaju zabiegiem jest partycja, czyli wyróŝnienie części składowych w obrębie złoŝonej całości. Partycją jest np. podzielenie bloku mieszkalnego na mieszkania, terytorium kraju na jednostki administracyjne itp. Partycja moŝe być prosta lub piętrowa (odpowiednik klasyfikacji), np. Polska dzieli się na województwa, te na powiaty, itd. Partycja tekstu na rozdziały, podrozdziały, paragrafy itp. jednostki, określana jest jako dyspozycja tekstu. 6
Relacje. Zdania opisujące stosunki dwuczłonowe mają ogólny wzór budowy: xry, co czytamy: x pozostaje w relacji R do y.
Zdania stwierdzające relację Pewne wyrazy i wyraŝenia wskazują na stosunki, czyli relacje, jakie zachodzą między róŝnymi przedmiotami. Do takich wyrazów naleŝą m. in. wyrazy: nad, pod, za, przy, braterstwo,
ŁAD POJĘCIOWY 2. Rodzaje relacji porządkujących
ŁAD POJĘCIOWY 2 Rodzaje relacji porządkujących Bardziej wyrafinowane sposoby wprowadzania ładu pojęciowego łączą się z ustalaniem kolejności elementów lub ich grup w obrębie badanej dziedziny. Teoretyczne
Wprowadzenie do logiki Podział logiczny
Wprowadzenie do logiki Podział logiczny Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Jak dobrze pokroić tort? Dwie proste zasady ku pożytkowi ogólnemu i szczęśliwości: każdy dostaje
Teoria automatów i języków formalnych. Określenie relacji
Relacje Teoria automatów i języków formalnych Dr inŝ. Janusz ajewski Katedra Informatyki Określenie relacji: Określenie relacji Relacja R jest zbiorem par uporządkowanych, czyli podzbiorem iloczynu kartezjańskiego
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ą
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
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ę
ANALIZA HIERARCHICZNA PROBLEMU W SZACOWANIU RYZYKA PROJEKTU INFORMATYCZNEGO METODĄ PUNKTOWĄ. Joanna Bryndza
ANALIZA HIERARCHICZNA PROBLEMU W SZACOWANIU RYZYKA PROJEKTU INFORMATYCZNEGO METODĄ PUNKTOWĄ Joanna Bryndza Wprowadzenie Jednym z kluczowych problemów w szacowaniu poziomu ryzyka przedsięwzięcia informatycznego
ZAJĘCIA 25. Wartość bezwzględna. Interpretacja geometryczna wartości bezwzględnej.
ZAJĘCIA 25. Wartość bezwzględna. Interpretacja geometryczna wartości bezwzględnej. 1. Wartość bezwzględną liczby jest określona wzorem: x, dla _ x 0 x =, x, dla _ x < 0 Wartość bezwzględna liczby nazywana
PODSTAWY SZTUCZNEJ INTELIGENCJI
Katedra Informatyki Stosowanej Politechnika Łódzka PODSTAWY SZTUCZNEJ INTELIGENCJI Laboratorium PROGRAMOWANIE SYSTEMÓW EKSPERTOWYCH Opracowanie: Dr hab. inŝ. Jacek Kucharski Dr inŝ. Piotr Urbanek Cel ćwiczenia
Programowanie deklaratywne
Programowanie deklaratywne Artur Michalski Informatyka II rok Plan wykładu Wprowadzenie do języka Prolog Budowa składniowa i interpretacja programów prologowych Listy, operatory i operacje arytmetyczne
domykanie relacji, relacja równoważności, rozkłady zbiorów
1 of 8 2012-03-28 17:45 Logika i teoria mnogości/wykład 5: Para uporządkowana iloczyn kartezjański relacje domykanie relacji relacja równoważności rozkłady zbiorów From Studia Informatyczne < Logika i
Zajęcia nr. 3 notatki
Zajęcia nr. 3 notatki 22 kwietnia 2005 1 Funkcje liczbowe wprowadzenie Istnieje nieskończenie wiele funkcji w matematyce. W dodaktu nie wszystkie są liczbowe. Rozpatruje się funkcje które pobierają argumenty
Nazwy. Jak widać, nazwa to nie to samo co rzeczownik. W podanych przykładach na nazwę złoŝoną składa się cały zespół
Nazwa spełnia istotną rolę w języku, gdyŝ umoŝliwia proces identyfikowania róŝnych obiektów i z tego powodu nazwa jest podstawowym składnikiem wypowiedzi. Nazwa jest to wyraz albo wyraŝenie rozumiane jednoznacznie,
Relacje. Relacje / strona 1 z 18
Relacje Relacje / strona 1 z 18 Relacje (para uporządkowana, iloczyn kartezjański) Definicja R.1. Parą uporządkowaną (x,y) nazywamy zbiór {{x},{x,y}}. Uwaga: (Ala, Ola) (Ola, Ala) Definicja R.2. (n-tka
- Dla danego zbioru S zbiór wszystkich jego podzbiorów oznaczany symbolem 2 S.
1 Zbiór potęgowy - Dla danego zbioru S zbiór wszystkich jego podzbiorów oznaczany symbolem 2 S. - Dowolny podzbiór R zbioru 2 S nazywa się rodziną zbiorów względem S. - Jeśli S jest n-elementowym zbiorem,
KaŜdemu atrybutowi A przyporządkowana jest dziedzina Dom(A), czyli zbiór dopuszczalnych wartości.
elacja chemat relacji chemat relacji jest to zbiór = {A 1,..., A n }, gdzie A 1,..., A n są artybutami (nazwami kolumn) np. Loty = {Numer, kąd, Dokąd, Odlot, Przylot} KaŜdemu atrybutowi A przyporządkowana
Konstrukcja liczb rzeczywistych przy pomocy ciągów Cauchy ego liczb wymiernych
Konstrukcja liczb rzeczywistych przy pomocy ciągów Cauchy ego liczb wymiernych Marcin Michalski 14.11.014 1 Wprowadzenie Jedną z intuicji na temat liczb rzeczywistych jest myślenie o nich jako liczbach,
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
ARYTMETYKA KOMPUTERA
006 URZĄDZENIA TECHNIKI KOMPUTEROWEJ ARYTMETYKA KOMPUTERA Systemy liczbowe o róŝnych podstawach 1 UTK System dziesiętny Cyfry: 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 Liczba 764.5 oznacza 7 * 10 2 + 6 * 10 1 + 4
Potencjał społeczności lokalnej-podstawowe informacje
Projekt Podlaska Sieć Partnerstw na rzecz Ekonomii Społecznej nr POKL.07.02.02-20-016/09 Potencjał społeczności lokalnej-podstawowe informacje Praca powstała na bazie informacji pochodzących z publikacji
1.UKŁADY RÓWNAŃ LINIOWYCH
UKŁADY RÓWNAŃ 1.UKŁADY RÓWNAŃ LINIOWYCH Układ: a1x + b1y = c1 a x + by = c nazywamy układem równań liniowych. Rozwiązaniem układu jest kaŝda para liczb spełniająca kaŝde z równań. Przy rozwiązywaniu układów
Bazy danych 1. Wykład 5 Metodologia projektowania baz danych. (projektowanie logiczne)
Bazy danych 1 Wykład 5 Metodologia projektowania baz danych (projektowanie logiczne) Projektowanie logiczne przegląd krok po kroku 1. Usuń własności niekompatybilne z modelem relacyjnym 2. Wyznacz relacje
STATYSTYKA. dr Agnieszka Figaj
STATYSTYKA OPISOWA dr Agnieszka Figaj Literatura B. Pułaska Turyna: Statystyka dla ekonomistów. Difin, Warszawa 2011 M. Sobczyk: Statystyka aspekty praktyczne i teoretyczne, Wyd. UMCS, Lublin 2006 J. Jóźwiak,
Rekurencje. Jeśli algorytm zawiera wywołanie samego siebie, jego czas działania moŝe być określony rekurencją. Przykład: sortowanie przez scalanie:
Rekurencje Jeśli algorytm zawiera wywołanie samego siebie, jego czas działania moŝe być określony rekurencją. Przykład: sortowanie przez scalanie: T(n) = Θ(1) (dla n = 1) T(n) = 2 T(n/2) + Θ(n) (dla n
USTAWA z dnia r. o zmianie ustawy o emeryturach i rentach z Funduszu Ubezpieczeń Społecznych. Art. 1.
PROJEKT USTAWA z dnia... 2010 r. o zmianie ustawy o emeryturach i rentach z Funduszu Ubezpieczeń Społecznych Art. 1. W ustawie z dnia 17 grudnia 1998 r. o emeryturach i rentach z Funduszu Ubezpieczeń Społecznych
FUNKCJE LICZBOWE. Na zbiorze X określona jest funkcja f : X Y gdy dowolnemu punktowi x X przyporządkowany jest punkt f(x) Y.
FUNKCJE LICZBOWE Na zbiorze X określona jest funkcja f : X Y gdy dowolnemu punktowi x X przyporządkowany jest punkt f(x) Y. Innymi słowy f X Y = {(x, y) : x X oraz y Y }, o ile (x, y) f oraz (x, z) f pociąga
XII. Warunek wielokrotnego wyboru switch... case
XII. Warunek wielokrotnego wyboru switch... case 12.1. Gdy mamy więcej niŝ dwie moŝliwości Do tej pory poznaliśmy warunek if... else... Po co nam kolejny? Trudno powiedzieć, ale na pewno nie po to, Ŝeby
P r a w d o p o d o b i eństwo Lekcja 1 Temat: Lekcja organizacyjna. Program. Kontrakt.
P r a w d o p o d o b i eństwo Lekcja 1 Temat: Lekcja organizacyjna. Program. Kontrakt. Lekcja 2 Temat: Podstawowe pojęcia związane z prawdopodobieństwem. Str. 10-21 1. Doświadczenie losowe jest to doświadczenie,
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 I. Wykład 3. Relacje i funkcje
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 3. Relacje i funkcje 1 Już było... Definicja 2.6. (para uporządkowana) Parą uporządkowaną nazywamy zbiór {{x},
Typowe błędy w analizie rynku nieruchomości przy uŝyciu metod statystycznych
Typowe błędy w analizie rynku nieruchomości przy uŝyciu metod statystycznych Sebastian Kokot XXI Krajowa Konferencja Rzeczoznawców Majątkowych, Międzyzdroje 2012 Rzetelnie wykonana analiza rynku nieruchomości
Wnioskodawca Treść wniosku Realizacja
REALIZACJA WNIOSKÓW CZŁONKÓW SPÓŁDZIELNI UCHWALONYCH PRZEZ WALNEGO ZGROMADZENIA CZŁONKÓW SPÓŁDZIELNI MIESZKANIOWEJ GOCŁAW-LOTNISKO W DNIACH 05, 09, 10, 11, 12, 16, 17, 18 MAJA 2016 R Nr i data wniosku
Logika. Zadanie 4. Sprawdź, czy poniższe funkcje zdaniowe są tautologiami: i) (p q) = ( p q), ii) (p = q) ( p q). Rozwiązanie.
Logika Zadanie 4. Sprawdź, czy poniższe funkcje zdaniowe są tautologiami: i) (p q) = ( p q), ii) (p = q) ( p q). Rozwiązanie. i) Wprowadźmy oznaczenie F (p, q) ((p q) = ( p q)). Funkcja zdaniowa F nie
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
Program 6. Program wykorzystujący strukturę osoba o polach: imię, nazwisko, wiek. W programie wykorzystane są dwie funkcje:
Program 6 Program wykorzystujący strukturę osoba o polach: imię, nazwisko, wiek. W programie wykorzystane są dwie funkcje: Funkcja pobierz_osobe wczytuje dane osoby podanej jako argument. Funkcja wypisz_osobe
KURS ACCESS 2003 Wiadomości wstępne
KURS ACCESS 2003 Wiadomości wstępne Biorąc c udział w kursie uczestnik zapozna się z tematyką baz danych i systemu zarządzania bazami danych jakim jest program Microsoft Access 2003. W trakcie kursu naleŝy
Języki i operacje na językach. Teoria automatów i języków formalnych. Definicja języka
Języki i operacje na językach Teoria automatów i języków formalnych Dr inŝ. Janusz Majewski Katedra Informatyki Definicja języka Definicja języka Niech Σ będzie alfabetem, Σ* - zbiorem wszystkich łańcuchów
Systemy ekspertowe. System ekspertowy wspomagający wybór zestawu komputerowego w oparciu o ontologie i system wnioskujący RacerPro
Systemy ekspertowe System ekspertowy wspomagający wybór zestawu komputerowego w oparciu o ontologie i system wnioskujący RacerPro Autorzy: 1 Wstęp Wybór zestawu komputerowego, ze względu na istnienie wielu
Laboratorium nr 8. Temat: Podstawy języka zapytań SQL (część 2)
Laboratorium nr 8 Temat: Podstawy języka zapytań SQL (część 2) PLAN LABORATORIUM: 1. Sortowanie. 2. Warunek WHERE 3. Eliminacja powtórzeń - DISTINCT. 4. WyraŜenia: BETWEEN...AND, IN, LIKE, IS NULL. 5.
Przykładowy schemat do budowy lub modyfikacji. programu nauczania
Piotr Kaja, Andrzej Peć Przykładowy schemat do budowy lub modyfikacji programu nauczania ORE, 11-12 maja 2011 I. OD AUTORA II. SZCZEGÓŁOWE CELE KSZTAŁCENIA I WYCHOWANIA III. TREŚCI NAUCZANIA Specyfika
Funkcja jest różnowartościowa w zbiorze A wtedy i tylko wtedy, gdy różnym argumentom funkcja ta przyporządkowuje różne wartości.
Gdy mamy daną funkcję, poza określeniem jej dziedziny i miejsca zerowego możemy badad szczególne własności, takie jak: monotonicznośd, różnowartościowośd, parzystośd, nieparzystośd. Na temat monotoniczności
Logika Matematyczna. Jerzy Pogonowski. Własności relacji. Zakład Logiki Stosowanej UAM
Logika Matematyczna Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Własności relacji Jerzy Pogonowski (MEG) Logika Matematyczna Własności relacji 1 / 46 Wprowadzenie
IVa. Relacje - abstrakcyjne własności
IVa. Relacje - abstrakcyjne własności Grzegorz Kosiorowski Uniwersytet Ekonomiczny w Krakowie rzegorz Kosiorowski (Uniwersytet Ekonomiczny wiva. Krakowie) Relacje - abstrakcyjne własności 1 / 22 1 Zwrotność
6. FUNKCJE. f: X Y, y = f(x).
6. FUNKCJE Niech dane będą dwa niepuste zbiory X i Y. Funkcją f odwzorowującą zbiór X w zbiór Y nazywamy przyporządkowanie każdemu elementowi X dokładnie jednego elementu y Y. Zapisujemy to następująco
Relacje. opracował Maciej Grzesiak. 17 października 2011
Relacje opracował Maciej Grzesiak 17 października 2011 1 Podstawowe definicje Niech dany będzie zbiór X. X n oznacza n-tą potęgę kartezjańską zbioru X, tzn zbiór X X X = {(x 1, x 2,..., x n ) : x k X dla
Rachunek prawdopodobieństwa projekt Ilustracja metody Monte Carlo obliczania całek oznaczonych
Rachunek prawdopodobieństwa projekt Ilustracja metody Monte Carlo obliczania całek oznaczonych Autorzy: Marta Rotkiel, Anna Konik, Bartłomiej Parowicz, Robert Rudak, Piotr Otręba Spis treści: Wstęp Cel
Spis treści. 1. Cyfrowy zapis i synteza dźwięku Schemat blokowy i zadania karty dźwiękowej UTK. Karty dźwiękowe. 1
Spis treści 1. Cyfrowy zapis i synteza dźwięku... 2 2. Schemat blokowy i zadania karty dźwiękowej... 4 UTK. Karty dźwiękowe. 1 1. Cyfrowy zapis i synteza dźwięku Proces kodowania informacji analogowej,
FUNKCJE. (odwzorowania) Funkcje 1
FUNKCJE (odwzorowania) Funkcje 1 W matematyce funkcja ze zbioru X w zbiór Y nazywa się odwzorowanie (przyporządkowanie), które każdemu elementowi zbioru X przypisuje jeden, i tylko jeden element zbioru
Świadectwa pracy po 21 marca 2013 r.
Świadectwa pracy po 21 marca 2013 r. Praktyczny poradnik W publikacji m.in.: Jakie nowe obowiązki będzie miał pracodawca co do wypełniania świadectw pracy w marcu 2013 r. W jaki sposób wydawać świadectwo
Bazy Danych 2008 Część 1 Egzamin Pisemny
Bazy Danych 2008 Część Egzamin Pisemny. Zagadnienia związane z CDM a) Model danych SłuŜy do wyraŝania struktury danych, projektowanego lub istniejącego systemu. Przez strukturę rozumiemy typ danych, powiązania
Drzewa Semantyczne w KRZ
Drzewa Semantyczne w KRZ Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 7 XII 2006, 13:30 15:00 Jerzy Pogonowski (MEG) Drzewa Semantyczne w KRZ 7 XII 2006, 13:30 15:00
Algorytmy i struktury danych Matematyka III sem.
Algorytmy i struktury danych Matematyka III sem. 30 godz. wykł. / 15 godz. ćw. / 15 godz. projekt dr inŝ. Paweł Syty, 413GB, sylas@mif.pg.gda.pl, http://sylas.info Literatura T.H. Cormen i inni, Wprowadzenie
Wniosek o zmianę imienia i nazwiska
Wniosek o zmianę imienia i nazwiska Informacje ogólne Kto moŝe wnioskować Zmiana imienia lub nazwiska moŝe nastąpić na wniosek kaŝdego obywatela polskiego oraz cudzoziemca nie posiadającego obywatelstwa
Taksonomia numeryczna co to jest?
dr Ireneusz R. Moraczewski Zakład Systematyki i Geografii Roślin UW Al. Ujazdowskie 4, 00-478 Warszawa e-mail: moraczew@biol.uw.edu.pl Taksonomia numeryczna co to jest? To dziedzina formalna, leżąca na
Przekształcenia widmowe Transformata Fouriera. Adam Wojciechowski
Przekształcenia widmowe Transformata Fouriera Adam Wojciechowski Przekształcenia widmowe Odmiana przekształceń kontekstowych, w których kontekstem jest w zasadzie cały obraz. Za pomocą transformaty Fouriera
Obszar całego kraju jest podzielony na 5 stref odwzorowawczych (rys. 1).
OBLICZNIE GODŁ RKUSZY MP W UKŁDZIE PŃSTWOWYM 965 Obszar całego kraju jest podzielony na 5 stref odwzorowawczych (rys. ). Rys.. Podział kraju na strefy odwzorowawcze wraz ze zniekształceniami liniowymi.
Funkcje elementarne. Matematyka 1
Funkcje elementarne Matematyka 1 Katarzyna Trąbka-Więcław Funkcjami elementarnymi nazywamy: funkcje wymierne (w tym: wielomiany), wykładnicze, trygonometryczne, odwrotne do wymienionych (w tym: funkcje
Doświadczalnictwo leśne. Wydział Leśny SGGW Studia II stopnia
Doświadczalnictwo leśne Wydział Leśny SGGW Studia II stopnia Treści i efekty kształcenia Treści: Statystyka matematyczna, planowanie eksperymentu Efekty kształcenia: student potrafi opisywać zjawiska za
Wyszukiwanie. Wyszukiwanie binarne
Wyszukiwanie Wejście: posortowana, n-elementowa tablica liczbowa T oraz liczba p. Wyjście: liczba naturalna, określająca pozycję elementu p w tablicy T, bądź 1, jeŝeli element w tablicy nie występuje.
WYZNACZANIE CECH PUNKTOWYCH SYGNAŁÓW POMIAROWYCH
PODSTAWY SYGNAŁÓW POMIAROWYCH I METROLOGII WYZNACZANIE CECH PUNKTOWYCH SYGNAŁÓW POMIAROWYCH WSTĘP TEORETYCZNY Sygnałem nazywamy przebieg dowolnej wielkości fizycznej mogącej być nośnikiem informacji Opis
Bazy danych - wykład wstępny
Bazy danych - wykład wstępny Wykład: baza danych, modele, hierarchiczny, sieciowy, relacyjny, obiektowy, schemat logiczny, tabela, kwerenda, SQL, rekord, krotka, pole, atrybut, klucz podstawowy, relacja,
INWENTARYZACJA W PROGRAMIE INTEGRA
INWENTARYZACJA W PROGRAMIE INTEGRA Niniejszy dokument przedstawia zasady przeprowadzania Inwentaryzacji w programie Integra. Przydatną funkcją jest moŝliwość tworzenia arkuszy inwentaryzacyjnych wykorzystywanych
Naukoznawstwo (Etnolingwistyka V)
Naukoznawstwo (Etnolingwistyka V) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 25 listopada 2006 Jerzy Pogonowski (MEG) Naukoznawstwo (Etnolingwistyka V) 25 listopada
STATYSTYKA MATEMATYCZNA. rachunek prawdopodobieństwa
STATYSTYKA MATEMATYCZNA rachunek prawdopodobieństwa treść Zdarzenia losowe pojęcie prawdopodobieństwa prawo wielkich liczb zmienne losowe rozkłady teoretyczne zmiennych losowych Zanim zajmiemy się wnioskowaniem
Systemy ekspertowe i ich zastosowania. Katarzyna Karp Marek Grabowski
Systemy ekspertowe i ich zastosowania Katarzyna Karp Marek Grabowski Plan prezentacji Wstęp Własności systemów ekspertowych Rodzaje baz wiedzy Metody reprezentacji wiedzy Metody wnioskowania Języki do
Zastosowanie Geobazy w analizie przestrzennej. Jarosław Jasiewicz IPIG Wojciech Jaszczyk MPU
Zastosowanie Geobazy w analizie przestrzennej Jarosław Jasiewicz IPIG Wojciech Jaszczyk MPU Co to jest geobaza? Geobaza (ang. Geodatabase) to geograficzna baza danych, umoŝliwia przechowywanie danych geograficznych
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
STATYSTYKA I DOŚWIADCZALNICTWO
STATYSTYKA I DOŚWIADCZALNICTWO Wykład 6 Test niezależności chi-kwadrat (χ 2 ) Cel: ocena występowania zależności między dwiema cechami jakościowymi/skategoryzowanymi X- pierwsza cecha; Y druga cecha Przykłady
Zmienne powłoki. Wywołanie wartości następuje poprzez umieszczenie przed nazwą zmiennej znaku dolara ($ZMIENNA), np. ZMIENNA=wartosc.
Zmienne powłoki Zmienne powłoki (shell variables) to tymczasowe zmienne, które mogą przechowywać wartości liczbowe lub ciągi znaków. Związane są z powłoką, Przypisania wartości do zmiennej następuje poprzez
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"
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
WYJAŚNIENIA NR 3 DO SIWZ ZMIANA TREŚCI SIWZ
Znak sprawy: DOA.III.3323-27/09 Kielce, dnia 14 października 2009 roku Do wszystkich zainteresowanych, którzy pobrali SIWZ WYJAŚNIENIA NR 3 DO SIWZ ZMIANA TREŚCI SIWZ Dotyczy: Zamówienia publicznego prowadzonego
hierarchie klas i wielodziedziczenie
Programowanie Obiektowe (język C++) Wykład 15. hierarchie klas i wielodziedziczenie Tomasz Marks - Wydział MiNI PW -1- Tomasz Marks - Wydział MiNI PW -2- Hierarchie klas Dziedziczenie wprowadza relację
Wykład Prezentacja materiału statystycznego. 2. Rodzaje szeregów statystycznych.
Wykład 2. 1. Prezentacja materiału statystycznego. 2. Rodzaje szeregów statystycznych. 3. Wykresy: histogram, diagram i ogiwa. Prezentacja materiału statystycznego Przy badaniu struktury zbiorowości punktem
pielęgniarki ambulatoryjnej pielęgniarki środowiskowej połoŝnej
pielęgniarki ambulatoryjnej pielęgniarki środowiskowej połoŝnej Wersja 1.1 1 Spis treści Spis Treści... 2 Przygotowanie funkcjonalności... 3 Przypisanie komórek... 4 Przypisanie komórek pracownika... 6
Algorytmy i struktury danych
Algorytmy i struktury danych Proste algorytmy sortowania Witold Marańda maranda@dmcs.p.lodz.pl 1 Pojęcie sortowania Sortowaniem nazywa się proces ustawiania zbioru obiektów w określonym porządku Sortowanie
Rekurencyjna przeliczalność
Rekurencyjna przeliczalność Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Funkcje rekurencyjne Jerzy Pogonowski (MEG) Rekurencyjna przeliczalność Funkcje rekurencyjne
11. PROFESJONALNE ZABEZPIECZENIE HASŁEM
11. PROFESJONALNE ZABEZPIECZENIE HASŁEM Tworząc róŝne panele administratora jesteśmy naraŝeni na róŝne ataki osób ciekawskich. W tej lekcji dowiesz się, jak zakodować hasło i, jak obronić się przed potencjalnym
DEFINICJA. Definicja 1 Niech A i B będą zbiorami. Relacja R pomiędzy A i B jest podzbiorem iloczynu kartezjańskiego tych zbiorów, R A B.
RELACJE Relacje 1 DEFINICJA Definicja 1 Niech A i B będą zbiorami. Relacja R pomiędzy A i B jest podzbiorem iloczynu kartezjańskiego tych zbiorów, R A B. Relacje 2 Przykład 1 Wróćmy do przykładu rozważanego
Matematyka dyskretna. Andrzej Łachwa, UJ, /10
Matematyka dyskretna Andrzej Łachwa, UJ, 2018 andrzej.lachwa@uj.edu.pl 10/10 Podziały i liczby Stirlinga Liczba Stirlinga dla cykli (często nazywana liczbą Stirlinga pierwszego rodzaju) to liczba permutacji
Przykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych
Przykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych Zapoznaj z poniŝszym tekstem reprezentującym wiedzę logiczną o wartościach logicznych będących interpretacjami formuł złoŝonych
z 9 2007-06-30 18:14
http://www.playstationworld.pl :: Tworzenie kopii zapasowych gier na CD/DVD oraz nagrywanie ich Artykuł dodany przez: KoDa (2006-06-18 18:50:44) Na początku pobieramy z naszego działu Download program
Badania w naukach społecznych
Badania w naukach społecznych Twierdzenia nauk społecznych Pojęcia języka nauk społecznych słuŝą do formułowania twierdzeń Twierdzenie zdanie orzekające coś o przedmiocie, którego dotyczy Jednostkowe Analityczne
Uzupełnienia dotyczące zbiorów uporządkowanych (3 lutego 2011).
Uzupełnienia dotyczące zbiorów uporządkowanych (3 lutego 2011). Poprzedniczka tej notatki zawierała błędy! Ta pewnie zresztą też ; ). Ćwiczenie 3 zostało zmienione, bo żądałem, byście dowodzili czegoś,
Relacje. 1 Iloczyn kartezjański. 2 Własności relacji
Relacje 1 Iloczyn kartezjański W poniższych zadaniach litery a, b, c, d oznaczają elementy zbiorów, a litery A, B, C, D oznaczają zbiory. Przypomnijmy definicję pary uporządkowanej (w sensie Kuratowskiego):
Rozdział 7 Relacje równoważności
Rozdział 7 Relacje równoważności Pojęcie relacji. Załóżmy, że dany jest niepusty zbiór A oraz własność W, którą mogą mieć niektóre elementy zbioru A. Własność W wyznacza pewien podzbiór W A zbioru A, złożony
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
Kodowanie transformacyjne. Plan 1. Zasada 2. Rodzaje transformacji 3. Standard JPEG
Kodowanie transformacyjne Plan 1. Zasada 2. Rodzaje transformacji 3. Standard JPEG Zasada Zasada podstawowa: na danych wykonujemy transformacje która: Likwiduje korelacje Skupia energię w kilku komponentach
Laboratorium nr 10. Temat: Połączenia relacji
Laboratorium nr 10 Temat: Połączenia relacji Dotychczas omawiane zapytania zawsze dotyczyły jednej relacji. MoŜliwe jest jednak pisanie zapytań, które odczytują i łączą dane z wielu relacji. Celem tego
Polsko-Niemiecka Współpraca MłodzieŜy Podręcznik uŝytkownika Oprogramowania do opracowywania wniosków PNWM
Strona 1 / 10 1.1 Wniosek zbiorczy Moduł Wniosek zbiorczy pomoŝe Państwu zestawić pojedyncze wnioski, by je złoŝyć w PNWM celem otrzymania wstępnej decyzji finansowej wzgl. później do rozliczenia. Proszę
Programowanie deklaratywne
Programowanie deklaratywne Artur Michalski Informatyka II rok Plan wykładu Wprowadzenie do języka Prolog Budowa składniowa i interpretacja programów prologowych Listy, operatory i operacje arytmetyczne
III. Funkcje rzeczywiste
. Pojęcia podstawowe Załóżmy, że dane są dwa niepuste zbiory X i Y. Definicja. Jeżeli każdemu elementowi x X przyporządkujemy dokładnie jeden element y Y, to mówimy, że na zbiorze X została określona funkcja
Wykład 4 Przebieg zmienności funkcji. Badanie dziedziny oraz wyznaczanie granic funkcji poznaliśmy na poprzednich wykładach.
Wykład Przebieg zmienności funkcji. Celem badania przebiegu zmienności funkcji y = f() jest poznanie ważnych własności tej funkcji na podstawie jej wzoru. Efekty badania pozwalają naszkicować wykres badanej
Kryteria selekcji dobrych praktyk w ramach projektu Doświadczania wdraŝania Regionalnych Strategii Innowacji
Kryteria selekcji dobrych praktyk w ramach projektu Doświadczania wdraŝania Regionalnych Strategii Innowacji Bogdan Piasecki Instytut Badań nad Przedsiębiorczością i Rozwojem Ekonomicznym (EEDRI) przy
Interpretacja krzywych sondowania elektrooporowego; zagadnienie niejednoznaczności interpretacji (program IX1D Interpex) Etapy wykonania:
Interpretacja krzywych sondowania elektrooporowego; zagadnienie niejednoznaczności interpretacji (program IX1D Interpex) Etapy wykonania: 1. Opisać problem geologiczny, który naleŝy rozwiązać (rozpoznanie
Bazy danych TERMINOLOGIA
Bazy danych TERMINOLOGIA Dane Dane są wartościami przechowywanymi w bazie danych. Dane są statyczne w tym sensie, że zachowują swój stan aż do zmodyfikowania ich ręcznie lub przez jakiś automatyczny proces.
ZALICZENIE WYKŁADU: 30.I.2019
MATEMATYCZNE PODSTAWY KOGNITYWISTYKI ZALICZENIE WYKŁADU: 30.I.2019 KOGNITYWISTYKA UAM, 2018 2019 Imię i nazwisko:.......... POGROMCY PTAKÓW STYMFALIJSKICH 1. [2 punkty] Podaj definicję warunku łączności
WIELOMIANY I FUNKCJE WYMIERNE
WIELOMIANY I FUNKCJE WYMIERNE. RozwiąŜ nierówność.. Dla jakiej wartości parametru a R wielomian W() = ++ a dzieli się bez reszty przez +?. Rozwiązać nierówność: a) 5 b) + 4. Wyznaczyć wartości parametru
Uniwersytet Zielonogórski Instytut Sterowania i Systemów Informatycznych. Ćwiczenie 3 stos Laboratorium Metod i Języków Programowania
Uniwersytet Zielonogórski Instytut Sterowania i Systemów Informatycznych Ćwiczenie 3 stos Laboratorium Metod i Języków Programowania Celem ćwiczenia jest zapoznanie studentów z najprostszą dynamiczną strukturą