Harmonizing Program Induction with Rate-Distortion Theory

Συγγραφείς: Zhou, Hanqi, Nagy, David G., Wu, Charley M.

Θεματικοί όροι: Computer Science - Human-Computer Interaction, Computer Science - Computation and Language, Computer Science - Information Theory, Computer Science - Machine Learning, Computer Science - Symbolic Computation, Statistics - Machine Learning

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2405.05294

Algorithmic Approach in Teaching Arithmetic or Going from Concrete to Abstractions in Education of Mathematics and Informatics.

Συγγραφείς: HROMKOVIČ, Juraj, LACHER, Regula

Πηγή: Informatics in Education; Jun2026, Vol. 25 Issue 2, p57-73, 17p

Θεματικοί όροι: Mathematics education (Primary), Algorithms, Cognitive development, Mathematics education, Computer science education, Subroutines (Computer programs)

Effects of Spatial Ability and Instructional Program on Geometry Achievement

Συγγραφείς: Hannafin, Robert D., Truxaw, Mary P., Vermillion, Jennifer R., Liu, Yingjie

Πηγή: The Journal of Educational Research, 2008 Jan 01. 101(3), 148-156.

Σύνδεσμος πρόσβασης: https://www.jstor.org/stable/27548230

Type-Theory of Algorithms with Chain-Free Memory and Iterative Computations.

Συγγραφείς: Loukanova, Roussanka

Πηγή: Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP); Jan2026, Vol. 13 Issue 1, p155-173, 19p

Θεματικοί όροι: Algorithms, Recursion theory, Mathematical simplification, Iterative methods (Mathematics), Programming languages, Compilers (Computer programs), Intuitionistic type theory

Practical Subtyping for System F with Sized (Co-)Induction

Συγγραφείς: Lepigre, Rodolphe, Raffalli, Christophe

Θεματικοί όροι: Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Mathematics - Logic

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/1604.01990

Linear temporal constraints for sketch-based synthesizers.

Συγγραφείς: Galicia-Mendoza, Fernando A., Rosenblueth, David A., Solar-Lezama, Armando

Πηγή: Formal Methods in System Design; Jun2026, Vol. 68 Issue 3, p1-34, 34p

Θεματικοί όροι: Program generators (Computer programs), Computer software, Finite state machines

Computer Assisted Introduction to Mathematical Induction.

Συγγραφείς: Blubaugh, William L.

Πηγή: School Science and Mathematics. Jan 1993 93(1):31-34.

Peer Reviewed: Y

Page Count: 4

Descriptors: Computer Assisted Instruction, Computer Uses in Education, Discovery Learning, High Schools, Learning Activities, Mathematics Education, Mathematics Instruction, Microcomputers, Programing, Secondary School Mathematics, Spreadsheets, Teaching Methods

Logical Induction

Συγγραφείς: Garrabrant, Scott, Benson-Tilsen, Tsvi, Critch, Andrew, Soares, Nate, Taylor, Jessica

Θεματικοί όροι: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, Mathematics - Logic, Mathematics - Probability

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/1609.03543

The Computer as an Experimental Tool in Teaching Mathematics. Dissemination Packet--Summer 1989: Booklet #9.

Συγγραφείς: Hastings, Harold M., Hofstra Univ., Hempstead, NY. Dept. of Mathematics., Hofstra Univ., Hempstead, NY. School of Secondary Education.

Peer Reviewed: N

Page Count: 54

Sponsoring Agency: National Science Foundation, Washington, DC.

Descriptors: Computer Assisted Instruction, Computer Software Evaluation, Discovery Learning, High Schools, Higher Education, Inservice Teacher Education, Mathematics Education, Mathematics Teachers, Program Descriptions, Secondary School Mathematics, Secondary School Teachers, Teacher Education Programs, Teacher Workshops

Multi-Stage Programs are Generalized Arrows

Συγγραφείς: Megacz, Adam

Θεματικοί όροι: Computer Science - Programming Languages, Computer Science - Logic in Computer Science, Mathematics - Category Theory

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/1003.5954

Containers, monads and induction recursion.

Συγγραφείς: GHANI, NEIL, HANCOCK, PETER

