Domande taggate «induction»

1
Come faccio a scrivere una prova usando l'induzione sulla lunghezza della stringa di input?
Nel mio corso di Teoria del calcolo, molti dei nostri problemi implicano l'uso dell'induzione sulla lunghezza della stringa di input per provare affermazioni sugli automi finiti. Capisco l'induzione matematica, tuttavia quando entrano in gioco le corde mi inciampo davvero. Lo apprezzerei davvero se qualcuno passasse attraverso il processo di realizzazione …
3
L'induzione del percorso è costruttiva?
Sto leggendo il libro HoTT e faccio fatica a indurre il percorso. Quando guardo il tipo nella sezione 1.12.1 : ind=A:∏C:∏x,y:A(x=Ay)→U((∏x:AC(x,x,reflx))→∏x,y:A∏p:x=AyC(x,y,p)),ind=A:∏C:∏x,y:A(x=Ay)→U((∏x:AC(x,x,reflx))→∏x,y:A∏p:x=AyC(x,y,p)),\text{ind}_{=_A}:\prod_{C:\prod\limits_{x,y:A}(x=_Ay)\to \mathcal{U}} \left( \left(\prod_{x:A}C(x,x,\text{refl}_x)\right) \to \prod_{x,y:A}\prod_{p:x=_Ay} C(x,y,p) \right), non ho alcun problema a capire cosa significhi (ho appena scritto il tipo dalla memoria, per verificarlo). Ciò di cui ho problemi …
1
Che cos'è l'induzione-induzione?
Che cos'è l' induzione-induzione ? Le risorse che ho trovato sono: il libro HoTT , alla fine del capitolo 5.7. L'articolo di nLab un documento chiamato Definizioni induttive-induttive questo post del blog cita anche tipi induttivi-induttivi I primi due riferimenti sono troppo brevi per me e gli ultimi due sono …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.