Wszystkie pola: open problems

Skocz do pozycji: 1.

Tytuł:: Statements and open problems on decidable sets X⊆N that contain informal notions and refer to the current knowledge on X
Autorzy:: Kozdęba, Agnieszka
Tyszka, Apoloniusz
Współwytwórcy:: University of Agriculture in Krakow
Jagiellonian University
Data publikacji:: 2022
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Książka

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Statements and open problems on decidable sets X⊆N that contain informal notions and refer to the current knowledge on X
Autorzy:: Tyszka, Apoloniusz
Kozdęba, Agnieszka
Data publikacji:: 2022
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Książka

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Theorems and open problems that concern decidable sets X \subseteq {\mathb N} and cannot be formalized in mathematics understood as an a priori science as they refer to the current knowledge on X
Autorzy:: Tyszka, Apoloniusz
Kozdęba, Agnieszka
Współwytwórcy:: Hugo Kołłątaj University
Faculty of Mathematics and Computer Science of the Jagiellonian University
Data publikacji:: 2022-02-21
Słowa kluczowe:: constructively defined algorithms which are currently known
known elements of a set X \subseteq {\mathbb N} whose infiniteness is false or unproven
conjecturally infinite sets X \subseteq {\mathbb N}
constructively defined integer n satisfies card(X)<\omega => X \subseteq (-\infty n]
physical limits of computation
algorithms whose existence is provable in ZFC
mathematical definitions and theorems with epistemic and informal notions
primes of the form n^2+1; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Książka

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Theorems and open problems that concern decidable sets X \subseteq {\mathb N} and cannot be formalized in mathematics understood as an a priori science as they refer to the current knowledge on X
Autorzy:: Tyszka, Apoloniusz
Kozdęba, Agnieszka
Data publikacji:: 2022-02-21
Słowa kluczowe:: conjecturally infinite sets X \subseteq {\mathbb N}
physical limits of computation
constructively defined algorithms which are currently known
constructively defined integer n satisfies card(X)<\omega => X \subseteq (-\infty n]
algorithms whose existence is provable in ZFC
primes of the form n^2+1
known elements of a set X \subseteq {\mathbb N} whose infiniteness is false or unproven
mathematical definitions and theorems with epistemic and informal notions; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Książka

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Open mathematical problems which cannot be stated formally as they refer to intuitive meanings of mathematical formulae and the current mathematical knowledge
Autorzy:: Tyszka, Apoloniusz
Współwytwórcy:: University of Agriculture in Krakow, Faculty of Production and Power Engineering
Data publikacji:: 2020-01-26
Słowa kluczowe:: computable set X \subseteq \mathbb{N} whose infiniteness remains conjectured
computable set X \subseteq \mathbb{N} whose finiteness remains conjectured
huge integers for which arithmetical operations cannot be performed by any physical process
intuitive meaning of a mathematical formula
Zenkin's super-induction
David Lewis's notion of a natural property; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Książka

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Prace IPPT IFTR Reports ; 2/1984
The exact surface impedance approach to problems of diffraction in open waveguides
Autorzy:: Nasalski, Wojciech
Data publikacji:: 1984
Wydawca:: Instytut Podstawowych Problemów Techniki PAN
Słowa kluczowe:: Optyka zintegrowana
Falowody; Pokaż więcej
Dostawca treści:: RCIN - Repozytorium Cyfrowe Instytutów Naukowych

Książka

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Memorabilia Zoologica ; 37
General problems of synanthropization : proceedings of the international symposium held on 26-31, May, 1980 at Białowieża - contents
General problems of synanthropization : proceedings of the international symposium held on 26-31, May, 1980 at Białowieża - spis treści
Autorzy:: Trojan, Przemysław (1929– ). Red.
Współwytwórcy:: Polska Akademia Nauk. Instytut Zoologii
Data publikacji:: 1983
Wydawca:: Zakład Narodowy im. Ossolińskich - Wydawnictwo Polskiej Akademii Nauk
Słowa kluczowe:: ecology
man's impact
Synantropizacja -- Polska -- konferencje [KABA]
urbicenosis
environment
synanthropization
effect of human beings
Poland
nature
Urbicenozy -- Polska -- konferencje [KABA]
conferences
Przyroda -- skutki działalności człowieka -- konferencje [KABA]
congresses
ekologia
Środowisko przyrodnicze -- skutki działalności człowieka -- konferencje [KABA]; Pokaż więcej
Dostawca treści:: RCIN - Repozytorium Cyfrowe Instytutów Naukowych