Πηγή: Mathematical Structures in Computer Science; Jan2016, Vol. 26 Issue 1, p89-113, 25p

Θεματικοί όροι: Monads (Mathematics), Recursion theory, Programming languages, Functional programming (Computer science), Subroutines (Computer programs)

Bias and Error Mitigation in Software-Generated Data: An Advanced Search and Optimization Framework Leveraging Generative Code Models

Συγγραφείς: Hernández, Ernesto Giralt

Θεματικοί όροι: Computer Science - Software Engineering, Computer Science - Information Theory, Computer Science - Machine Learning, Mathematics - Optimization and Control

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2310.11546

IMPROVING AWARENESS ABOUT THE MEANING OF THE PRINCIPLE OF MATHEMATICAL INDUCTION.

Alternate Title: Fomentar la Conciencia sobre el Significado del Principio de Inducción Matemática.

Συγγραφείς: Cusi, Annalisa¹ annalisa.cusi@unimore.it, Malara, Nicolina A.¹ malara@unimore.it

Πηγή: PNA (1886-1350). 2010, Vol. 4 Issue 1, p15-22. 8p.

Θεματικοί όροι: *Mathematics, *Mathematical induction, *AQVAL programs (Computer programs), *Teaching methods, *Teacher training

Representation does matter

Συγγραφείς: Abela, John, 5th Computer Science Annual Workshop (CSAW’07)

Θεματικοί όροι: Machine learning -- Development, Representations of categories, Computer algorithms, Induction (Mathematics) -- Computer programs

Relation: https://www.um.edu.mt/library/oar//handle/123456789/22566

Διαθεσιμότητα: https://www.um.edu.mt/library/oar//handle/123456789/22566

Search diversification techniques for grammatical inference

Συγγραφείς: Spina, Sandro, 3rd Computer Science Annual Workshop (CSAW’05)

Θεματικοί όροι: Induction (Mathematics) -- Computer programs, Lattice theory, Inference

Relation: https://www.um.edu.mt/library/oar//handle/123456789/22486

Διαθεσιμότητα: https://www.um.edu.mt/library/oar//handle/123456789/22486

Parametricity via Cohesion

Συγγραφείς: Aberlé, C. B.

Πηγή: Electronic Notes in Theoretical Informatics and Computer Science, Volume 4 - Proceedings of MFPS XL (December 11, 2024) entics:14710

Θεματικοί όροι: Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Mathematics - Category Theory

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2404.03825

Synchronous cooperation for explicit multi-threading.

Συγγραφείς: Bergstra, J., Middelburg, C.

Πηγή: Acta Informatica; Dec2007, Vol. 44 Issue 7/8, p525-569, 45p, 20 Charts

Θεματικοί όροι: Computational mathematics, Simultaneous multithreading processors, Threads (Computer programs), Computer software research, Parallel processing

Induction algorithms

Συγγραφείς: Hickey, Michael Charles

Θεματικοί όροι: 46 Information and Computing Sciences, Induction (Mathematics), Algorithms, School of Computer Science and Electrical Engineering

Σύνδεσμος πρόσβασης: https://api.library.uq.edu.au/view/UQ:f0e98f0
https://api.library.uq.edu.au/view/UQ:f0e98f0/D000875.pdf

Computing with Infinite Objects: the Gray Code Case

Συγγραφείς: Spreen, Dieter, Berger, Ulrich

Πηγή: Logical Methods in Computer Science, Volume 19, Issue 3 (July 6, 2023) lmcs:7529

Θεματικοί όροι: Computer Science - Logic in Computer Science, Mathematics - Logic

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2105.14261

נגד הזרם: גורמים המשפיעים על הצלחת ההסבה מהייטק להוראה מנקודת מבטם של בוגרי התוכנית (Hebrew)

Alternate Title: Against the current: Graduates' perspectives on success factors in the high-tech to teaching transition program. (English)

Συγγραφείς: עינת גוברמן, רינת ארביב-אלישיב, גל בן-יהודה

Πηγή: Dapim: Journal for Studies & Research in Education; Aug2025, Issue 82, p205-236, 25p