Temat: Teoria rekursywności. - Katalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach

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ę "Teoria rekursywności." wg kryterium: Temat

Źródło danych

Wyświetlanie 1-29 z 29

Zaznacz

Skocz do pozycji 1.

Tytuł pełny:: Recursion theory week : proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989 / K. Ambos-Spies, G. H. Müller, G. E. Sacks (eds.)
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: cop. 1990
Seria:: Lecture Notes in Mathematics 0075-8434 1432

Książka

na półce

Szczegóły

Skocz do pozycji 2.

Tytuł pełny:: Generalized recursion theory : proceedings of the 1972 Oslo symposium / Ed. by J. E. Fenstad, P. G. Hinman
Wydawca:: Amsterdam : North-Holland
Rok wydania:: 1974
Seria:: Studies in Logic and the Foundations of Mathematics ; vol. 79

Książka

na półce

Szczegóły

Skocz do pozycji 3.

Tytuł pełny:: Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by H.-D. Ebbinghaus, G. H. Müller, and G. E. Sacks
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1985
Seria:: Lecture Notes in Mathematics ; 1141

Książka

na półce

Szczegóły

Skocz do pozycji 4.

Tytuł pełny:: Initial segments of degrees below 0' / Richard L. Epstein
Wydawca:: Providence : American Mathematical Society
Rok wydania:: 1981
Seria:: Memoirs of the American Mathematical Society, 0065-9266 ; nr 241

Książka

na półce

Szczegóły

Skocz do pozycji 5.

Tytuł pełny:: Spravočnaâ kniga po matematičeskoj logike. Č. 3, Teoriâ rekursii / pod red. Dž. Barvajsa ; per. s angl. S. G. Dvornikova, I. A. Lavrova pod red. Û. L. Eršova
Wydawca:: Moskva : "Nauka" Glavnaâ redakciâ fiziko-matematičeskoj literatury
Rok wydania:: 1982

Książka

na półce

Szczegóły

Skocz do pozycji 6.

Tytuł pełny:: Recursion-theoretic hierarchies / Peter G. Hinman
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1978
Seria:: Perspectives in Mathematical Logic

Książka

na półce

Szczegóły

Skocz do pozycji 7.

Tytuł pełny:: General recursion theory : an axiomatic approach / Jens E. Fenstad
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: cop. 1980
Seria:: Perspectives in Mathematical Logic

Książka

na półce

Szczegóły

Skocz do pozycji 8.

Tytuł pełny:: Rekursivnyj matematičeskij analiz / R. L. Gudstejn ; per. s angl. A. O. Slisenko, pod red. G. E. Minca
Wydawca:: Moskva : Izdatel'stvo "Nauka" Glavnaâ Redakciâ Fiziko-Matematičeskoj Literatury
Rok wydania:: 1970
Seria:: Matematičeskaâ Logika i Osnovaniâ Matematiki

Książka

na półce

Szczegóły

Skocz do pozycji 9.

Tytuł pełny:: Algebraic recursion theory / L. L. Ivanov ; ed. J. L. Bell
Wydawca:: Chichester : Ellis Horwood ; New York [etc]. : John Wiley & Sons
Rok wydania:: 1986
Seria:: Ellis Horwood Series in Mathematics and Its Applications

Książka

na półce

Szczegóły

Skocz do pozycji 10.

Tytuł pełny:: Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi
Wydawca:: Amsterdam [etc.] : North-Holland ; Elsevier Science Publishers
Rok wydania:: 1989
Seria:: Studies in Logic and the Foundations of Mathematics 0049-237X ; vol. 125

Książka

na półce

Szczegóły

Skocz do pozycji 11.

Tytuł pełny:: Recursion theory for metamathematics / Raymond M. Smullyan
Wydawca:: New York ; Oxford : Oxford University Press
Rok wydania:: 1993
Seria:: Oxford Logic Guides ; 22

Książka

na półce

Szczegóły

Skocz do pozycji 12.

Tytuł pełny:: Recursion theory / Joseph R. Shoenfield
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: cop. 1993
Seria:: Lecture Notes in Logic ; 1

Książka

na półce

Szczegóły

Skocz do pozycji 13.

Tytuł pełny:: Vyčislimost' vvedenie v teoriû rekursivnyh funkcij / N. Katlend ; per. s angl. A. A. Mučnika ; pod red. S. Û. Maslova
Wydawca:: Moskva : "Mir"
Rok wydania:: 1983

Książka

na półce

Szczegóły

Skocz do pozycji 14.

Tytuł pełny:: Kombinatornye prostranstva i rekursivnost’ v nih / Dimitr G. Skordev ; Bolgarskaâ Akademii Nauk ; Edinyj Centr Matematiki i Mehaniki
Wydawca:: Sofiâ : Izd. Bolgarskoj Akademii Nauk
Rok wydania:: 1980

Książka

na półce

Szczegóły

Skocz do pozycji 15.

Tytuł pełny:: Recursion on the countable functionals / Dag Normann
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1980
Seria:: Lecture Notes in Mathematics, 0075-8434 ; 811