Książka

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Fauna gorodov: faunističeskie, zoogeografičeskie i èkologičekie problemy
Urban fauna: faunistic, zoogeographical and ecological problems
Fauna miast: problem faunistyczny, zoogeograficzny i ekologiczny
Urban fauna: zoogeographical and ecological problems
Species Composition and Origin of the Fauna of Warsaw ; pt. 1 (1)
Autorzy:: Trojan, Przemysław (1929– )
Współwytwórcy:: Polska Akademia Nauk. Instytut Zoologii
Data publikacji:: 1981
Wydawca:: Zakład Narodowy im. Ossolińskich - Wydawnictwo Polskiej Akademii Nauk
Słowa kluczowe:: zoogegraphy
Faunistyka -- Polska -- Warszawa [KABA]
fauna miasta
Warsaw
urbicenosis
Poland
zoogeografia
urban environment
gatunki synantropijne
ecology
synanthropes
Urbicenozy -- Polska -- Warszawa [KABA]
środowisko miejskie
Zwierzęta miast -- Polska -- Warszawa [KABA]
urban fauna
synanthropization
faunistics
ekologia
Synantropizacja -- Polska -- Warszawa [KABA]; Pokaż więcej
Dostawca treści:: RCIN - Repozytorium Cyfrowe Instytutów Naukowych

Książka

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Synantropizacja jako efekt przekształcania środowiska
Synanthropization as a result of environmental transformation
Sinantropizaciâ kak rezulʾtat preobrazovaniâ sredy
General Problems of Synanthropization
Autorzy:: Kostrowicki, Andrzej Samuel (1921–2007)
Współwytwórcy:: Zakład Narodowy im. Ossolińskich. Wydawnictwo.
Polska Akademia Nauk. Instytut Zoologii
Data publikacji:: 1982
Wydawca:: Zakład Narodowy im. Ossolińskich - Wydawnictwo Polskiej Akademii Nauk
Słowa kluczowe:: Synantropizacja -- konferencje [KABA]
man's impact
environment
synanthropization
effect of human beings
nature
conferences
Przyroda -- skutki działalności człowieka -- konferencje [KABA]
congresses
Środowisko przyrodnicze -- skutki działalności człowieka -- konferencje [KABA]; Pokaż więcej
Dostawca treści:: RCIN - Repozytorium Cyfrowe Instytutów Naukowych

Książka

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Numerical methods of biodiversity studies and the problems of the protection of nature
Biodiversity studies and protection
Fauna and Flora of the Korean Peninsula
Numeryczne metody badań nad bioróżnorodnością a problemy ochrony przyrody
Autorzy:: Polska Akademia Nauk. Muzeum i Instytut Zoologii
Trojan, Przemysław
Wytwer, Jolanta
Data publikacji:: 1997
Wydawca:: Muzeum i Instytut Zoologii Polskiej Akademii Nauk
Słowa kluczowe:: metody numeryczne
bioróżnorodność
Analiza numeryczna -- konferencje [KABA]
Przyroda -- ochrona -- konferencje [KABA]
biodiversity
Różnorodność biologiczna -- konferencje [KABA]
numerical methods
nature conservation
conferences; Pokaż więcej
Dostawca treści:: RCIN - Repozytorium Cyfrowe Instytutów Naukowych

Książka

na półce

Szczegóły

Informacja

Wyszukujesz frazę "open problems" wg kryterium: Wszystkie pola