16 kontakty: Argumentowość, Ciało uporządkowane, Drzewo (matematyka), Dziedzina (matematyka), Forsing, Funkcja, Graniczna liczba porządkowa, Indukcja pozaskończona, Liczby porządkowe, Programowanie logiczne, Prolog (język programowania), Rachunek predykatów pierwszego rzędu, Stała (matematyka), Symbol funkcyjny, Symbol relacyjny, Teoria grup.
Argumentowość
Argumentowość, arność, członowość – liczba argumentów.
Nowy!!: Term i Argumentowość · Zobacz więcej »
Ciało uporządkowane
Ciało uporządkowane – ciało K, w którym wyróżniony jest podzbiór D elementów dodatnich o następujących własnościach.
Nowy!!: Term i Ciało uporządkowane · Zobacz więcej »
Drzewo (matematyka)
Drzewo – graf nieskierowany, który jest acykliczny i spójny, czyli taki graf, że z każdego wierzchołka drzewa można dotrzeć do każdego innego wierzchołka (spójność) i tylko jednym sposobem (acykliczność, brak możliwości chodzenia „w kółko”).
Nowy!!: Term i Drzewo (matematyka) · Zobacz więcej »
Dziedzina (matematyka)
Dziedzina – dwuznaczne pojęcie matematyczno-logiczne.
Nowy!!: Term i Dziedzina (matematyka) · 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!!: Term 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!!: Term i Funkcja · Zobacz więcej »
Graniczna liczba porządkowa
Graniczna liczba porządkowa – liczba porządkowa, która nie jest następnikiem innej liczby porządkowej.
Nowy!!: Term i Graniczna liczba porządkowa · Zobacz więcej »
Indukcja pozaskończona
Indukcja pozaskończona – rozszerzenie indukcji matematycznej na zbiory dobrze uporządkowane, m.in.
Nowy!!: Term i Indukcja pozaskończona · Zobacz więcej »
Liczby porządkowe
Liczby porządkowe – specjalne rodzaje zbiorów dobrze uporządkowanych, które sąkanonicznymi reprezentantami klas izomorficzności dobrych porządków.
Nowy!!: Term i Liczby porządkowe · Zobacz więcej »
Programowanie logiczne
Programowanie logiczne (nazywane także programowaniem w logice lub programowaniem w języku logiki) – metoda programowania, będąca odmianąprogramowania deklaratywnego, w której program podawany jest jako pewien zestaw zależności, a obliczenia sądowodem pewnego twierdzenia w oparciu o te zależności.
Nowy!!: Term i Programowanie logiczne · Zobacz więcej »
Prolog (język programowania)
Prolog (od francuskiego Programmation en Logique) – jeden z najpopularniejszych języków programowania logicznego.
Nowy!!: Term i Prolog (język programowania) · 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!!: Term i Rachunek predykatów pierwszego rzędu · 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!!: Term i Stała (matematyka) · Zobacz więcej »
Symbol funkcyjny
Symbol funkcyjny – symbol używany w logice matematycznej i pokrewnych dziedzinach matematyki (np. algebrze abstrakcyjnej).
Nowy!!: Term i Symbol funkcyjny · Zobacz więcej »
Symbol relacyjny
Symbol relacyjny (predykat) – uogólnienie zmiennych zdaniowych rachunku zdań w rachunku predykatów pierwszego rzędu.
Nowy!!: Term i Symbol relacyjny · Zobacz więcej »
Teoria grup
Grupa Rubika to przykład obiektu badanego przez teorię grup. grupy wolnej ''F''2 Teoria grup – dział matematyki wyższej, konkretniej algebry abstrakcyjnej, badający grupy.
Nowy!!: Term i Teoria grup · Zobacz więcej »