Spis treści
11 kontakty: Jacques Herbrand, Liczby naturalne, Liczby rzeczywiste, Rachunek predykatów pierwszego rzędu, Rachunek zdań, Stała (matematyka), Struktura matematyczna, Term, Twierdzenie Herbranda, Zbiór, Zbiór Hintikki.
Jacques Herbrand
Jacques Herbrand (ur. 12 lutego 1908, zm. 27 lipca 1931) – francuski matematyk, znany głównie ze swojego wkładu do logiki matematycznej, w mniejszym stopniu też do algebry.
Zobaczyć Model Herbranda i Jacques Herbrand
Liczby naturalne
osi liczbowej duża litera N – standardowy symbol liczb naturalnych. Liczby naturalne – termin dwuznaczny.
Zobaczyć Model Herbranda i Liczby naturalne
Liczby rzeczywiste
geometryczna zbioru liczb rzeczywistych Liczby rzeczywiste – uogólnienie liczb wymiernych na wszystkie liczby odpowiadające punktom na osi liczbowej, zwanej też prostąrzeczywistą.
Zobaczyć Model Herbranda i Liczby rzeczywiste
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.
Zobaczyć Model Herbranda i Rachunek predykatów pierwszego rzędu
Rachunek zdań
Rachunek zdań – dział logiki matematycznej badający związki między zmiennymi zdaniowymi (zdaniami) lub funkcjami zdaniowymi, utworzonymi za pomocąfunktorów zdaniotwórczych (spójników zdaniowych) ze zdań lub prostszych funkcji zdaniowych.
Zobaczyć Model Herbranda i Rachunek zdań
Stała (matematyka)
suwaka logarytmicznego z niektórymi stałymi Stała – pewien symbol, któremu przyporządkowana jest określona zdefiniowana wartość.
Zobaczyć Model Herbranda i Stała (matematyka)
Struktura matematyczna
Struktura matematyczna – pojęcie fundamentalne dla matematyki, definiowane jednak w rozmaity sposób, zależnie od teorii i kontekstu.
Zobaczyć Model Herbranda i Struktura matematyczna
Term
Term (formuła nazwowa) – wyrażenie składające się ze zmiennych oraz symboli funkcyjnych o dowolnej argumentowości (w tym o argumentowości 0, czyli stałych) z pewnego ustalonego zbioru.
Zobaczyć Model Herbranda i Term
Twierdzenie Herbranda
Twierdzenie Herbranda to jedno z najważniejszych twierdzeń konstruktywnych logiki pierwszego rzędu: Ponieważ każde rozwinięcie jest właściwie skończonąformułąrachunku zdań, a więc da się rozstrzygnąć w czasie skończonym (wykładniczym), liczba rozwinięć Herbranda dla formuły natomiast jest zbiorem przeliczalnym, umożliwia to udowodnienie każdej tautologii logiki pierwszego rzędu, chociaż może to zająć nieograniczonąilość czasu.
Zobaczyć Model Herbranda i Twierdzenie Herbranda
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.
Zobaczyć Model Herbranda i Zbiór
Zbiór Hintikki
Zbiór Hintikki (ang. Hintikka set) to maksymalnie wysycony (ang. saturated) zbiór generowany przez pewien niesprzeczny zbiór formuł logicznych.
Zobaczyć Model Herbranda i Zbiór Hintikki