Kurs pracy w systemie Linux zadanie z listy zada«jakub Michaliszyn Instytut Informatyki Uniwersytetu Wrocªawskiego 6 grudnia 2009
1 Pobieranie plików 2 Przepisywanie pliku 3 Alternatywa 4 Jeszcze wi cej, jeszcze wi cej
Table of contents 1 Pobieranie plików 2 Przepisywanie pliku 3 Alternatywa 4 Jeszcze wi cej, jeszcze wi cej
Pobieranie plików O plikach Na stronie wiczeniowca powinny znajdowa si trzy pliki: ten plik w formacie pdf, ten plik w formacie tex oraz plik zadania.pdf. Pierwszy krok ci gnij te pliki na dysk i zapoznaj si z ich zawarto±ci. Jakub Michaliszyn (II UWr) Lista z linuksa 6 grudnia 2009 4 / 11
Pobieranie plików Zapoznaj si z plikiem w formacie tex. Na jego podstawie b dziesz miaª utworzy wªasny dokument. 1 Podobnie jak wcze±niej, nie musisz rozumie jeszcze nagªówków, skup si na fragmencie od \begin{document} 1 Ten plik zostaª stworzony, aby demonstrowa mo»liwie wiele mo»liwo±ci pakietu beamer, przez co wygenerowany dokument wygl da nieco nieestetycznie. Jakub Michaliszyn (II UWr) Lista z linuksa 6 grudnia 2009 5 / 11
Table of contents 1 Pobieranie plików 2 Przepisywanie pliku 3 Alternatywa 4 Jeszcze wi cej, jeszcze wi cej
Polecenie Twoje zadanie polega na utworzeniu pliku w L A TEXu, który generuje plik podobny do pliku zadania.pdf. Jakub Michaliszyn (II UWr) Lista z linuksa 6 grudnia 2009 7 / 11
Polecenie Twoje zadanie polega na utworzeniu pliku w L A TEXu, który generuje plik podobny do pliku zadania.pdf. Oczywi±cie, na stronie tytuªowej powinny by zmienione dane osobowe. Jakub Michaliszyn (II UWr) Lista z linuksa 6 grudnia 2009 7 / 11
Polecenie Twoje zadanie polega na utworzeniu pliku w L A TEXu, który generuje plik podobny do pliku zadania.pdf. Oczywi±cie, na stronie tytuªowej powinny by zmienione dane osobowe. Im bardziej wygenerowany plik b dzie podobny do zadania.pdf, tym wi cej punktów dostaniesz. Jakub Michaliszyn (II UWr) Lista z linuksa 6 grudnia 2009 7 / 11
Table of contents 1 Pobieranie plików 2 Przepisywanie pliku 3 Alternatywa 4 Jeszcze wi cej, jeszcze wi cej
Alternatywne zadanie Je±li nie chcesz przepisywa pliku, mo»esz zamiast tego utworzy w beamerze rozwi zanie jednego z zada«z pliku zadania.pdf. Jakub Michaliszyn (II UWr) Lista z linuksa 6 grudnia 2009 9 / 11
Alternatywne zadanie Je±li nie chcesz przepisywa pliku, mo»esz zamiast tego utworzy w beamerze rozwi zanie jednego z zada«z pliku zadania.pdf. Punktacja W ten sposób mo»esz otrzyma tyle samo punktów, co za wªa±ciwe zadanie, a nawet kilka punktów bonusowych, je±li wybierzesz ambitniejsze zadanie. Jakub Michaliszyn (II UWr) Lista z linuksa 6 grudnia 2009 9 / 11
Alternatywne zadanie Je±li nie chcesz przepisywa pliku, mo»esz zamiast tego utworzy w beamerze rozwi zanie jednego z zada«z pliku zadania.pdf. Punktacja W ten sposób mo»esz otrzyma tyle samo punktów, co za wªa±ciwe zadanie, a nawet kilka punktów bonusowych, je±li wybierzesz ambitniejsze zadanie. Uwaga Lepiej punktowane b d rozwi zania, które wykorzystuj ró»norodne mo»liwo±ci Beamera. Jakub Michaliszyn (II UWr) Lista z linuksa 6 grudnia 2009 9 / 11
Komentarz Alternatywa wydaje si prostsza od wªa±ciwego zadania. Alternatywne zadanie Je±li nie chcesz przepisywa pliku, mo»esz zamiast tego utworzy w beamerze rozwi zanie jednego z zada«z pliku zadania.pdf. Punktacja W ten sposób mo»esz otrzyma tyle samo punktów, co za wªa±ciwe zadanie, a nawet kilka punktów bonusowych, je±li wybierzesz ambitniejsze zadanie. Uwaga Lepiej punktowane b d rozwi zania, które wykorzystuj ró»norodne mo»liwo±ci Beamera. Jakub Michaliszyn (II UWr) Lista z linuksa 6 grudnia 2009 9 / 11
Table of contents 1 Pobieranie plików 2 Przepisywanie pliku 3 Alternatywa 4 Jeszcze wi cej, jeszcze wi cej
Ta cze± sªu»y ju» wyª cznie demonstrowaniu mo»liwo±ci beamera. Theorem Je±li P R Q i Q jest rekurencyjnie przeliczalny, to P jest rekurencyjnie przeliczalny. Dowód. Niech g b dzie redukcj P do Q, a M b dzie maszyn semi-rozstrzygaj c Q. Wtedy poni»szy program semi-rozstrzyga P. Szczegóªowy dowód pozostawiamy czytelnikowi. - wczytaj n - oblicz g(n) i zapami taj wynik pod zmienn k - uruchom M na k i zwró jej wynik Jakub Michaliszyn (II UWr) Lista z linuksa 6 grudnia 2009 11 / 11