Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Appunti migliori di Carpi #14

Draft
wants to merge 24 commits into
base: master
Choose a base branch
from
Draft

Appunti migliori di Carpi #14

wants to merge 24 commits into from

Conversation

ncvescera
Copy link
Member

Redazione di nuovi appunti per Carpi basandosi sul libro di testo.

Scritto fino a capitolo 1.
Iniziato capitolo 2, le macchine di turing.
@ncvescera ncvescera linked an issue Aug 10, 2022 that may be closed by this pull request
2 tasks
@ncvescera ncvescera added riscrittura Riscrittura o completamento di materiale incompleto nuovo materiale Aggiunta di nuovi appunti/dispense per un esame and removed riscrittura Riscrittura o completamento di materiale incompleto labels Aug 10, 2022
Completata questa sezione.
Da iniziare le macchine di turing
Scritta sezione La Macchina di Turing.
Continuare da ultima riga a pagina 25.
Scritti capitoli

- La Macchina di Turing
- La Macchina di Turing e Linguaggi
- La Macchina di Turing e Funzioni
- Codifiche di Stringhe
- Numeri e Coppie

Continuare da pagina 34
Arrivato a scrivere fino alle macchine di turing a più nastri.
Continuare da pagina 43.
Scritta subsection sulle macchine non deterministiche e completata
quella sulle macchine a più nastri.
Continuare da pagina 47.
Generato Table of Contents.
Aggiunti alcuni TODO per risolvere degli errori che sono comparsi.
Risolti alcuni problemi:

- risolto problema di enumerazione dei capitoli. Ora tutte le section
  sono chapter e così via
- il ToC non dà più problemi con la nuova enumerazione delle sezioni
Arrivato a scrivere fino alla macchina universale.
Continuare da pagina 51.
Completato paragrafo il probelma dell'arresto e
iniziata scrittura del successivo.

Continuare da pagine 56
- Completata scrittura del paragrafo.
- Aggiunto TODO
- Iniziato paragrafo successivo

Continuare da pagina 58.
Arrivato a scrivere fino alla prima parte della dimostrazione del
Teorema di Rice.
Continuare da pagina  66.
Completata scrittura del paragrafo sui teoremi di Kleene e Rice.
Completato primo Capitolo.
Continuare con il Capitolo Funzioni Ricorsive da pagina 68
Scritto paragrafo sulla Tesi di Church.
Aggiunto TODO.
Continuare da pagina 78.
Completato capitolo sulle funzioni ricorsive.
Continuare da pagina 120.
Iniziata scrittura del capitolo 7.
Terminata sezione 1 Introduzione.
Iniziata scrittura della Sezione 2.
Continuare da pagina 126.
Completata scrittura del Capitolo 7.
Continuare con il Capitolo 8 pagina 133.
Iniziato a scrivere Sezione 1.
Ricontrollare pagina 136 e continuare da pagina 137.
Completata sezione 1.
Iniziata scrittura della sezione 2.
Continuare da pagina 144.
Aggiunte alcune domande prese ad un esame di Carpi
Scitto fino al capitolo Problemi NP-completi.
Continuare da pagina 154.
Arrivato a scrivere fino al capitolo Altri esempi NP-completi.
Continuare da pagina 162.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
nuovo materiale Aggiunta di nuovi appunti/dispense per un esame
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Carpi Enhanced
1 participant