Marcin Szczuka: Modele ObliczeÅ. WykÅad 3. Maszyny RAM i ...

More documents

Recommendations

Info

Dowód1 C0 1 jest elementarna, bo C1 0 (x) = |x − x| dla x ∈ N;2 sg jest elementarna, bo sg(x) = ∏ y
Relacje elementarneDefinicja relacji elementarnejRelację n-argumentową R nazywamy elementarną, jeśli jej funkcjacharakterystyczna χ R jest elementarna.Taka definicja relacji elementarnej pociąga za sobą pewne pożytecznewłasności relacji elementarnych.Własności relacji elementarnychTwierdzenie: Relacje elementarne mają następujące własności:1 Jeżeli relacje n-argumentowe R i S są elementarne to relacje R ∪ S,R ∩ S, R \ S także są elementarne.2 Każda skończona relacja jest elementarna.3 Binarne relacje ≤,
Page 1 and 2: Modele ObliczeńWykład 3 - Maszyny
Page 3 and 4: Plan wykładu1 Maszyna RAMOpis masz
Page 5 and 6: Instrukcje w modelu RAMW skład ci
Page 7 and 8: Przykład obliczenia w RAMGdybyśmy
Page 11 and 12: Złożoność operacji RAMDla otrzy
Page 13 and 14: Model RAM vs. maszyny TuringaSymula
Page 15 and 16: MotywacjaStwierdziliśmy już wcze
Page 17 and 18: Funkcje elementarneKlasa funkcji el
Page 19: Przykłady funkcji elementarnychFun
Page 25 and 26: Rekursja pierwotnaNiech g( −→ x
Page 27 and 28: Przykłady funkcji pierwotnie rekur
Page 29 and 30: Własności funkcji pierwotnie reku
Page 33 and 34: Funkcje częściowo rekurencyjneCZR
Page 35 and 36: Funkcja AckermanaPrzykład (bardzo
Page 39 and 40: Zbiory rekurencyjneZbiory pierwotni
Page 41 and 42: Własności zbiorów rekurencyjniep

Marcin Szczuka: Modele ObliczeÅ. WykÅad 3. Maszyny RAM i ...

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?

Marcin Szczuka: Modele ObliczeÅ. WykÅad 3. Maszyny RAM i ...