Questions marquées «induction»

1
Comment écrire une épreuve par induction sur la longueur de la chaîne d'entrée?
Dans mon cours de théorie de l'informatique, beaucoup de nos problèmes impliquent l'utilisation de l'induction sur la longueur de la chaîne d'entrée pour prouver les déclarations sur les automates finis. Je comprends l'induction mathématique, mais lorsque les cordes entrent en jeu, je suis vraiment déclenché. J'apprécierais vraiment que quelqu'un passe …
3
L'induction de chemin est-elle constructive?
Je lis le livre HoTT et j'ai du mal avec l'induction de chemin. Quand je regarde le type dans la section 1.12.1 : je n'ai aucun problème à comprendre ce que cela signifie (je viens d'écrire le type de la mémoire, pour vérifier cela).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) …
3
Est-ce que «inductivement» et «récursivement» ont des significations très similaires?
Est-ce que "inductivement" et "récursivement" signifient très similaires? Par exemple, s'il existe un algorithme qui détermine un vecteur n-dim en déterminant ses premiers k + 1 composants en fonction de ses premiers k composants ayant été déterminés et est initialisé avec le premier composant, l'appelleriez-vous fonctionne récursivement ou inductivement? J'utilise …
1
Qu'est-ce que l'induction-induction?
Qu'est-ce que l' induction-induction ? Les ressources que j'ai trouvées sont: le livre HoTT , à la fin du chapitre 5.7. Article de nLab un article intitulé Définitions inductives-inductives ce billet de blog mentionne également les types inductifs-inductifs Les deux premières références sont trop brèves pour moi et les deux …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.