المؤلفون: Rosich Oliva, Albert

المساهمون: University/Department: Universitat Politècnica de Catalunya. Institut d'Organització i Control de Sistemes Industrials

Thesis Advisors: Sarrate Estruch, Ramon, Nejjari, Fatiha

المصدر: TDX (Tesis Doctorals en Xarxa)

مصطلحات موضوعية: Optimal sensor placement, Fault diagnosis, Faul detection and isolation, Structural analysis, Minimal dedundant sub-models, Binary integer programing, Causal computability, Fuel cell stack system

وصف الملف: application/pdf

URL الوصول: http://hdl.handle.net/10803/53635

المؤلفون: Salmón, Nathan

المصدر: Logica Universalis. 17(2)

مصطلحات موضوعية: Algorithm, Church's thesis, Church-Turing thesis, Computability, Decidability, Decision procedure, Effectively calculable, Effective procedure, Turing, Pure Mathematics

وصف الملف: application/pdf

URL الوصول: https://escholarship.org/uc/item/1p51d5xv

المؤلفون: Salmon, Nathan

المصدر: Philosophies. 8(2)

مصطلحات موضوعية: algorithm, Church's thesis, Church-Turing thesis, computability, decidability, decision problem, effective procedure, Turing

وصف الملف: application/pdf

URL الوصول: https://escholarship.org/uc/item/74g615bn

المؤلفون: Solomon, C, Harvey, B, Kahn, K, Lieberman, H, Miller, ML, Minsky, M, Papert, A, Silverman, B

المصدر: Proceedings of the ACM on Programming Languages. 4(HOPL)

مصطلحات موضوعية: 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., 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.

وصف الملف: application/pdf

URL الوصول: https://escholarship.org/uc/item/1623m1p3

المؤلفون: Marks, Andrew S

المصدر: Journal of Mathematical Logic. 17(01)

مصطلحات موضوعية: Computability theory, uniformity, descriptive set theory, Martin measure, Martin's conjecture, Borel reducibility, Borel equivalence relations, Universal countable Borel equivalence relations, Pure Mathematics

وصف الملف: application/pdf

URL الوصول: https://escholarship.org/uc/item/0d72486j

المؤلفون: Graça, Daniel, Zhong, Ning

المساهمون: Sapientia

مصطلحات موضوعية: Computability, Limit sets, Planar differential equations

وصف الملف: application/pdf

Relation: 978-3-030-80048-2

الاتاحة: http://hdl.handle.net/10400.1/16729

المؤلفون: Sergey Goncharov, Andrey Nechesov

المصدر: Mathematics; Volume 9; Issue 17; Pages: 2102

مصطلحات موضوعية: polynomial computability, p-computability, Gandy’s fixed point theorem, semantic programming, polynomial operators, Δ 0 p , computer science

وصف الملف: application/pdf

Relation: Computational and Applied Mathematics; https://dx.doi.org/10.3390/math9172102

الاتاحة: https://doi.org/10.3390/math9172102

المؤلفون: Lutz, Patrick

مصطلحات موضوعية: Mathematics, Logic, Computability, Martin's conjecture, Turing degrees

وصف الملف: application/pdf

URL الوصول: https://escholarship.org/uc/item/3dx688fc

المؤلفون: he, Yuan

مصطلحات موضوعية: Computer science, Distributed Computability, Distributed Computing, topological characterization

وصف الملف: application/pdf

URL الوصول: https://escholarship.org/uc/item/29j9d53c

المؤلفون: Farinha, J., Ramos, P.

مصطلحات موضوعية: UML, Templates, Verification, Computability

وصف الملف: application/pdf

Relation: 978-989-758-083-3; 2184-4348

الاتاحة: http://hdl.handle.net/10071/25100

المؤلفون: DOWNEY, ROD, STEPHENSON, JONATHAN

المصدر: Journal of Symbolic Logic; Jun2018, Vol. 83 Issue 2, p717-739, 23p

مصطلحات موضوعية: COMPUTABLE functions, PROGRAMMABLE array logic, UNSOLVABILITY (Mathematical logic), DIMENSION theory (Topology), COMPUTABILITY logic

المؤلفون: MILLER, RUSSELL, POONEN, BJORN, SCHOUTENS, HANS, SHLAPENTOKH, ALEXANDRA

المصدر: Journal of Symbolic Logic; Mar2018, Vol. 83 Issue 1, p326-348, 23p

مصطلحات موضوعية: COMPUTABLE model theory, ISOMORPHISM (Mathematics), HOMOMORPHISMS, SUBGRAPHS, COMPUTABILITY logic

المؤلفون: Harrison-Trainor, Matthew, Melnikov, Alexander, Miller, Russell, Montalbán, Antonio

المصدر: Journal of Symbolic Logic; Mar2017, Vol. 82 Issue 1, p77-97, 21p

مصطلحات موضوعية: COMPUTABLE model theory, COMPUTATIONAL statistics, DEFINABILITY theory (Mathematical logic), COMPUTABILITY logic, COMPUTABLE functions

المؤلفون: Harrison-Trainor, Matthew Alexander

مصطلحات موضوعية: Mathematics, Logic, computability theory, computable algebra, computable functors, computable structure theory, degree spectra, Scott rank

وصف الملف: application/pdf

URL الوصول: https://escholarship.org/uc/item/3gc9p02k

المؤلفون: MILLER, RUSSELL, NG, KENG MENG

المصدر: Journal of Symbolic Logic; Dec2016, Vol. 81 Issue 4, p1225-1254, 30p

مصطلحات موضوعية: COMPUTABLE functions, COMPUTABILITY logic, EQUIVALENCE relations (Set theory), RECURSION theory, MATHEMATICAL readiness

المؤلفون: IGUSA, G., KNIGHT, J. F.

المصدر: Journal of Symbolic Logic; Sep2016, Vol. 81 Issue 3, p1115-1123, 9p

مصطلحات موضوعية: REAL numbers, COMPUTABILITY logic, ARBITRARY constants, CARDINAL numbers, MATHEMATICAL proofs, RECURSIVE functions

المؤلفون: Xu, Wenyan

المصدر: Journal of Applied Logic; Jul2016, Vol. 16, p37-49, 13p

مصطلحات موضوعية: CALCULUS, SEMANTIC differential scale, COMPUTABILITY logic, QUANTIFIERS (Linguistics), MATHEMATICAL logic

المؤلفون: Schweber, Noah

مصطلحات موضوعية: Logic, computability-theory, forcing, set-theory

وصف الملف: application/pdf

URL الوصول: https://escholarship.org/uc/item/5hn678b1

المؤلفون: Allen, Kelty Ann

مصطلحات موضوعية: Logic, Mathematics, Algorithmic Randomness, Brownian Motion, Computability Theory, Computable Analysis, Martin-Löf Randomness

وصف الملف: application/pdf

URL الوصول: https://escholarship.org/uc/item/20072582

المؤلفون: Megill, Jason, Melvin, Timothy

المصدر: Logic & Logical Philosophy; Dec2014, Vol. 23 Issue 4, p391-401, 11p

مصطلحات موضوعية: COMPUTABILITY logic, MATHEMATICAL logic, ARTIFICIAL intelligence, RECURSION theory, TURING machines