Wszystkie pola: computability theory

Skocz do pozycji: 1.

Tytuł:: Turing machine approach to runtime software adaptation
Autorzy:: Rudy, J.
Data publikacji:: 2014
Słowa kluczowe:: runtime change
dynamic modification
computability theory
turing machines; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Turing machine approach to runtime software adaptation
Autorzy:: Rudy, J.
Data publikacji:: 2014
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: runtime change
dynamic modification
computability theory
turing machines; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Computability and human symbolic output
Autorzy:: Megill Jason
Melvin Tim
Data publikacji:: 2014-04-30
Tematy:: Computability theory
Turing machines
axiomatization of sciences
artificial intelligence; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Predykat K aktualnej wiedzy matematycznej nietrywialnie rozszerza teorię obliczalności
The predicate K of the current mathematical knowledge non-trivially extends computability theory
Autorzy:: Tyszka, Apoloniusz
Data publikacji:: 2024-06-11
Wydawca:: Elsevier
Słowa kluczowe:: limit-computable function
single-fold Diophantine representation
eventually dominates
current mathematical knowledge; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Książka

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Dynamic Turing Machine: model and properties for runtime code changes
Autorzy:: Rudy, J.
Data publikacji:: 2016
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: computability theory
models of computation
Turing machine
runtime code changes; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Dynamic Turing Machine: model and properties for runtime code changes
Autorzy:: Rudy, J.
Data publikacji:: 2016
Słowa kluczowe:: computability theory
models of computation
Turing machine
runtime code changes; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Variable Complexity of Simple Programs
Autorzy:: Holzer, M.
Kutrib, M.
Data publikacji:: 2006
Słowa kluczowe:: computability theory
programming approach to computability
LOOP-WHILE and GOTO-programs
register complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Prawda o przyszłości i pojęcie obliczeń
Future Truth and the Concept of Computability
Autorzy:: Wilk Andrzej
Tematy:: theory of computability
knowledge about the future
philosophy; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Prawda o przyszłości i pojęcie obliczeń
Future Truth and the Concept of Computability
Autorzy:: Andrzej Wilk
Data publikacji:: 2013
Tematy:: theory of computability
knowledge about the future
philosophy; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Prawda o przyszłości i pojęcie obliczeń
Future Truth and the Concept of Computability
Autorzy:: Wilk, Andrzej
Data publikacji:: 2013
Wydawca:: Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN
Tematy:: theory of computability
knowledge about the future
philosophy; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Chaos a nieobliczalność
Chaos and Incomputability
Autorzy:: Andrzej Wilk
Data publikacji:: 2014
Tematy:: teoria obliczalności
teoria chaosu
teza Churcha
theory of computability
theory of chaos
Church’s thesis; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Chaos a nieobliczalność
Chaos and Incomputability
Autorzy:: Wilk Andrzej
Tematy:: teoria obliczalności
teoria chaosu
teza Churcha
theory of computability
theory of chaos
Church’s thesis; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Chaos a nieobliczalność
Chaos and Incomputability
Autorzy:: Wilk, Andrzej
Data publikacji:: 2014
Wydawca:: Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN
Tematy:: teoria obliczalności
teoria chaosu
teza Churcha
theory of computability
theory of chaos
Church’s thesis; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Platek spaces
Autorzy:: Ivanov, L.
Data publikacji:: 2000
Słowa kluczowe:: generalised recursion theory
computability
lightface recursion
combinatory algebras
Platek spaces; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Boldface recursion on Platek spaces
Autorzy:: Ivanov, L.
Data publikacji:: 2000
Słowa kluczowe:: generalised recursion theory
computability
boldface recursion
combinatory algebras
Platek spaces; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Flexible and Robust Patterning by Centralized Gene Networks
Autorzy:: Vakulenko, S.
Radulescu, O.
Data publikacji:: 2012
Słowa kluczowe:: Gene networks
Pattern formation
Positional information
Driesch-Wolpert theory
bifurcation
viability
computability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Diagonal Anti-Mechanist Arguments
Autorzy:: David Kashtan
Data publikacji:: 2020
Tematy:: mechanism
mind
computability
incompleteness theorems
computational theory of mind
the cogito
diagonal arguments
Gödel
Descartes
Tarski
Turing
Chomsky; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Diagonal Anti-Mechanist Arguments
Autorzy:: Kashtan, David
Data publikacji:: 2020
Wydawca:: Polskie Towarzystwo Semiotyczne
Tematy:: mechanism
mind
computability
incompleteness theorems
computation-al theory of mind
the cogito
diagonal arguments
Gödel
Descartes
Tarski
Turing
Chomsky; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "computability theory" wg kryterium: Wszystkie pola