Search Results - "Theory of computation Models of computation Computability"

History of Logo

Authors: Solomon, Cynthia Harvey, Brian Kahn, Ken et al.

Source: Proceedings of the ACM on Programming Languages. 4(HOPL)

Subject Terms: 4613 Theory Of Computation (for-2020), 46 Information and Computing Sciences (for-2020), 4612 Software Engineering (for-2020), 4 Quality Education (sdg), Logo, Lisp, Constructionism, Constructivism, turtle geometry, Education-Interactive learning environments, History of computingsHistory of programming languages, Computing educations- Computational thinking, Computing education programsDComputer science education, Informal education, Computing literacy, K-12 education (ages 5-18), Software notations and tools- General programming languages, Imperative languages, Functional languages, Language featuressControl structures, Data types and structures, Recursion, Procedures, functions and subroutines, Theory of computations-Models of computation-computabilitys-, Lambda calculus, Recursive functions, Interactive computation., Logo, Lisp, Constructionism, Constructivism, turtle geometry, Education– Interactive learning environments, History of computing–History of programming languages, Computing education– Computational thinking, Computing education programs—Computer science education, Informal education, Computing literacy, K-12 education (ages 5-18), Software notations and tools–General programming languages, Imperative languages, Functional languages, Language features–Control structures, Data types and structures, Recursion, Procedures, functions and subroutines, Theory of computation–Models of computation— Computability–Lambda calculus, Recursive functions, Interactive computation., 4612 Software engineering (for-2020), 4613 Theory of computation (for-2020), 4903 Numerical and computational mathematics (for-2020)

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/1623m1p3
https://escholarship.org/content/qt1623m1p3/qt1623m1p3.pdf

Bike sharing systems data interoperability by a unified station status concept and big data solutions.

Authors: Márquez-Saldaña, Francisco Aranda-Corral, Gonzalo A. Borrego-Díaz, Joaquín

Source: Journal of Traffic & Transportation Engineering (English Edition); Apr2025, Vol. 12 Issue 2, p420-433, 14p

Subject Terms: SMART cities, DATA warehousing, KEY performance indicators (Management), ACQUISITION of data, INFORMATION sharing, BIG data

History of Logo

Authors: Solomon, C Harvey, B Kahn, K et al.

Source: Proceedings of the ACM on Programming Languages; vol 4, iss HOPL, 1-66; 2475-1421

Index Terms: Logo, Lisp, Constructionism, Constructivism, turtle geometry, Education– Interactive learning environments, History of computing–History of programming languages, Computing education– Computational thinking, Computing education programs—Computer science education, Informal education, Computing literacy, K-12 education, Software notations and tools–General programming languages, Imperative languages, Functional languages, Language features–Control structures, Data types and structures, Recursion, Procedures, functions and subroutines, Theory of computation–Models of computation— Computability–Lambda calculus, Recursive functions, Interactive computation., K-12 education (ages 5-18), article

URL: https://escholarship.org/uc/item/1623m1p3
https://escholarship.org/

NON-OBFUSCATED UNPROVABLE PROGRAMS & MANY RESULTANT SUBTLETIES.

Authors: CASE, JOHN RALSTON, MICHAEL

Source: Logical Methods in Computer Science (LMCS); 2016, Vol. 12 Issue 2, p1-25, 25p

Subject Terms: COMPUTER software, DETERMINANTS (Mathematics), COMPUTER programming, PROOF theory, MATHEMATICAL equivalence, COMPUTER input-output equipment, CONTESTS

ON THE CHARACTERIZATION OF MODELS OF H*: THE SEMANTICAL ASPECT.

Authors: BREUVART, FLAVIEN

Source: Logical Methods in Computer Science (LMCS); 2016, Vol. 12 Issue 2, p1-34, 34p

Subject Terms: LAMBDA calculus, RECURSIVE functions, SEMANTICS, PROOF theory, MATHEMATICAL analysis, MATHEMATICAL domains

(LEFTMOST-OUTERMOST) BETA REDUCTION IS INVARIANT, INDEED.

Authors: ACCATTOLI, BENIAMINO LAGO, UGO DAL

Source: Logical Methods in Computer Science (LMCS); 2016, Vol. 12 Issue 1, p1-46, 46p

Subject Terms: MATHEMATICAL invariants, MATHEMATICAL simplification, POLYNOMIALS, CALCULUS, COMPUTATIONAL complexity, TURING machines

PROBLEMS IN NUMBER THEORY FROM BUSY BEAVER COMPETITION.

Authors: MICHEL, PASCAL

Source: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 4, p1-34, 34p

