Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
functions computation » function computation, functions composition, function composition
programming recursion » programming decision, programming session, programming decisions
programming defining » programming designing, programming learning, programming reasoning
texts » text, tests
1
Εξώφυλλο
Έκδοση 2006
Πίνακας περιεχομένων: “... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
2
Εξώφυλλο
Έκδοση 2005
Πίνακας περιεχομένων: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
3
Εξώφυλλο
ανά Hazrat, Roozbeh., Hazrat, Roozbeh.
Έκδοση 2015
Πίνακας περιεχομένων: “...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
4
Εξώφυλλο
Έκδοση 2005
Πίνακας περιεχομένων: “... -- On the Number of Random Digits Required in MonteCarlo Integration of Definable Functions -- Pure Nash Equilibria...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
5
Εξώφυλλο
ανά Hazrat, Roozbeh., Hazrat, Roozbeh.
Έκδοση 2010
Πίνακας περιεχομένων: “... -- 2. Defining functions -- 2.1 Formulas as functions -- 2.2 Anonymous functions -- 3. Lists -- 3.1...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email — Αποθήκευση αναζήτησης