Maszyna Turinga, schemat rekurencji - dowód
-
- Użytkownik
- Posty: 1
- Rejestracja: 14 cze 2019, o 16:52
- Płeć: Mężczyzna
- Lokalizacja: Kraków
Maszyna Turinga, schemat rekurencji - dowód
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.
Powód: Symbol mnożenia to \cdot.