Temat: completeness theorem

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "completeness theorem" wg kryterium: Temat

Wyświetlanie 1-10 z 18

Zaznacz

Skocz do pozycji: 1.

Tytuł:: The Completeness of Typing for Context-Semantics
Autorzy:: Coquand, T.
Data publikacji:: 2007
Słowa kluczowe:: Hindley's completeness theorem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Variants of Small Universal P Systems with Catalysts
Autorzy:: Alhazov, A.
Freund, R.
Data publikacji:: 2015
Słowa kluczowe:: computational complexity
completeness theorem
catalysts
machine theory
problem solving; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Length P Systems
Autorzy:: Alhazov, A.
Freund, R.
Ivanov, S.
Data publikacji:: 2014
Słowa kluczowe:: computational complexity
linear systems
configurations
completeness theorem
biological membranes; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic
Autorzy:: Kurata, Toshihiko
Fujita, Ken-etsu
Data publikacji:: 2019
Słowa kluczowe:: second-order intuitionistic propositional logic
complete Heyting algebras
completeness theorem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: A Relational Logic for Spatial Contact Based on Rough Set Approximation
Autorzy:: Düntsch, I.
Orłowska, E.
Wang, H.
Data publikacji:: 2016
Słowa kluczowe:: rough sets
approximation theory
set theory
mathematical proofs
completeness theorem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Truth in the limit
Autorzy:: Mostowski, M.
Data publikacji:: 2016
Słowa kluczowe:: finite models
sl–semantics
completeness theorem
potential infinity
finite arithmetics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Truth in the limit
Autorzy:: Mostowski, Marcin
Data publikacji:: 2016
Słowa kluczowe:: sl–semantics
completeness theorem
potential inﬁnity
ﬁnite models
ﬁnite arithmetics; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: On Completeness and Decidability of Phase Space Invertible Asynchronous Cellular Automata
Autorzy:: Wacker, S.
Worsch, T.
Data publikacji:: 2013
Słowa kluczowe:: completeness theorem
decidability
cellular automata
turing machines
dimensional analysis
machine theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: A propositional logic of temporal connectives
Autorzy:: Epstein Richard L.
Buitrago-Díaz Esperanza
Data publikacji:: 2014-09-06
Tematy:: temporal logic
propositional logic
completeness theorem
linear orderings
subjective experience of time; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Natural Deduction System for Some Three-valued Propositional Logic
Autorzy:: Zbrzezny, A.
Data publikacji:: 1999
Słowa kluczowe:: teoria kompletności
logika zdań
rachunek ciągowy N
sequence N calculus
completeness theorem
logic of propositions; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 18

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę "completeness theorem" wg kryterium: Temat