-
Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.nask.pl!news.nask.org.pl!news.uni-
stuttgart.de!news.belwue.de!news-zh.switch.ch!switch.ch!feeder.news-service.com
!feeder1.cambriumusenet.nl!feed.tweaknews.nl!209.197.12.246.MISMATCH!nx02.iad01
.newshosting.com!newshosting.com!newsfeed.neostrada.pl!unt-exc-01.news.neostrad
a.pl!unt-spo-b-01.news.neostrada.pl!news.neostrada.pl.POSTED!not-for-mail
From: "Rafal\(sxat\)" <g...@u...to.op.pl>
Newsgroups: pl.comp.programming
References: <f...@l...googlegroups.com>
Subject: Re: Dopełnienie języka rekurencyjnie przeliczalnego
Date: Sat, 5 Mar 2011 09:35:24 +0100
MIME-Version: 1.0
Content-Type: text/plain; charset="iso-8859-2"
Content-Transfer-Encoding: 8bit
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.2001
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.2001
Lines: 15
Message-ID: <4d71f58a$0$2452$65785112@news.neostrada.pl>
Organization: Telekomunikacja Polska
NNTP-Posting-Host: 79.191.216.109
X-Trace: 1299314058 unt-rea-a-01.news.neostrada.pl 2452 79.191.216.109:2456
X-Complaints-To: a...@n...neostrada.pl
Xref: news-archive.icm.edu.pl pl.comp.programming:189051
[ ukryj nagłówki ]
Użytkownik "Pol" <p...@g...com> napisał w wiadomości
news:f333faac-4523-41c2-91c7-1b6e200f59a5@l18g2000yq
m.googlegroups.com...
Cześć
W polskiej Wikipedii znalazłem zdanie:
Język L jest językiem rekurencyjnym wtedy i tylko wtedy, gdy zarówno
L, jak i jego dopełnienie są rekurencyjnie przeliczalne.
http://pl.wikipedia.org/wiki/J%C4%99zyk_rekurencyjny
Mam pytanie czy ktoś może dysponuje dowodem tego twierdzenia lub
Znów jakiś teoretyk wymyślił opis czegoś czego nie zrozumiał...
wtedy i tylko wtedy... spytaj się autora :)
Najnowsze wątki z tej grupy
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
Najnowsze wątki
- 2024-12-19 koniki obsiadły kolejki i numerki
- 2024-12-18 Poseł oszukany "na policjanta"
- 2024-12-18 znów chory psychicznie
- 2024-12-18 Katowice => Architekt rozwiązań (doświadczenie w obszarze Java, AWS
- 2024-12-18 Poznań => Dyspozytor Międzynarodowy <=
- 2024-12-18 Katowice => System Architect (background deweloperski w Java) <=
- 2024-12-18 Gdańsk => System Architect (Java background) <=
- 2024-12-18 Warszawa => Helpdesk Specialist <=
- 2024-12-18 Katowice => Kierownik Działu Zarządzania Platformą Wirtualizacji i
- 2024-12-18 Bieruń => Regionalny Kierownik Sprzedaży (OZE) <=
- 2024-12-18 Żerniki => Employer Branding Specialist <=
- 2024-12-18 Gliwice => Specjalista ds. public relations <=
- 2024-12-18 Kablówka z modułem CAM
- 2024-12-18 Warszawa => Spedytor międzynarodowy <=
- 2024-12-18 Wróblewo => Analityk finansowy <=
![Ceny mieszkań spadają, ale na duże obniżki nie ma co liczyć [© Freepik]](https://s3.egospodarka.pl/grafika2/rynek-mieszkaniowy/Ceny-mieszkan-spadaja-ale-na-duze-obnizki-nie-ma-co-liczyc-263506-50x33crop.jpg "Ceny mieszkań spadają, ale na duże obniżki nie ma co liczyć [© Freepik]")
Ceny mieszkań spadają, ale na duże obniżki nie ma co liczyć