Książka

na półce

Szczegóły

Skocz do pozycji 16.

Tytuł pełny:: Recursion theory : computational aspects of definability / Chi Tat Chong, Liang Yu
Wydawca:: Berlin ; Boston : Walter de Gruyter
Rok wydania:: [2015]
Seria:: De Gruyter Series in Logic and Its Applications, 1438-1893 ; vol. 8

Dokument elektroniczny

na półce

Szczegóły

Skocz do pozycji 17.

Tytuł pełny:: The Kleene symposium : proceedings of the Symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / ed. by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
Wydawca:: Amsterdam : North-Holland Publishing Company
Rok wydania:: 1980
Seria:: Studies in Logic and the Foundations of Mathematics, 0049-237X ; vol. 101

Książka

na półce

Szczegóły

Skocz do pozycji 18.

Tytuł pełny:: Diagonalization and self-reference / Raymond M. Smullyan
Wydawca:: Oxford : Clarendon Press
Rok wydania:: 1994
Seria:: Oxford Logic Guides ; 27
Oxford Science Publications

Książka

na półce

Szczegóły

Skocz do pozycji 19.

Tytuł pełny:: Subrecursion : functions and hierarchies / H. E. Rose
Wydawca:: Oxford : Clarendon Press
Rok wydania:: 1984
Seria:: Oxford Logic Guides ; 9

Książka

na półce

Szczegóły

Skocz do pozycji 20.

Tytuł pełny:: Analiza przyczynowa w systemach rekursywnych : podejścia i podstawowe metody / Juraj Schenk
Wydawca:: Rzeszów : Wydawnictwo Wyższej Szkoły Informatyki i Zarządzania
Rok wydania:: 2008

Książka

na półce

Szczegóły

Skocz do pozycji 21.

Tytuł pełny:: Computable economics : the Arne Ryde memorial lectures / Kumaraswamy Velupillai
Wydawca:: Oxford : University Press
Rok wydania:: cop. 2000

Książka

na półce

Szczegóły

Skocz do pozycji 22.

Tytuł pełny:: Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus / by R. L. Goodstein
Wydawca:: Amsterdam : North Holland Publishing Company
Rok wydania:: 1957
Seria:: Studies in Logic and the Foundations of Mathematics

Książka

na półce

Szczegóły

Skocz do pozycji 23.

Tytuł pełny:: Admissible sets and structures : an approach to definability theory / Jon Barwise
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1975
Seria:: Perspectives in Mathematical Logic

Książka

na półce

Szczegóły

Skocz do pozycji 24.

Tytuł pełny:: The recursion method : application to many-body dynamics / V. S. Viswanath, Gerhard Müller
Wydawca:: Berlin : Springer
Rok wydania:: cop. 1994
Seria:: Lecture Notes in Physics. M, Monographs ; 23

Książka

na półce

Szczegóły

Skocz do pozycji 25.

Tytuł pełny:: Rekursivno perečislimye množestva i stepeni nerazrešimosti / M. M. Arslanov
Wydawca:: Kazan' : Izd-vo Kazanskogo Universiteta
Rok wydania:: 1986

Książka

na półce

Szczegóły

Skocz do pozycji 26.

Tytuł pełny:: First-order dynamic logic / David Harel
Wydawca:: Berlin [etc] : Springer-Verlag
Rok wydania:: 1979
Seria:: Lecture Notes in Computer Science ; 68

Książka

na półce

Szczegóły

Skocz do pozycji 27.

Tytuł pełny:: Rekursywność i przygodność / Yuk Hui ; tłumaczenie Joanna Bednarek ; redakcja naukowa wydania polskiego Jędrzej Maliński, Michał Krzykawski ; tłumaczenie cytowanych tekstów francuskojęzycznych Michał Krzykawski
Wydawca:: Katowice : Wydawnictwo Uniwersytetu Śląskiego
Wydanie:: Wydanie I
Rok wydania:: 2022
Seria:: Techniki, Technologie, Technosfera, 2720-6831 ; t. 1

Książka

na półce

Szczegóły

Skocz do pozycji 28.

Tytuł pełny:: Word problems : decision problems and the Burnside problem in group theory / ed. by W. W. Boone, F. B. Cannonito, R. C. Lyndon
Wydawca:: Amsterdam ; London : North-Holland Publishing Company
Rok wydania:: 1973
Seria:: Studies in Logic and the Foundations of Mathematics vol. 71

Książka

na półce

Szczegóły

Skocz do pozycji 29.

Tytuł pełny:: Algebraic computability and enumeration models : recursion theory and descriptive complexity / Cyrus F. Nourani
Wydawca:: Oakville ; Waretown : Apple Academic Press
Rok wydania:: cop. 2016

Książka

na półce

Szczegóły

Wyświetlanie 1-29 z 29

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

Prześlij opinię

Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.

Formularz

Informacja

Wyszukujesz frazę "Teoria rekursywności." wg kryterium: Temat