Wszystkie pola: FORMALIZED MATHEMATICS.

Skocz do pozycji: 1.

Tytuł:: Formalized Mathematics
Data publikacji:: 1990
Wydawca:: Uniwersytet w Białymstoku
Dostawca treści:: Arianta

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 22, nr 2 (2014)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 5, nr 3 (1996)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 6, nr 1 (1997)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 5, nr 1 (1996)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 5, nr 2 (1996)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 13, nr 1 (2005)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 9, nr 1 (2001)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 8, nr 1 (1999)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 6, nr 3 (1997)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 20, nr. 1 (2012)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 5, nr 4 (1996)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 6, nr 2 (1997)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 13, nr 2 (2005)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 12, nr 3 (2004)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 9, nr 4 (2001)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 9, nr 3 (2001)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 9, nr 2 (2001)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 7, nr 2 (1998)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 7, nr 1 (1998)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 6, nr 4 (1997)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 18, nr 1/4 (2010)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 17, nr 1/4 (2009)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 19, nr 1/4 (2011)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 16, nr 1/2 (2008)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 15, nr 1/4 (2007)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 13, nr 3/4 (2005)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 12, nr 1/2 (2004)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 11, nr 1/2 (2003)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 10, nr 1/3 (2002)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 16, nr 3/4 (2008)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 14, nr 1/4 (2006)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: Formalized Mathematics : a computer assisted approach, Vol. 11, nr 3/4 (2003)
Współwytwórcy:: Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok)
Wydawca:: Warsaw ; Białystok : WUBB
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: On Computer-assisted Approach to Formalized Reasoning
Autorzy:: Matuszewski R.
Tematy:: AUTOMATED REASONING
FORMALIZED MATHEMATICS.
SCIENCE OF SCIENCE; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Exploring MiZAR library with MML Query
Autorzy:: Bancerek, G.
Data publikacji:: 2007
Słowa kluczowe:: MIZAR
wyszukiwanie semantyczne
repozytoria sformalizowanej matematyki
sematic searching
repositories of formalized mathematics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: Exploring MiZAR library with MML Query
Eksploracja biblioteki mizara z użyciem MML Query
Autorzy:: Bancerek, G.
Data publikacji:: 2007
Wydawca:: Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:: MIZAR
wyszukiwanie semantyczne
repozytoria sformalizowanej matematyki
sematic searching
repositories of formalized mathematics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

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

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

Tytuł:: Does Science Progress Towards Ever Higher Solvability Through Feedbacks Between Insights and Routines?
Autorzy:: Marciszewski, Witold
Data publikacji:: 2018
Wydawca:: Polskie Towarzystwo Semiotyczne
Tematy:: Algorithm
arithmetic
axiom
axiomatic formalized theory
concept
decidability
feedback
insight (intuition)
mathematics
mechanism
mentalism
oracle
problem
problem-solving
progress
routine procedure
science
solvability; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Does Science Progress Towards Ever Higher Solvability Through Feedbacks Between Insights and Routines?
Autorzy:: Marciszewski Witold
Tematy:: Algorithm
arithmetic
axiom
axiomatic formalized theory
concept
decidability
feedback
insight (intuition)
mathematics
mechanism
mentalism
oracle
problem
problem-solving
progress
routine procedure
science
solvability; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "FORMALIZED MATHEMATICS." wg kryterium: Wszystkie pola