Forum www.2006matsp.fora.pl Strona Główna  Forum www.2006matsp.fora.pl Strona Główna  
  www.2006matsp.fora.pl
FAQ  FAQ   Szukaj  Szukaj   Użytkownicy  Użytkownicy   Grupy  Grupy  Galerie  Galerie
 
Rejestracja  ::  Zaloguj Zaloguj się, by sprawdzić wiadomości
 
Forum www.2006matsp.fora.pl Strona Główna->Nauka ;(->egzamin z dysk.

Napisz nowy tematOdpowiedz do tematu Idź do strony Poprzedni  1, 2
egzamin z dysk. <-Zobacz poprzedni temat :: Zobacz następny temat->
Autor Wiadomość
Samuraj
PostWysłany: Sob 20:16, 30 Sty 2010 Temat postu:


Administrator

Dołączył: 21 Lis 2007
Posty: 199
Przeczytał: 0 tematów

Pomógł: 6 razy
Ostrzeżeń: 0/5
Skąd: Żary

to jest chyba ten opis jak maszyna turinga przechodzi z jednego stanu do 2 Smile

Post został pochwalony 0 razy
Powrót do góry
Zobacz profil autora
Iwona "żabka"
PostWysłany: Sob 21:27, 30 Sty 2010 Temat postu:




Dołączył: 27 Lis 2007
Posty: 105
Przeczytał: 0 tematów

Pomógł: 12 razy
Ostrzeżeń: 0/5
Skąd: Głogów

najpierw jest def definicji funkcji obliczalnej pozniej uwaga a pozniej ta definicja
zaczyna sie niech dana bedzie maszyna .... niech ponadto rozkazy programu P beda uporzadkowane ........... i pod koniec jest : jest nazywana funkcja przejscia maszyny M przy zalozeniu ze P zawiera m rozkazow ... itd


Post został pochwalony 0 razy
Powrót do góry
Zobacz profil autora
Samuraj
PostWysłany: Nie 15:11, 31 Sty 2010 Temat postu:


Administrator

Dołączył: 21 Lis 2007
Posty: 199
Przeczytał: 0 tematów

Pomógł: 6 razy
Ostrzeżeń: 0/5
Skąd: Żary

a moglby ktos wyjasnic pojecia z tw poli'ego ba ja cos w mych notatkach nie moge znalesc;/

Post został pochwalony 0 razy
Powrót do góry
Zobacz profil autora
marzenka_u
PostWysłany: Nie 15:25, 31 Sty 2010 Temat postu:




Dołączył: 22 Lis 2007
Posty: 96
Przeczytał: 0 tematów

Pomógł: 3 razy
Ostrzeżeń: 0/5
Skąd: Lubin

za tw. Schura są wyjaśnienia oznaczeń

Post został pochwalony 0 razy
Powrót do góry
Zobacz profil autora
turbo
PostWysłany: Nie 16:31, 31 Sty 2010 Temat postu:




Dołączył: 06 Gru 2007
Posty: 18
Przeczytał: 0 tematów

Pomógł: 3 razy
Ostrzeżeń: 0/5

Dzięki:)

Post został pochwalony 0 razy
Powrót do góry
Zobacz profil autora
Samuraj
PostWysłany: Sob 13:41, 13 Lut 2010 Temat postu:


Administrator

Dołączył: 21 Lis 2007
Posty: 199
Przeczytał: 0 tematów

Pomógł: 6 razy
Ostrzeżeń: 0/5
Skąd: Żary

jeśli ktoś mialby chęc o czy moglby mi napsiac tw ramseya (czy jak on tam sie zwie bo u mnie w zeszycie cos rozczytac sie nie moge Razz) i ładnie zdefiniować język rozstrzygalny ?

Post został pochwalony 0 razy
Powrót do góry
Zobacz profil autora
Iwona "żabka"
PostWysłany: Sob 15:08, 13 Lut 2010 Temat postu:




Dołączył: 27 Lis 2007
Posty: 105
Przeczytał: 0 tematów

Pomógł: 12 razy
Ostrzeżeń: 0/5
Skąd: Głogów

Tw Ramseya
Nieh dane beda liczby r,t nalezace do N oraz q1,...qt nalezace do N.
Wowczas istnieje liczba naturalna n taka, że:
dla kazdego X ( |X|>=n i (x po r) = A1u...uAt) => ( sitnieje i nalezace do [t] istnieje Y zawarte w X |Y|>= qi i ( Y po n) zawiera sie w Ai)]
u- oznacza sume a zawiera sie to jest takie podwojne zawiera sie

Niech dana bedzie maszyna Turinga M=(A,Q,L,P) ze znanym A0, n, q0 i zbiorem stanów akceptujących. Zbiorem rozpoznawalnym przez M nazywamy
L(M)={(S1,...,Sn) nalężacych do (A0*)^n: (S1,...,Sn) jest akceptowane przez M}
W szczególności dla n=1 zbior rozpoznawalny przez M nazywamy tez jezykiem rozpoznawalnym przez M.

Jezykiem(zbiorem) rozstrzygalnym nazywamy jezyk(zbior) ktory jest rozpoznawalny przez pewna maszyne Turinga zatrzymujaca sie dla wszystkich danych.

ciezko te znaczki zapisac tak na forum mam nadzieje ze bedziesz wiedzial o co chodzi


Post został pochwalony 1 raz

Ostatnio zmieniony przez Iwona "żabka" dnia Sob 17:20, 13 Lut 2010, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Iwona "żabka"
PostWysłany: Sob 15:10, 13 Lut 2010 Temat postu:




Dołączył: 27 Lis 2007
Posty: 105
Przeczytał: 0 tematów

Pomógł: 12 razy
Ostrzeżeń: 0/5
Skąd: Głogów

Z tego co wiem Benia nie miala do wybory jak my dowodow tylko miala jeden z wielomianow szachowych dowod z 6 miala zupelnie inny niz my a z Turinga miala same te najdluzsze definicje ( bo Benia pisala sama egzamin w innym terminie)

Post został pochwalony 0 razy

Ostatnio zmieniony przez Iwona "żabka" dnia Sob 15:11, 13 Lut 2010, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Wyświetl posty z ostatnich:
Napisz nowy tematOdpowiedz do tematu Idź do strony Poprzedni  1, 2 Strona 2 z 2

Forum www.2006matsp.fora.pl Strona Główna->Nauka ;(->egzamin z dysk.
Skocz do:  



Nie możesz pisać nowych tematów
Nie możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach
 
 


fora.pl - załóż własne forum dyskusyjne za darmo
DAJ Glass (1.0.5) template by Dustin Baccetti
EQ graphic based off of a design from www.freeclipart.nu
Powered by phpBB Š 2001, 2002 phpBB Group