Výsledky vyhľadávania - Mathematical Logic- logic programming

Mathematical Aspects of Logic Programming Semantics

Autori: Pascal Hitzler Anthony Seda

Typ zdroja: eBook.

Predmet: Logic programming, Programming languages (Electronic computers)--Semantics

Kategórie: COMPUTERS / Programming / Games, COMPUTERS / Information Theory, COMPUTERS / Machine Theory, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, MATHEMATICS / General, MATHEMATICS / Algebra / General, MATHEMATICS / History & Philosophy

MATHEMATICAL LOGIC AND PROGRAMMING.

Autori: RAGALYTĖ, Birutė PAUKŠTIENĖ, Alma

Zdroj: Applied Research in Studies & Practice / Taikomieji Tyrimai Studijose ir Praktikoje; 2023, Vol. 19 Issue 1, p50-55, 6p

Predmety: MATHEMATICAL logic, LOGIC programming, MATHEMATICAL programming, COMPUTER programming, HIGHER education & state, EPISTEMIC logic, INFORMATION storage & retrieval systems, SELF-evaluation

Probabilistic robotic logic programming with hybrid Boolean and Bayesian inference.

Autori: Post, Mark A.¹ (AUTHOR) mark.post@york.ac.uk

Zdroj: Robotica. Jan2024, Vol. 42 Issue 1, p40-71. 32p.

Predmety: *MATHEMATICAL logic, *LOGIC programming, *BAYESIAN analysis, *ROBOT programming, *DISTRIBUTION (Probability theory), *MOBILE robots, *PROBABILISTIC databases

ANTHEM 2.0: Automated Reasoning for Answer Set Programming.

Autori: FANDINNO, JORGE HANSEN, ZACHARY LIERLER, YULIYA a ďalší

Zdroj: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p668-684, 17p

Predmety: LOGIC programming, SOFTWARE verification, MATHEMATICAL logic, NONMONOTONIC logic

Logical planning in Temporal Defeasible and Dynamic Epistemic Logics: the case of t-DeLP and LCC

Autori: Pardo Ventura, Pere

Prispievatelia: University/Department: Universitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència

Thesis Advisors: Godo i Lacasa, Lluís, Sadrzadeh, Mehrnoosh, Jansana, Ramon

Zdroj: TDX (Tesis Doctorals en Xarxa)

Predmety: Planificació, Planificación, Planning, Programació lògica, Programación lógica, Logic programming, Lògica matemàtica, Lógica matemática, Mathematical logic, Lógica no monotónica, Lògica no monotònica, Non-monotonic logic, Lógica epistémica, Lògica epistèmica, Epistemic modal logic, Ciències Humanes i Socials

Popis súboru: application/pdf

Prístupová URL adresa: http://hdl.handle.net/10803/129620

A Hybrid Fuzzy Mathematical Programming Approach for Manufacturing Inventory Models with Partial Trade Credit Policy and Reliability.

Autori: Dhandapani, Prasantha Bharathi Kalaichelvan, Kalaiarasi Leiva, Víctor a ďalší

Zdroj: Axioms (2075-1680). Nov2024, Vol. 13 Issue 11, p743. 36p.

Predmety: *MATHEMATICAL programming, *PRODUCTION management (Manufacturing), *MATHEMATICAL logic, *LOGIC programming, *NONLINEAR programming, *BACK orders, *INVENTORY control

Bridging the Gap between Set Theory and Logic: Leveraging Computing as a Mediating Tool for Learning

Autori: Antonio Estevan Martinez

Zdroj: ProQuest LLC. 2022Ph.D. Dissertation, University of California, San Diego.

Peer Reviewed: N

Počet strán: 359

Descriptors: Mathematics Education, Mathematical Logic, Theories, Programming, Undergraduate Students, Mathematics Instruction, STEM Education, Majors (Students), Mathematics Curriculum, Student Experience, Affective Behavior, Computer Science Education

Prístupová URL adresa: https://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:29208655

The Importance of Teaching Logic to Computer Scientists and Electrical Engineers

Autori: Paul Mayer Rich Baraniuk

Zdroj: ACM Transactions on Computing Education. 2025 25(2).

Peer Reviewed: Y

Počet strán: 12

Sponsoring Agency: National Science Foundation (NSF)

Descriptors: Teaching Methods, Logical Thinking, Computer Science Education, Engineering Education, Mathematical Logic, Undergraduate Students, Programming, Mathematics, Job Skills, School Holding Power, Minority Group Students, STEM Education

Using Python to Reason about Logic and Set Theory: Three Instrumented Action Schemes

Autori: Antonio Estevan Martinez IV

Zdroj: Digital Experiences in Mathematics Education. 2024 10(1):1-28.

Peer Reviewed: Y

Počet strán: 28

Descriptors: Mathematics Education, Programming, Undergraduate Students, Competency Based Education, Computer Software, Theories, Computation, Mathematical Logic

Conceptualizing Flexibility in Programming-Based Mathematical Problem-Solving

Autori: Huiyan Ye Oi-Lam Ng Zhihao Cui

Zdroj: Journal of Educational Computing Research. 2024 62(2):594-619.

