Elementary induction on abstract structures

Elementary induction on abstract structures

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Μοσχοβάκης, Γιάννης Ν., 1938-
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Mineola, N.Y. : Dover Publications, 2008.
Θέματα:	Recursive functions. Induction (Mathematics)
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Mathematical induction
από: Youse, Bevan K.
Δημοσίευση: (1964)

Mathematical induction
από: Henkin, Leon
Δημοσίευση: (1961)

Induction in mathematics
από: Rosenbaum, Louise Johnson
Δημοσίευση: (1966)

Abduction and induction :
Δημοσίευση: (2000)

The method of mathematical induction
από: Sominskii, I. S. (Ilia Samuilovich)
Δημοσίευση: (1975)

Optimum inductive methods :
από: Festa, Roberto
Δημοσίευση: (1993)

Parabolic subgroups of algebraic groups and induction
από: Vella, David C 1954-
Δημοσίευση: (1986)

Induction :
Δημοσίευση: (1986)

Formalized recursive functionals and formalized realizability
από: Kleene, Stephen Cole 1909-
Δημοσίευση: (1969)

Rekursive Folgen
από: Markushevich, A. I. (Alekseaei Ivanovich), 1908-1979
Δημοσίευση: (1955)

Recursive methods in economic dynamics
από: Stokey, Nancy L.
Δημοσίευση: (1989)

Recursive Function Theory
Δημοσίευση: (1962)

Machine learning of inductive bias
από: Utgoff, Paul E. 1951-
Δημοσίευση: (1986)

The calculi of lambda-conversion
από: Church, Alonzo 1903-1995
Δημοσίευση: (1951)

Degrees of unsolvability
από: Sacks, Gerald E.
Δημοσίευση: (1966)

Recursive algorithms
από: Lorentz, Richard
Δημοσίευση: (1994)

Theory of formal systems
από: Smullyan, Raymond M.
Δημοσίευση: (1961)

Η αποδεικτική μέθοδος της τέλειας επαγωγής
από: Βουκούτης, Ν.
Δημοσίευση: (1955)

Hierarchies of predicates of finite types
από: Clarke, Douglas Albert
Δημοσίευση: (1964)

Computability :
από: Cutland, Nigel
Δημοσίευση: (1980)

A decision method for elemantary algebra and goemetry
από: Tarski, Alfred
Δημοσίευση: (1951)

Εισαγωγή στην υπολογιστική
από: Τουρλάκης, Γιώργος
Δημοσίευση: (1994)

Μαθηματική επαγωγή
από: Πάχης, Στέλιος Χρ
Δημοσίευση: (1980)

Μαθηματική επαγωγή
από: Πάχης, Στέλιος Χρ
Δημοσίευση: (1980)

The foundations of intuitionistic mathematics :
από: Kleene, Stephen Cole 1909-
Δημοσίευση: (1965)

Minimal degrees of unsolvability and the full approximation construction
από: Epstein, Richard L. 1947-
Δημοσίευση: (1975)

Stochastic approximation and recursive algorithms and applications
από: Kushner, Harold J. (Harold Joseph) 1933-
Δημοσίευση: (2003)

A recursive introduction to the theory of computation
από: Smith, Carl H. 1950-
Δημοσίευση: (1994)

Μαθηματική επαγωγή :
από: Βουκούτης, Ν.
Δημοσίευση: (1978)

The undecidable :
Δημοσίευση: (1965)

Algorithmen, rekursive funktionen und formaler sprachen
από: Brauer, Wilfried, κ.ά.
Δημοσίευση: (1968)

Techniques of admissible recursion theory
από: Chong, C.-T. (Chi-Tat) 1949-
Δημοσίευση: (1984)

Initial segments of degrees below 0'
από: Epstein, Richard L. 1947-
Δημοσίευση: (1981)

Recursion theory
Δημοσίευση: (1985)

Probability and evidence
από: Ayer, A. J. (Alfred Jules), 1910-1989
Δημοσίευση: (1972)

Φροντιστηριακά θέματα άλγεβρας
από: Παχής, Στέλιος Χρ
Δημοσίευση: (1965)

The emergence of probability :
από: Hacking, Ian
Δημοσίευση: (1984)

Recursion Theory Week
Δημοσίευση: (1985)

Recursion theory week :
Δημοσίευση: (1990)

Recursions for convolutions and compound distributions with insurance applications
από: Sundt, Bjorn
Δημοσίευση: (2009)