Zobrazeno 1 - 10
of 77
pro vyhledávání: '"Borut Robič"'
Publikováno v:
Proceedings of The 17th International Symposium on Computer and Information Sciences ISBN: 9780429332821
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f122e07ad87ec94a20109a548fea1510
https://doi.org/10.1201/9780429332821-75
https://doi.org/10.1201/9780429332821-75
Publikováno v:
Proceedings of The 17th International Symposium on Computer and Information Sciences ISBN: 9780429332821
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e649eef258f7ec2793cb899a9b23ff59
https://doi.org/10.1201/9780429332821-28
https://doi.org/10.1201/9780429332821-28
Autor:
Borut Robič
Publikováno v:
The Foundations of Computability Theory ISBN: 9783662624203
The Foundations of Computability Theory ISBN: 9783662448076
The Foundations of Computability Theory ISBN: 9783662448076
In this chapter we will introduce a different view of sets of natural numbers. Sometimes such a set can be defined by a property of its members, where the property is expressed by a formula of Formal Arithmetic. Sets defined by formulas of the same c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::12407f0f52a88a931856289975d2133e
https://doi.org/10.1007/978-3-662-62421-0_15
https://doi.org/10.1007/978-3-662-62421-0_15
Autor:
Borut Robič
Publikováno v:
The Foundations of Computability Theory ISBN: 9783662624203
The Foundations of Computability Theory ISBN: 9783662448076
The Foundations of Computability Theory ISBN: 9783662448076
At this point we only know of two degrees of unsolvability: the T-degree shared by all the decidable decision problems, and the T-degree shared by all undecidable decision problems that are T-equivalent to the Halting Problem. In this chapter we will
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::12e9b84d44c6c1f6c55ed260d8a89072
https://doi.org/10.1007/978-3-662-62421-0_12
https://doi.org/10.1007/978-3-662-62421-0_12
Autor:
Borut Robič
Publikováno v:
The Foundations of Computability Theory ISBN: 9783662624203
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7a0be701dbb244ddca83d8d3eb2f8a33
https://doi.org/10.1007/978-3-662-62421-0_5
https://doi.org/10.1007/978-3-662-62421-0_5
Autor:
Borut Robič
Publikováno v:
The Foundations of Computability Theory ISBN: 9783662624203
The Foundations of Computability Theory ISBN: 9783662448076
The Foundations of Computability Theory ISBN: 9783662448076
We now know that there are 1) infinitely many T-degrees; 2) the relation < defined between these T-degrees; and 3) the operator Turing jump that constructs from a given set a new set at a higher T-degree. In this chapter, T-degrees will become the ma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::64416f7c2e33d6256c2aaef9b2f799e9
https://doi.org/10.1007/978-3-662-62421-0_13
https://doi.org/10.1007/978-3-662-62421-0_13
Autor:
Borut Robič
Publikováno v:
The Foundations of Computability Theory ISBN: 9783662624203
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::13bc2738ae680cfd8e4941df966fb621
https://doi.org/10.1007/978-3-662-62421-0_3
https://doi.org/10.1007/978-3-662-62421-0_3
Autor:
Borut Robič
Publikováno v:
The Foundations of Computability Theory ISBN: 9783662624203
The Computability (Church-Turing) Thesis formalized the informal notions of computation and enabled their mathematical treatment. The thesis is by many viewed as an unproved or even unprovable proposition, although it has been subjected to continuous
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::304f367e9bd6c00d5dd6a1a4260dba54
https://doi.org/10.1007/978-3-662-62421-0_16
https://doi.org/10.1007/978-3-662-62421-0_16
Autor:
Borut Robič
Publikováno v:
The Foundations of Computability Theory ISBN: 9783662624203
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ebe08e1152b1db15bb2ca33288e0bc98
https://doi.org/10.1007/978-3-662-62421-0_1
https://doi.org/10.1007/978-3-662-62421-0_1
Autor:
Borut Robič
Publikováno v:
The Foundations of Computability Theory ISBN: 9783662624203
The Foundations of Computability Theory ISBN: 9783662448076
The Foundations of Computability Theory ISBN: 9783662448076
In the previous chapters we have defined the basic notions and concepts of a theory that we are interested in, Computability Theory. In particular, we have rigorously defined its basic notions, i.e., the notions of algorithm, computation, and computa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::92d2a932cd637eb75883676905992c5f
https://doi.org/10.1007/978-3-662-62421-0_7
https://doi.org/10.1007/978-3-662-62421-0_7