Peer Reviewed: Y

Počet strán: 26

Descriptors: Programming, Thinking Skills, Mathematics Skills, Mathematical Logic, Problem Solving, Computation, Mathematics Education, Learning Strategies, Secondary School Students, Foreign Countries

Geografický termín: Hong Kong

Identifying the Factor of Mathematical Reasoning That Affects the Ability to Programming Algorithm

Autori: Hartati, Sulis Janu Vitianingsih, Anik Vega Kurniati, Neny a ďalší

Zdroj: International Education Studies. 2020 13(5):44-56.

Peer Reviewed: Y

Počet strán: 13

Descriptors: Mathematics Skills, Thinking Skills, Programming, Information Technology, Information Science Education, Computer Science Education, Calculus, Undergraduate Students, Private Colleges, Foreign Countries, Algebra, Tests, Mathematical Logic, Least Squares Statistics, Graphs

Geografický termín: Indonesia

Logic Programming with Extensible Types

Autori: Ivan Perez Angel Herranz

Predmety: Mathematical and Computer Sciences (General)

Prístupová URL adresa: https://ntrs.nasa.gov/citations/20240010266

IT0: Discrete Math and Programming Logic Topics as a Hybrid Alternative to CS0

Autori: Martin, Nancy L.

Zdroj: Information Systems Education Journal. Jan 2015 13(1):30-44.

Peer Reviewed: Y

Počet strán: 15

Descriptors: Mathematics Instruction, Programming, Introductory Courses, Information Systems, Information Technology, College Students, Accreditation (Institutions), Mathematical Logic, Thinking Skills, Problem Solving, Universities

AI Reasoning in Deep Learning Era: From Symbolic AI to Neural–Symbolic AI.

Autori: Liang, Baoyu Wang, Yuchen Tong, Chao

Zdroj: Mathematics (2227-7390); Jun2025, Vol. 13 Issue 11, p1707, 42p

Predmety: ARTIFICIAL intelligence, LOGIC programming, MATHEMATICAL logic, DEEP learning, BRITTLENESS, SCALABILITY

Solving a Logic Puzzle via Mathematical Programming.

Autori: Saltzman, Robert M. Kohler, David

Zdroj: Mathematics and Computer Education. Fall 2002 36(3):254-260.

Peer Reviewed: Y

Počet strán: 7

Descriptors: Computer Uses in Education, Higher Education, Logical Thinking, Mathematical Logic, Mathematics Activities, Mathematics Instruction, Programming Languages, Spreadsheets

Journal Code: CIJMAR2003

Development and Evolution of Instrumented Schemes: A Case Study of Learning Programming for Mathematical Investigations

Autori: Gueudet, Ghislaine Buteau, Chantal Muller, Eric a ďalší

Zdroj: Educational Studies in Mathematics. Jun 2022 110(2):353-377.

Peer Reviewed: Y

Počet strán: 25

Descriptors: College Students, College Mathematics, Models, Concept Formation, Learning Processes, Mathematical Logic, Programming

Development of a classification system for Mathematical Logic.

Autori: Sarasa Cabezuelo, Antonio¹ (AUTHOR) asarasa@ucm.es

Zdroj: Journal of Information Science. Apr2021, Vol. 47 Issue 2, p143-160. 18p.

Predmety: *Computer logic, *Computer programming, *Taxonomy, *Systems development, *Problem solving, Mathematical logic

Geografický termín: Dublin (Ireland)

The Interplay between Mathematical and Computational Thinking in Primary School Students' Mathematical Problem-Solving within a Programming Environment

Autori: Cui, Zhihao Ng, Oi-Lam

Zdroj: Journal of Educational Computing Research. Sep 2021 59(5):988-1012.

Peer Reviewed: Y

Počet strán: 25

Descriptors: Mathematical Logic, Thinking Skills, Computation, Elementary School Students, Elementary School Mathematics, Mathematics Instruction, Problem Solving, Programming, Grade 5, Grade 6, Foreign Countries, Summer Programs, Teaching Methods

Geografický termín: Hong Kong

The Effect of Scratch- and Lego Mindstorms Ev3-Based Programming Activities on Academic Achievement, Problem-Solving Skills and Logical-Mathematical Thinking Skills of Students

Autori: Korkmaz, Özgen

Zdroj: Malaysian Online Journal of Educational Sciences. 2016 4(3):73-88.

Peer Reviewed: Y

Počet strán: 16

Descriptors: Foreign Countries, College Students, Programming, Computer Science Education, Academic Achievement, Problem Solving, Logical Thinking, Thinking Skills, Mathematical Logic, Quasiexperimental Design, Pretests Posttests, Experimental Groups, Control Groups, Educational Games, Achievement Tests, Intelligence Tests, Likert Scales, Statistical Analysis, Learning Activities, Mathematics Activities, Multiple Intelligences

Geografický termín: Turkey

Logic Programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings

Autori: Peter J. Stuckey

Typ zdroja: eBook.

Predmet: Computer systems, Software engineering, Mathematical logic, Artificial intelligence, Computer programming, Compilers (Computer programs)

Kategórie: COMPUTERS / Computer Architecture, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, MATHEMATICS / Logic