Italiano
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Articoli completi
Categorie
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Scrivi
Utente
Login
Registrazione
Recupero della password
Tag
Tag di lingua
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag inductive-datatypes - Questa è pagina 1 - GeneraCodice
Nel Gadt di AGDA, è "parametrizzato" e "indicizzato" diverso?
https://www.generacodice.com/it/articolo/1603495/nel-gadt-di-agda-e-parametrizzato-e-indicizzato-diverso
agda
-
inductive-datatypes
cs.stackexchange
Principio di induzione della lista finita e eliminatore della coda
https://www.generacodice.com/it/articolo/1601971/principio-di-induzione-della-lista-finita-e-eliminatore-della-coda
inductive-datatypes
-
dependent-types
cs.stackexchange
Restrizioni necessarie su ADT per la totalità
https://www.generacodice.com/it/articolo/1599933/restrizioni-necessarie-su-adt-per-la-totalita
type-theory
-
inductive-datatypes
-
abstract-data-types
cs.stackexchange
Come derivare eliminatori tipizzati dipendenti?
https://www.generacodice.com/it/articolo/1597439/come-derivare-eliminatori-tipizzati-dipendenti
recursion
-
type-theory
-
reference-request
-
inductive-datatypes
-
dependent-types
cs.stackexchange
In CoQ, cosa significa avere un tipo induttivo in cui il lato destro di ":" è prop?
https://www.generacodice.com/it/articolo/1589344/in-coq-cosa-significa-avere-un-tipo-induttivo-in-cui-il-lato-destro-di-e-prop
coq
-
inductive-datatypes
cs.stackexchange
"Piccola set" sul set di alberi Definizione
https://www.generacodice.com/it/articolo/1586699/piccola-set-sul-set-di-alberi-definizione
notation
-
trees
-
inductive-datatypes
cs.stackexchange
Codifica prefisso di tipi di dati algebrici
https://www.generacodice.com/it/articolo/1581787/codifica-prefisso-di-tipi-di-dati-algebrici
coding-theory
-
inductive-datatypes
-
encoding-scheme
cs.stackexchange
Esempio di set induttivi che non sono né minimi né più grandi del punto fisso
https://www.generacodice.com/it/articolo/1580946/esempio-di-set-induttivi-che-non-sono-ne-minimi-ne-piu-grandi-del-punto-fisso
logic
-
inductive-datatypes
cs.stackexchange
Cos'è l'induzione a induzione?
https://www.generacodice.com/it/articolo/1573833/cos-e-l-induzione-a-induzione
type-theory
-
induction
-
inductive-datatypes
cs.stackexchange
Quali tipi di problemi sono modellati da una definizione ricorsiva di una serie di stringhe?
https://www.generacodice.com/it/articolo/1570413/quali-tipi-di-problemi-sono-modellati-da-una-definizione-ricorsiva-di-una-serie-di-stringhe
recursion
-
strings
-
inductive-datatypes
-
sets
-
mathematical-foundations
cs.stackexchange
«
1
2
3
4
»
Risultati trovati: 33