Maszyna Turinga, schemat rekurencji - dowód

Permutacje. Kombinacje. Wariacje. Rozmieszczanie kul w urnach. Silnie i symbole Newtona. Przeliczanie zbiorów. Funkcje tworzące. Teoria grafów.
zdolny_i_nie_leniwy
Użytkownik
Użytkownik
Posty: 1
Rejestracja: 14 cze 2019, o 16:52
Płeć: Mężczyzna
Lokalizacja: Kraków

Maszyna Turinga, schemat rekurencji - dowód

Post autor: zdolny_i_nie_leniwy »

Na studiach na zadanie dostałem udowodnienie obliczalności funkcji za pomocą maszyny Turinga i schematu rekurencji. Nie wdając się w szczegóły jestem przekonany, że raczej nie mam żadnych podstaw aby być w stanie to zrobić (można powiedzieć, że nie było tego ani na wykładach ani na ćwiczeniach, przedmiot Matematyka Dyskretna). Czy w związku z tym, ktoś jest w stanie doradzić mi jak się za to zabrać? Każda pomoc jest w cenie (książki, artykuły, notatki, wytłumaczenie, cokolwiek). Funkcja do udowodnienia: \(\displaystyle{ x^2 \cdot sgy + z}\).
Ostatnio zmieniony 15 cze 2019, o 10:28 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Symbol mnożenia to \cdot.
ODPOWIEDZ