Subject Terms: NUMBER theory, COMPUTABLE functions, PROBLEM solving, INTEGERS, GENERALIZATION

PARTIAL FUNCTIONS AND DOMINATION.

Authors: CHONG, C. T. HOI, GORDON STEPHAN, FRANK et al.

Source: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 3, p1-16, 16p

Subject Terms: NUMBER theory, ALGORITHMS, MATHEMATICAL analysis, MATHEMATICAL functions, MATHEMATICAL models

A CORRESPONDENCE BETWEEN ROOTED PLANAR MAPS AND NORMAL PLANAR LAMBDA TERMS.

Authors: ZEILBERGER, NOAM GIORGETTI, ALAIN

Source: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 3, p1-39, 39p

Subject Terms: MATHEMATICAL analysis, LAMBDA calculus, DATA analysis, MATHEMATICAL functions, COMPUTABILITY logic

ALGORITHMIC RANDOMNESS FOR DOOB'S MARTINGALE CONVERGENCE THEOREM IN CONTINUOUS TIME.

Authors: KJOS-HANSSEN, BJØRN NGUYEN, PAUL KIM LONG V. RUTE, JASON M.

Source: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 4, p1-35, 35p

Subject Terms: ALGORITHMS, MARTINGALES (Mathematics), STOCHASTIC convergence, CONTINUOUS time systems, COMPARATIVE studies

CALL-BY-VALUE, CALL-BY-NAME AND THE VECTORIAL BEHAVIOUR OF THE ALGEBRAIC λ-CALCULUS.

Authors: ASSAF, ALI DÍAZ-CARO, ALEJANDRO PERDRIX, SIMON et al.

Source: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 4, p1-40, 40p

Subject Terms: VECTORS (Calculus), LINEAR algebra, QUANTUM computing, SCALAR field theory, SIMULATION methods & models

DISCRIMINATING LAMBDA-TERMS USING CLOCKED BÖHM TREES.

Authors: ENDRULLIS, JÖRG HENDRIKS, DIMITRI KLOP, JAN WILLEM et al.

Source: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 2, p1-29, 29p

Subject Terms: TREE graphs, FIXED point theory, MATHEMATICAL combinations, CALCULUS, MATHEMATICAL models

ABOUT THE RANGE PROPERTY FOR H.

Authors: DAVID, RENÉ NOUR, KARIM

Source: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 1, p1-18, 18p

Subject Terms: INFINITY (Mathematics), CARDINAL numbers, LAMBDA calculus, SET theory, MATHEMATICAL logic

ORDERED MODELS OF THE LAMBDA CALCULUS.

Authors: CARRARO, A. SALIBRA, A.

Source: Logical Methods in Computer Science (LMCS); 2013, Vol. 9 Issue 4, p1-29, 29p

Subject Terms: LAMBDA calculus, SUBTRACTION (Mathematics), PROBLEM solving, SEMANTICS, TOPOLOGY, COMPLETENESS theorem

APPROXIMATION SYSTEMS FOR FUNCTIONS IN TOPOLOGICAL AND IN METRIC SPACES.

Authors: SKORDEV, DIMITER

Source: Logical Methods in Computer Science (LMCS); 2013, Vol. 9 Issue 4, p1-21, 21p

Subject Terms: APPROXIMATION theory, MATHEMATICAL functions, TOPOLOGY, METRIC spaces, DATA analysis, MATHEMATICAL bounds

COMPUTABILITY OF PROBABILITY DISTRIBUTIONS AND CHARACTERISTIC FUNCTIONS.

Authors: TAKAKAZU MORI YOSHIKI TSUJII MARIKO YASUGI

Source: Logical Methods in Computer Science (LMCS); 2013, Vol. 9 Issue 3, p1-11, 11p

Subject Terms: DISTRIBUTION (Probability theory), CHARACTERISTIC functions, MATHEMATICAL sequences, MATHEMATICS theorems, LIMIT theorems, STOCHASTIC convergence

RANDOMNESS EXTRACTION AND ASYMPTOTIC HAMMING DISTANCE.

Authors: FREER, CAMERON E. KJOS-HANSSEN, BJØRN

Source: Logical Methods in Computer Science (LMCS); 2013, Vol. 9 Issue 3, p1-14, 14p

Subject Terms: FEATURE extraction, HAMMING distance, MATHEMATICAL sequences, SET theory, STOCHASTIC analysis, ALGORITHMS

TOTAL REPRESENTATIONS.

Authors: SELIVANOV, VICTOR

Source: Logical Methods in Computer Science (LMCS); Apr2013, Vol. 9 Issue 2, p1-30, 30p