Výsledky vyhledávání - Mathematical Logic and Formal Languages—Logic and Constraint Programming

Branch-and-prune search strategies for numerical constraint solving

Autoři: Xuan-ha Vu Marius-călin Silaghi Djamila Sam-haroud a další

Přispěvatelé: Xuan-ha Vu Marius-călin Silaghi Djamila Sam-haroud a další

Zdroj: http://arxiv.org/pdf/cs/0512045v2.pdf.

Témata: Categories and Subject Descriptors, F.4.1 [Theory of Computation, Mathematical Logic and Formal Languages—Logic and Constraint Programming, I.2.8 [Computing Methodologies, Artificial Intelligence—Problem Solving, Control Methods, and Search General Terms, Algorithms, Theory, Computation Additional Key Words and Phrases, Constraint Progr

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.7392; http://arxiv.org/pdf/cs/0512045v2.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.7392
http://arxiv.org/pdf/cs/0512045v2.pdf

Combining Building Block Process With Computational Thinking Improves Learning Outcomes of Python Programming With Peer Assessment.

Autoři: Hsiao, Tsung-Chih Chuang, Ya-Hsueh Chang, Chien-Yun a další

Zdroj: SAGE Open; Oct-Dec2023, Vol. 13 Issue 4, p1-15, 15p

Témata: PYTHON programming language, EDUCATIONAL outcomes, TECHNICAL education, INFORMATION technology, DESCRIPTIVE statistics, TEACHING methods

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

Autoři: Andre Platzer Kristin Yvonne Rozier Matteo Pradella a další

Resource Type: eBook.

Témata: Formal methods (Computer science)--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Languages / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

The logic of the nation: Nationalism, formal logic, and interwar Poland.

Alternate Title: Logika narodu: Nacjonalizm, logika formalna i międzywojenna Polska. (Polish)

Autoři: Dunning, David E.

Zdroj: Studia Historiae Scientiarum; 2018, Issue 17, p207-251, 45p

Témata: NATIONALISM, POLISH language, INTERNATIONAL relations, POLITICAL doctrines, LOGIC

The Philosophy of Nature of the Natural Realism. The Operator Algebra from Physics to Logic.

Autoři: Basti, Gianfranco

Zdroj: Philosophies; Dec2022, Vol. 7 Issue 6, p121, 84p

Témata: PHILOSOPHY of nature, OPERATOR algebras, PHILOSOPHY of science, PHYSICS, QUANTUM field theory, MODAL logic

2022 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2022 Reykjavík University Reykjavík, Iceland June 27 – July 1, 2022.

Zdroj: Bulletin of Symbolic Logic; Dec2022, Vol. 28 Issue 4, p566-606, 41p

Témata: MATHEMATICAL logic, MATHEMATICAL variables, GRADUATE students, PHILOSOPHY of mathematics, SET theory

A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems.

Autoři: Casas, Amadeo Cabeza, Daniel Hermenegildo, Manuel V. a další

Zdroj: Functional & Logic Programming (9783540334385). 2006, p146-162. 17p.

Using the Internal Logic of a Topos to Model Search Spaces for Problems.

Autoři: do Amaral, Fernando Náufel Haeusler, Edward Hermann

Zdroj: Logic Journal of the IGPL; Oct2007, Vol. 15 Issue 5/6, p457-474, 18p

Témata: MATHEMATICAL logic, LANGUAGE & logic, SET theory, LOGIC, COMPUTER science

DECIDABLE CLASSES OF TREE AUTOMATA MIXING LOCAL AND GLOBAL CONSTRAINTS MODULO FLAT THEORIES.

Autoři: BARGUñÓ, LUIS CREUS, CARLES GODOY, GUILLEM a další

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

Témata: DECIDABILITY (Mathematical logic), GLOBAL analysis (Mathematics), PROBLEM solving, MONADS (Mathematics), XML (Extensible Markup Language), MATHEMATICAL logic

Models and emerging trends of concurrent constraint programming.

Autoři: Olarte, Carlos Rueda, Camilo Valencia, Frank

Zdroj: Constraints: An International Journal; Oct2013, Vol. 18 Issue 4, p535-578, 44p

Computable Models.

Autoři: Turner, Raymond

Zdroj: Journal of Logic & Computation; Apr2008, Vol. 18 Issue 2, p283-318, 36p

Témata: MATHEMATICAL models, TYPE theory, DATA structures, MATHEMATICAL logic, COMPUTER science, CASE studies

Self-Formalisation of Higher-Order Logic.

Autoři: Kumar, Ramana Arthan, Rob Myreen, Magnus a další

Zdroj: Journal of Automated Reasoning; Mar2016, Vol. 56 Issue 3, p221-259, 39p

Témata: MATHEMATICAL logic, MATHEMATICAL proofs, MATHEMATICAL constants, AUTOMATIC theorem proving, SOFTWARE verification

Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autoři: Naoki Kobayashi James Worrell

Resource Type: eBook.

Témata: Computer software--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

Dissociating Language and Thought in Human Reasoning †.

Autoři: Coetzee, John P. Johnson, Micah A. Lee, Youngzie a další

Zdroj: Brain Sciences (2076-3425); Jan2023, Vol. 13 Issue 1, p67, 18p

Témata: FRONTAL lobe, NATURAL languages, TRANSCRANIAL magnetic stimulation

Foundations of Rule-Based Query Answering.

Autoři: Hutchison, David Kanade, Takeo Kittler, Josef a další

Zdroj: Reasoning Web (9783540746133); 2007, p1-153, 153p

Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Autoři: Patrick Blackburn Emiliano Lorini Meiyun Guo

Resource Type: eBook.

Témata: Mathematical logic, Machine theory, Logic programming, Compilers (Computer programs), Social sciences—Data processing

Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science

Foundations of Software Science and Computation Structures

Autoři: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Témata: Software engineering--Congresses, Computer software--Congresses

Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics

Logic, Computation and Rigorous Methods : Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday

Autoři: Alexander Raschke Elvinia Riccobene Klaus-Dieter Schewe

Resource Type: eBook.

Témata: Software engineering, Programming languages (Electronic computers), Computer science, Business information services, Mathematical logic

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science, COMPUTERS / Management Information Systems, COMPUTERS / Languages / General, MATHEMATICS / Logic

Thinking Programs

Autoři: Wolfgang Schreiner

Resource Type: eBook.

Témata: Mathematical logic, Computer science—Mathematics

Categories: MATHEMATICS / Logic, COMPUTERS / Computer Science, MATHEMATICS / Applied

Logic in Computer Science

Autoři: Hantao Zhang Jian Zhang

Resource Type: eBook.

Témata: Logic, Symbolic and mathematical, Computer science, Computer science--Mathematics, Discrete mathematics

Categories: COMPUTERS / Computer Science, MATHEMATICS / Discrete Mathematics, MATHEMATICS / Logic