Wszystkie pola: computable functions

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ę "computable functions" wg kryterium: Wszystkie pola

Wyświetlanie 1-8 z 8

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Net-definability of computable functions
Autorzy:: Jachowicz, Piotr
Data publikacji:: 2003
Tematy:: Funkcje
Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Elementary properties of the class of nondeterministic polynomial time computable functions
Autorzy:: Jones, James P.
Data publikacji:: 1988
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: A simple adequate categorical model for PCF, II
Autorzy:: Braüner, T.
Data publikacji:: 1998
Słowa kluczowe:: adequacy
Programming Computable Functions
categorical model; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: On Proving Parameterized Size Lower Bounds for Multilinear Algebraic Models
Autorzy:: Ghosal, Purnata
Raghavendra Rao, B. V.
Data publikacji:: 2020
Słowa kluczowe:: circuit complexity
multilinear algebra
polynomials
computable functions
reading
size; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: On the definitions of computable real continuous functions
Autorzy:: Grzegorczyk, Andrzej
Data publikacji:: 1957
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Funkcje normalne jako nowy model definiowania funkcji obliczalnych
Autorzy:: Dubiel, L.
Data publikacji:: 2004
Słowa kluczowe:: maszyna Turinga
funkcje rekursywne
funkcje normalne
Turing machine
recursive functions
normal functions; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Computable structures and operations on the space of continuous functions
Autorzy:: Melnikov, Alexander G.
Współwytwórcy:: Ng, Keng Meng
Data publikacji:: 2016
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: The Inverse of Ackermann Function is Computable in Linear Time
Autorzy:: Sureson, Claude
Data publikacji:: 2021
Słowa kluczowe:: recursive functions
complexity of computation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-8 z 8

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ę "computable functions" wg kryterium: Wszystkie pola