46 kontakty: Aksjomat wyboru, Aksjomaty Zermela-Fraenkla, Alfred Tarski, Algebra, Analiza matematyczna, Ciało (matematyka), Continuum (teoria mnogości), Działanie zeroargumentowe, Forsing, Funkcja, Funkcja zdaniowa, Geometria algebraiczna, Grupa (matematyka), Hipoteza continuum, Izomorfizm, Język (logika), Jerzy Łoś (logik), Klasa (matematyka), Kurt Gödel, Logika matematyczna, Model Herbranda, Moduł (matematyka), Obiekt matematyczny, Para uporządkowana, Paul Cohen, Pierścień (matematyka), Politechnika Krakowska im. Tadeusza Kościuszki, Predykat, Rachunek predykatów pierwszego rzędu, Relacja (matematyka), Robert Lawson Vaught, Routledge Encyclopedia of Philosophy, Saharon Szelach, Semantyka (logika), Stała (matematyka), Struktura matematyczna, Symbol funkcyjny, Syntaktyka (logika), Teoria (logika), Teoria mnogości, Twierdzenia Gödla, Ultraprodukt, Uniwersum (matematyka), Zbiór, Zdanie logiczne, 1931.
Aksjomat wyboru
Dla każdej rodziny niepustych zbiorów (słoików) istnieje funkcja przypisująca elementom z tych zbiorów po jednym elemencie w pewnym zbiorze (słoiku) (S''i'') jest rodzinązbiorów indeksowanąza pomocąliczb rzeczywistych '''R''', tzn. dla każdej liczby rzeczywistej ''i'' istnieje jakiś zbiór S''i''; kilka takich zbiorów pokazano powyżej. Każdy taki zbiór posiada co najmniej jeden element, choć może ich mieć dowolnie wiele. Aksjomat wyboru pozwala dowolnie wybrać po jednym elemencie z każdego zbioru, aby utworzyć rodzinę elementów (''x''''i'') indeksowanych liczbami rzeczywistymi, gdzie ''x''''i'' wybrano z S''i''. W ogólności rodzina może być indeksowana liczbami należącymi do dowolnego zbioru ''I'', niekoniecznie do '''R'''. Aksjomat wyboru, pewnik wyboru, AC (od) – aksjomat teorii mnogości gwarantujący istnienie zbioru zawierającego dokładnie po jednym elemencie z każdego zbioru należącego do danej rodziny niepustych zbiorów rozłącznych.
Nowy!!: Teoria modeli i Aksjomat wyboru · Zobacz więcej »
Aksjomaty Zermela-Fraenkla
Aksjomaty ZermelaW literaturze przedmiotu dominuje dopełniacz nazwiska w postaci nieodmienionej, czyli „aksjomaty Zermelo”, co jest niezgodne z polskimi zasadami deklinacji; sporadycznie pojawia się, również niepoprawna, forma „Zermeli”.
Nowy!!: Teoria modeli i Aksjomaty Zermela-Fraenkla · Zobacz więcej »
Alfred Tarski
Alfred Tarski, dawniej Alfred Tajtelbaum (ur. 14 stycznia 1901 w Warszawie, zm. 26 października 1983 w Berkeley w stanie Kalifornia) – polski logik, członek Szkoły Lwowsko-Warszawskiej.
Nowy!!: Teoria modeli i Alfred Tarski · Zobacz więcej »
Algebra
Dzieło, z którego pochodzi określenie „algebra”: ''Al-kitab al-muchtasar fi hisab al-dżabr wa-al-mukabala'' (IX w.) Towarzystwa do Ksiąg Elementarnych Algebra (al-dżabr) – jedna z głównych dziedzin matematyki, zajmująca się wszelkimi strukturami algebraicznymi, czyli zbiorami – lub bardziej ogólnymi klasami – wyposażonymi w działania; struktury te bywająteż nazywane algebrami ogólnymi.
Nowy!!: Teoria modeli i Algebra · Zobacz więcej »
Analiza matematyczna
sfery, a przez to też objętość kuli. całkę Riemanna Analiza matematyczna – jeden z głównych działów nowożytnej matematyki, zaliczany do matematyki wyższej.
Nowy!!: Teoria modeli i Analiza matematyczna · Zobacz więcej »
Ciało (matematyka)
klasa właściwa spełniajątylko niestandardową, poszerzonądefinicję ciała. liniowo. liczb rzeczywistych liczb konstruowalnych. Liczby zespolone to inny przykład ciała. Zasadnicze twierdzenie algebry mówi, że jest to ciało algebraicznie domknięte. ciele skończonym, konkretniej dwuelementowym. Ciało – typ struktury algebraicznej z dwoma działaniami; krótko definiowany jako przemienny pierścień z dzieleniem lub dziedzina całkowitości z odwracalnościąelementów.
Nowy!!: Teoria modeli i Ciało (matematyka) · Zobacz więcej »
Continuum (teoria mnogości)
Continuum – moc zbioru liczb rzeczywistych, oznaczana zwykle symbolem \mathfrak c.
Nowy!!: Teoria modeli i Continuum (teoria mnogości) · Zobacz więcej »
Działanie zeroargumentowe
Działanie zeroargumentowe (element wyróżniony) – pojęcie służące do zapisu stałej jako działania algebraicznego.
Nowy!!: Teoria modeli i Działanie zeroargumentowe · Zobacz więcej »
Forsing
Forsing (forcing) – metoda dowodzenia niesprzeczności i niezależności zdań teorii mnogości względem aksjomatów Zermela-Fraenkla.
Nowy!!: Teoria modeli i Forsing · Zobacz więcej »
Funkcja
suriekcją. parabola. dziedzinie zespolonej. Funkcja („odbywanie, wykonywanie, czynność”Od „wykonać, wypełnić, zwolnić”.), odwzorowanie, przekształcenie, transformacja – pojęcie matematyczne używane w co najmniej dwóch zbliżonych znaczeniach.
Nowy!!: Teoria modeli i Funkcja · Zobacz więcej »
Funkcja zdaniowa
Funkcja zdaniowa (inaczej predykat lub formuła zdaniowa, także forma zdaniowaZdzisław Opial, Zbiory, formy zdaniowe, relacje, Instytut Matematyki UJ - Okręgowy Ośrodek Metodyczny w Krakowie, Kraków 1970,.) to wyrażenie językowe zawierające zmienne wolne, które w wyniku związania tych zmiennych kwantyfikatorami lub podstawienia za nie odpowiednich wartości staje się zdaniem.
Nowy!!: Teoria modeli i Funkcja zdaniowa · Zobacz więcej »
Geometria algebraiczna
Geometria algebraiczna – dział matematyki z pogranicza algebry i geometrii, badający obiekty geometryczne metodami algebraicznymi lub struktury algebraiczne metodami geometrii, teorii funkcji analitycznych, teorii kategorii i innych podobnych.
Nowy!!: Teoria modeli i Geometria algebraiczna · Zobacz więcej »
Grupa (matematyka)
Grupa – struktura algebraiczna definiowana jako zbiór z określonym na nim łącznym i odwracalnym dwuargumentowym działaniem wewnętrznym; szczególny przypadek monoidu, w którym każdy element ma element odwrotny (zob. Podobne struktury).
Nowy!!: Teoria modeli i Grupa (matematyka) · Zobacz więcej »
Hipoteza continuum
Hipoteza continuum (CH, ang. continuum hypothesis) – hipoteza teorii mnogości dotycząca mocy zbiorów liczb naturalnych i liczb rzeczywistych.
Nowy!!: Teoria modeli i Hipoteza continuum · Zobacz więcej »
Izomorfizm
Izomorfizm (gr. isos – równy, morphe – kształt) – funkcja wzajemnie jednoznaczna (bijekcja) z jednego obiektu matematycznego w drugi, która zachowuje funkcje, relacje i wyróżnione elementy.
Nowy!!: Teoria modeli i Izomorfizm · Zobacz więcej »
Język (logika)
Język – pewien zbiór symboli, przy użyciu których można tworzyć bardziej złożone wyrażenia (na przykład formuły, zdania matematyczne) według ściśle określonych reguł syntaktycznych.
Nowy!!: Teoria modeli i Język (logika) · Zobacz więcej »
Jerzy Łoś (logik)
Jerzy Maria Michał Łoś (ur. 22 marca 1920 we Lwowie, zm. 1 czerwca 1998 w Warszawie) – polski logik, matematyk i ekonomista.
Nowy!!: Teoria modeli i Jerzy Łoś (logik) · Zobacz więcej »
Klasa (matematyka)
Klasa – wielość obiektów, która może być określona przez własność posiadanąprzez wszystkie jej elementy.
Nowy!!: Teoria modeli i Klasa (matematyka) · Zobacz więcej »
Kurt Gödel
Kurt Gödel (wym. niem., ur. 28 kwietnia 1906 w Brnie, zm. 14 stycznia 1978 w Princeton) – austriacko-amerykański naukowiec: matematyk, fizyk teoretyk i filozof, specjalizujący się w logice matematycznej i teorii mnogości, zajmujący się również teoriąwzględności i filozofiąmatematyki.
Nowy!!: Teoria modeli i Kurt Gödel · Zobacz więcej »
Logika matematyczna
Logika matematyczna – dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki.
Nowy!!: Teoria modeli i Logika matematyczna · Zobacz więcej »
Model Herbranda
Model Herbranda to taki model, w którym.
Nowy!!: Teoria modeli i Model Herbranda · Zobacz więcej »
Moduł (matematyka)
Moduł – struktura algebraiczna będąca uogólnieniem przestrzeni liniowej.
Nowy!!: Teoria modeli i Moduł (matematyka) · Zobacz więcej »
Obiekt matematyczny
Modele wielościanów wypukłych - obiektów matematycznych. Obiekt matematyczny – obiekt abstrakcyjny, będący przedmiotem rozważań matematyki.
Nowy!!: Teoria modeli i Obiekt matematyczny · Zobacz więcej »
Para uporządkowana
Para uporządkowana – każdy obiekt matematyczny powstały z dowolnych dwóch elementów a, b, w którym a może być określony jako pierwszy, a b jako drugi element pary; nazywa się je odpowiednio poprzednikiem oraz następnikiem paryHelena Rasiowa, Wstęp do matematyki współczesnej, Państwowe Wydawnictwo Naukowe, Warszawa 1968.
Nowy!!: Teoria modeli i Para uporządkowana · Zobacz więcej »
Paul Cohen
Paul Joseph Cohen (ur. 2 kwietnia 1934 w Long Branch, zm. 23 marca 2007 w Stanford) – amerykański matematyk, od 1964 roku profesor Uniwersytetu Stanforda.
Nowy!!: Teoria modeli i Paul Cohen · Zobacz więcej »
Pierścień (matematyka)
Pierścień – struktura formalizująca własności algebraiczne liczb całkowitych oraz arytmetyki modularnej; intuicyjnie zbiór, którego elementy mogąbyć bez przeszkód dodawane, odejmowane i mnożone, lecz niekoniecznie dzielone.
Nowy!!: Teoria modeli i Pierścień (matematyka) · Zobacz więcej »
Politechnika Krakowska im. Tadeusza Kościuszki
Wydział Architektury Wydział Inżynierii Lądowej Wydział Mechaniczny Politechniki Politechnika Krakowska im.
Nowy!!: Teoria modeli i Politechnika Krakowska im. Tadeusza Kościuszki · Zobacz więcej »
Predykat
Predykat – wieloznaczny termin mogący oznaczać.
Nowy!!: Teoria modeli i Predykat · Zobacz więcej »
Rachunek predykatów pierwszego rzędu
Rachunek predykatów pierwszego rzędu – system logiczny, w którym zmienna, na której oparty jest kwantyfikator, może być elementem pewnej wybranej dziedziny (zbioru), nie może natomiast być zbiorem takich elementów.
Nowy!!: Teoria modeli i Rachunek predykatów pierwszego rzędu · Zobacz więcej »
Relacja (matematyka)
Relacja – dowolny podzbiór iloczynu kartezjańskiego skończonej liczby zbiorów; definicja ta oddaje intuicję pewnego związku, czy zależności między elementami wspomnianych zbiorów (elementy wspomnianych zbiorów pozostająw związku albo łączy je pewna zależność, czy też własność lub nie).
Nowy!!: Teoria modeli i Relacja (matematyka) · Zobacz więcej »
Robert Lawson Vaught
Robert Lawson Vaught Robert Lawson Vaught (ur. 4 kwietnia 1926 w Alhambrze, zm. 2 kwietnia 2002) − amerykański logik i matematyk.
Nowy!!: Teoria modeli i Robert Lawson Vaught · Zobacz więcej »
Routledge Encyclopedia of Philosophy
Routledge Encyclopedia of Philosophy – encyklopedia filozofii pod redakcjąEdwarda Craiga.
Nowy!!: Teoria modeli i Routledge Encyclopedia of Philosophy · Zobacz więcej »
Saharon Szelach
Saharon Szelach Saharon Szelach (hebr. שהרן שלח, en. Saharon Shelah) (ur. 3 lipca 1945 w Jerozolimie) – izraelski matematyk, profesor na Uniwersytecie Hebrajskim w Jerozolimie oraz Uniwersytecie Rutgersa w Stanach Zjednoczonych.
Nowy!!: Teoria modeli i Saharon Szelach · Zobacz więcej »
Semantyka (logika)
Semantyka (semantyka logiczna) – obok syntaktyki i pragmatyki jeden z trzech działów semiotyki logicznej (taki podział semiotyki wprowadził Charles W. Morris), zajmujący się funkcjami semantycznymi, tj.
Nowy!!: Teoria modeli i Semantyka (logika) · Zobacz więcej »
Stała (matematyka)
suwaka logarytmicznego z niektórymi stałymi Stała – pewien symbol, któremu przyporządkowana jest określona zdefiniowana wartość.
Nowy!!: Teoria modeli i Stała (matematyka) · Zobacz więcej »
Struktura matematyczna
Struktura matematyczna – pojęcie fundamentalne dla matematyki, definiowane jednak w rozmaity sposób, zależnie od teorii i kontekstu.
Nowy!!: Teoria modeli i Struktura matematyczna · Zobacz więcej »
Symbol funkcyjny
Symbol funkcyjny – symbol używany w logice matematycznej i pokrewnych dziedzinach matematyki (np. algebrze abstrakcyjnej).
Nowy!!: Teoria modeli i Symbol funkcyjny · Zobacz więcej »
Syntaktyka (logika)
Syntaktyka – jeden z trzech głównych działów semiotyki, obok semantyki i pragmatyki.
Nowy!!: Teoria modeli i Syntaktyka (logika) · Zobacz więcej »
Teoria (logika)
Teoria – niesprzeczny zbiór zdań.
Nowy!!: Teoria modeli i Teoria (logika) · Zobacz więcej »
Teoria mnogości
zbiorów. Teoria mnogości, teoria zbiorów – dział matematyki zaliczany do jej działów podstawowych (fundamentalnych); bada on zbiory, zwłaszcza te nieskończone, a także ich uogólnienia jak klasy.
Nowy!!: Teoria modeli i Teoria mnogości · Zobacz więcej »
Twierdzenia Gödla
Twierdzenia Gödla – wspólna nazwa dwóch rezultatów logiki matematycznej i metamatematyki.
Nowy!!: Teoria modeli i Twierdzenia Gödla · Zobacz więcej »
Ultraprodukt
Ultraprodukt – sposób budowania nowych modeli z danej rodziny modeli.
Nowy!!: Teoria modeli i Ultraprodukt · Zobacz więcej »
Uniwersum (matematyka)
Uniwersum (z łac. ogół, wszystko, Wszechświat) – klasa wszystkich elementów rozpatrywanych w danym kontekście matematycznym.
Nowy!!: Teoria modeli i Uniwersum (matematyka) · Zobacz więcej »
Zbiór
Zbiór (dawniej także mnogość) – pojęcie pierwotne aksjomatycznej teorii mnogości (zwanej też teoriązbiorów) leżące u podstaw całej matematyki; idealizacja intuicyjnie rozumianego zbioru (zestawu, kolekcji) utworzonego z elementów (komponentów, składowych), która jest efektem abstrahowania od wewnętrznej struktury modelowanego obiektu i wzajemnych zależności między jego elementami (np. hierarchii, czy kolejności).
Nowy!!: Teoria modeli i Zbiór · Zobacz więcej »
Zdanie logiczne
Zdanie logiczne – podstawowa kategoria syntaktyczna, będąca jednocześnie formąwypowiedzi, mającej na celu określenie stanu faktycznego danej rzeczy.
Nowy!!: Teoria modeli i Zdanie logiczne · Zobacz więcej »
1931
Bez opisu.
Nowy!!: Teoria modeli i 1931 · Zobacz więcej »