Torthaí Cuardaigh - functions computational ((programming defining) or (programming recursion)) basic text~

Cuardaigh malartuithe:
functions computational » functions computation , function computation , directions computational
programming recursion » programming decision , programming session , programming decisions
programming defining » programming designing , programming learning , programming reasoning
basic text » basic texts

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European /

Foilsithe 2006

Clár Ábhair: “... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Mathematica®: A Problem-Centered Approach

le Hazrat, Roozbeh., Hazrat, Roozbeh.
Foilsithe 2015

Clár Ábhair: “...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “... -- On the Number of Random Digits Required in MonteCarlo Integration of Definable Functions -- Pure Nash Equilibria...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Mathematica®: A Problem-Centered Approach

le Hazrat, Roozbeh., Hazrat, Roozbeh.
Foilsithe 2010

Clár Ábhair: “... -- 2. Defining functions -- 2.1 Formulas as functions -- 2.2 Anonymous functions -- 3. Lists -- 3.1...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng