, 2001 First published in the Bulletin of the European Association of Theoretical Computer Science 54 (1994), 145-165.This dialog between Quisani, Yuri Gurevich's imaginary student, and the author, was published in the "Logic in Computer Science Column" of the ...
Pin, Jean-Eric
core +2 more sources
A Hybrid Software/Hardware Approach For Teaching Digital Logic Design For Computer Science Undergraduates [PDF]
, 2020 Mahmoud Quweider
openalex +1 more source
The Relationship between Mathematical Mathematical Knowledge and Mathematical Logic Intelligence in Second Stage Students Computer Science Department, College of Education for Pure Sciences / Ibn Al Haytham, University of Baghdad. [PDF]
, 2018 Ban Hassan Majid
openalex +1 more source
2024 Google Scholar Research Interest Ranking for Top 3260 Computer Science Authors [PDF]
arXivComputer science research spans a diverse array of topics, with scholars exploring numerous subfields. This paper examines the self-reported research interests of the top 3,260 most cited computer science authors on Google Scholar. Using the scholarly Python library, we systematically retrieved and classified their interests into predefined categories ...
arxiv
The Logic of the Method of Agent-Based Simulation in the Social Sciences: Empirical and Intentional Adequacy of Computer Programs [PDF]
The classical theory of computation does not represent an adequate model of reality for simulation in the social sciences. The aim of this paper is to construct a methodological perspective that is able to conciliate the formal and empirical logic of ...
Helder Coelho +2 more
core
On the Unusual Effectiveness of Logic in Computer Science [PDF]
, 2001 Joseph Y. Halpern +5 more
openalex +1 more source
Handbook of Logic and Proof Techniques for Computer Science
, 2002 Steven G. Krantz
openalex +1 more source
Study Of Digital Logic In Preparation Of Computer Sciences Bachelors: Praxseological Approach [PDF]
, 2018 V. Shamonya +1 more
openalex +1 more source