Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
functions computational » functions computation, function computation, directions computational
programming recursion » programming decision, programming session, programming decisions
arrays a » arrays _
mathematics » mathematical
functions computational » functions computation, function computation, directions computational
programming recursion » programming decision, programming session, programming decisions
arrays a » arrays _
mathematics » mathematical
1
Aurkibidea:
“...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
2
3
Argitaratua 2005
Aurkibidea:
“... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2007
Aurkibidea:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2005
Aurkibidea:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2015
Aurkibidea:
“... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”Testu osoa
Baliabide elektronikoa
eBook