Wszystkie pola: first order theory

Skocz do pozycji: 1.

Tytuł:: Quasi-decidability of a fragment of the first-order theory of real numbers
Autorzy:: Franek, Peter
Ratschan, Stefan
Zgliczyński, Piotr
Data publikacji:: 2016
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

Szczegóły

Skocz do pozycji: 2.

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: 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

Skocz do pozycji: 4.

Tytuł:: Equivalence between first-order causal and stable hydrodynamics and Israel-Stewart theory for boost-invariant systems with a constant relaxation time
Autorzy:: Florkowski, Wojciech
Ryblewski, Radoslaw
Das, Arpan
Noronha, Jorge
Data publikacji:: 2020
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: How children understand the issue of persuasion in the audiovisual material? The persuasion as a specific example of theory of mind.
Jak dzieci rozumieją perswazję w przekazie audiowizualnym? Perswazja jako szczególny przypadek rozumienia umysłu.
Autorzy:: Włodarczyk, Anna
Słowa kluczowe:: persuasion, theory of mind, first and second order belief, media
perswazja, teorie umysłu, przekonania I i II stopnia, media; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Use of information on belief in creating a persuasive argument : the role of understanding first and second order false beliefs
Korzystanie z informacji o przekonaniach w tworzeniu argumentu perswazyjnego : rola rozumienia fałszywych przekonań I i II rzędu
Autorzy:: Kołodziejczyk, Anna
Data publikacji:: 2012
Słowa kluczowe:: persuasion, social understanding, theory of mind
perswazja, rozumienie społeczne, teoria umysłu; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

Szczegóły

Informacja