• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Symbol funkcyjny



    Podstrony: 1 [2] [3]
    Przeczytaj także...
    Teoria grup – dział algebry, uważany za dość autonomiczną dziedzinę matematyki (w szczególności teoria grup abelowych, czyli przemiennych), który bada własności struktur algebraicznych nazywanych grupami, czyli zbiorów z wyróżnionym łącznym dwuargumentowym działaniem wewnętrznym mającym element neutralny i w którym każdy element jest odwracalny.Ciało uporządkowane – ciało K, w którym wyróżniony jest zbiór D elementów dodatnich o następujących własnościach:

    Symbol funkcyjny – symbol używany w logice matematycznej i pokrewnych dziedzinach matematyki (np. algebrze abstrakcyjnej). Symbole funkcyjne są elementami alfabetów języków pierwszego rzędu (a także innych logik) i charakteryzują się tym, że zastosowane do obiektów zwanych termami produkują nowe termy.

    W potocznym języku matematyki, symbole funkcyjne w wyrażeniach matematycznych oznaczają funkcje, np.: w wyrażeniu symbolem funkcyjnym jest , w jest nim +, w są nimi , , + oraz -.

    Język w logice matematycznej to pewien zbiór symboli, przy użyciu których można tworzyć bardziej złożone wyrażenia (na przykład formuły, zdania) według ściśle określonych reguł syntaktycznych. Przyjmuje się, że w danym języku L mogą występować (w dowolnej ilości) symbole funkcyjne, relacyjne oraz symbole stałych. Zdania napisane przy użyciu języków tego typu wystarczają do opisu większości własności dowolnych struktur matematycznych oraz do wyrażenia twierdzeń mówiących o tych strukturach.Struktura matematyczna (także model, system semantyczny, model semantyczny, dziedzina, struktura pierwszego rzędu) - w matematyce zbiór obiektów matematycznych połączonych w pewien system.

    Spis treści

  • 1 Symbole funkcyjne i termy w logikach pierwszego rzędu
  • 1.1 Różne ujęcia i oznaczenia
  • 1.2 Przykłady
  • 2 Interpretacje termów w modelu
  • 3 Zobacz też


  • Podstrony: 1 [2] [3]



    w oparciu o Wikipedię (licencja GFDL, CC-BY-SA 3.0, autorzy, historia, edycja)

    Warto wiedzieć że... beta

    Działanie lub operacja – w matematyce i logice przyporządkowanie jednemu lub większej liczbie elementów nazywanych argumentami lub operandami elementu nazywanego wynikiem. Badaniem działań w ogólności zajmuje się dział nazywany algebrą uniwersalną, zbiory z choć jednym określonym na nim działaniem algebraicznym nazywa się algebrami ogólnymi (często krótko: algebrami), samą rodzinę działań określa się nazwą „sygnatura”.
    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. Koncentruje się ona na analizowaniu zasad rozumowania oraz pojęć z nim związanych z wykorzystaniem sformalizowanych oraz uściślonych metod i narzędzi matematyki.
    Algebra uniwersalna – dział matematyki zajmujący się badaniem ogólnych struktur algebraicznych, nazywany również w niektórych publikacjach algebrą ogólną. Algebra uniwersalna wraz z teorią kategorii stanowią matematyczne podstawy teorii specyfikacji algebraicznych. Podstawowym pojęciem algebry uniwersalnej jest pojęcie algebry (nazywanej często algebrą uniwersalną; wtedy cały dział nazywa się algebrą ogólną), zbioru A wyposażonego w pewien zbiór Ω {displaystyle Omega } operacji n-arnych nazywany sygnaturą. Każda struktura algebraiczna (grupoid, półgrupa, grupa, pierścień, ciało itd.) jest pewną algebrą.
    Symbol relacyjny lub predykat – jest to uogólnienie zmiennych zdaniowych rachunku zdań w rachunku predykatów pierwszego rzędu.
    Teoria modeli (nazywana też czasem semantyką logiczną) to dział logiki matematycznej zajmujący się badaniem własności modeli teorii aksjomatycznych i zależności między nimi. Dziedzina ta jest w znacznym stopniu powiązana z algebrą i teorią mnogości, ale ma też mocno rozbudowany własny aparat pojęciowy i w swojej współczesnej postaci jest w pełni samodzielną dziedziną wiedzy.
    Funkcja (łac. functio, -onis, „odbywanie, wykonywanie, czynność”) – dla danych dwóch zbiorów X i Y przyporządkowanie każdemu elementowi zbioru X dokładnie jednego elementu zbioru Y. Oznacza się ją na ogół f, g, h itd.
    Rachunek predykatów pierwszego rzędu – (ang. first order predicate calculus) to 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. Tak więc nie mogą występować kwantyfikatory typu "dla każdej funkcji z X na Y ..." (gdyż funkcja jest podzbiorem X × Y), "istnieje własność p, taka że ..." czy "dla każdego podzbioru X zbioru Z ...". Rachunek ten nazywa się też krótko rachunkiem kwantyfikatorów, ale często używa się też nazwy logika pierwszego rzędu (szczególnie wśród matematyków zajmujących się logiką matematyczną).

    Reklama

    Czas generowania strony: 0.028 sek.