Википедија

Рекурзиван скуп — разлика између измена

Интерактиван преглед историје
← Старија изменаНовија измена →
Садржај обрисан Садржај додат
ВизуелноВикитекст
м →‎Литература: претварање ISBN веза у шаблон
Autobot (разговор | доприноси)
1.572.075 измена
м razne izmene; козметичке измене
Ред 16:
 
== Својства ==
Ако је ''-{A}-'' рекурзиван скуп, онда је и његов [[комплемент (теорија скупова)|комплемент]] рекурзиван скуп. Ако су ''-{A}-'' и ''-{B}-'' рекурзивни скупови, онда су и ''-{A}-'' ∩∩ ''-{B}-'', ''-{A'' ∪∪ ''B}-'' и слика од ''-{A'' ×× ''B}-'' по [[Канторова функција упаривања|Канторовом упаривању]], рекурзивни скупови.
 
Скуп ''-{A}-'' је рекурзиван скуп [[ако и само ако]] су и ''-{A}-'' и његов [[комплемент (теорија скупова)|комплемент]] [[рекурзивно пребројив скуп|рекурзивно пребројиви скупови]]. Оригинал<!-- preimage --> рекурзивног скупа у односу на [[тотална функција|тоталну]] [[израчунљива функција|израчунљиву функцију]] је рекурзиван скуп. Слика израчунљивог скупа у односу на тоталну израчунљиву [[бијекцију]] је израчунљива.
Ред 23:
 
== Литература ==
* -{Cutland, N. ''Computability.'' Cambridge University Press, Cambridge-New York, 1980. {{ISBNpage|year=1980|isbn=978-0-521-22384-3|pages=}};. {{ISBNpage|year=|isbn=978-0-521-29465-2|pages=}} }-
* -{Rogers, H. ''The Theory of Recursive Functions and Effective Computability'', MIT Press. {{ISBNpage|year=|isbn=978-0-262-68052-3|pages=}};. {{ISBNpage|year=|isbn=978-0-07-053522-0|pages=}} }-
* -{Soare, R. ''Recursively enumerable sets and degrees.'' Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1987. {{ISBNpage|year=1987|isbn=978-3-540-15299-6|pages=}}}-
 
[[Категорија:Теорија рекурзије]]
Преузето из „https://sr.wikipedia.org/wiki/Рекурзиван_скуп”