Temat: MATHEMATICAL LOGIC - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Mathematical logic : exercises and solutions
Autorzy:: Csirmaz, Laszlo
Gyenis, Zalán
Data publikacji:: 2022
Wydawca:: Springer
Słowa kluczowe:: mathematical logic
predicate calculus
first-order logic
propositional calculus
Gödel’s theorems
recursion theory
problem solving
formal logic
ultraproducts
Peano axiom system; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Algebraic Characterization of the Weak Beth Property
Algebraiczna Charakteryzacja Słabej Własności Betha
Autorzy:: Gil Sanchez, Michał
Słowa kluczowe:: Definability, Definability Theory, Beth Property, Weak Beth Property, Algebraic Logic, Categorical Logic, Mathematical Logic
Definiowalność, Teoria Definiowalności, Własność Betha, Słaba Własność Betha, Logika Algebraiczna, Logika Kategoryjna, Logika Matematyczna; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Teoria zbiorów dziedzicznie skończonych jako przykład zastosowania języka logiki pierwszego rzędu
The theory of hereditarily finite sets as an example of an application of the first order logic language
Autorzy:: Czubin, Adrianna
Słowa kluczowe:: logika matematyczna, logika pierwszego rzędu, aksjomaty, dowód formalny, zbiory dziedzicznie skończone, aksjomaty teorii mnogości
mathematical logic, first order logic, axioms, formal proof, hereditarily finite sets, set theory axioms; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

Szczegóły

Informacja