Results 241 to 250 of about 1,008,187 (306)
Some of the next articles are maybe not open access.
Theoretical Computer Science: Computability, Decidability and Logic
2020This chapter deals with a question in the very core of IA: what can be computed by a machine? An agreement has been reached on the answer brought by Alan Turing in 1936. Indeed, all other proposed approaches have led to exactly the same answer. Thus, there is a mathematical model of what can be done by a machine.
Bournez, Olivier +6 more
openaire +3 more sources
Logics in Computer Science [PDF]
, 2010 In this thesis, we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts.
openaire +2 more sources
Infinitary logic for computer science
1992Infinitary logic L ∞ω ω , extends first-order logic by allowing infinitary conjunctions and disjunctions (i.e., conjunctions with an infinite number of conjuncts and disjunctions with an infinite number of disjuncts). One usually thinks of infinitary logic as a fairly esoteric logic, which is not of much interest in computer science.
Phokion G. Kolaitis, Moshe Y. Vardi
openaire +2 more sources
The 2021 experience of logic in computer science
ACM SIGLOG News, 2021I would have liked to start this report by saying that the 36th edition of the ACM/IEEE Symposium on Logic in Computer Science (LICS) took place in Rome, from June 29th to July 2nd, 2021. As general chair of the conference, I tried as hard as possible to have at least a hybrid event since, due to the COVID pandemic, it was clear that a fully-in ...
openaire +2 more sources
Yuri, Logic, and Computer Science
2010Yuri Gurevich was born on May 7, 1940, in Nikolayev, Ukraine, which was a part of Soviet Union at the time. A year later, World War II reached the Soviet Union, and Yuri’s father was assigned to work in a tank body factory near Stalingrad. So that’s where Yuri spent the second year of his life, until the battle of Stalingrad forced the family, except ...
Wolfgang Reisig +2 more
openaire +2 more sources
Applied Logics for Computer Science
2004Logic is intensively applied in many areas of computer science. Successful applications often lead to the question whether alternative logics could be more adequate than classical propositional and first-order logics. Not surprisingly, answering this question usually amounts to a trade-off between the expressive power of the new logic (usually stronger
Paul Gochet, E. Pascal Gribomont
openaire +2 more sources
The Logic of Physics versus the Logic of Computer Science
2017Bebo White, the physicist and computational scientist at the SLAC National Accelerator Laboratory in Stanford University, was one of the first people to get involved in Web technology as a result of his stay at CERN in the group developing the hypertext transfer protocol, HTTP. Almost immediately following this, he became part of the dedicated team who
Bebo White, Adolfo Plasencia
openaire +1 more source
A Comprehensive Review on Computer Vision and Fuzzy Logic in Forensic Science Application
Annals of Data Science, 2022Prarthi Thakkar +6 more
semanticscholar +1 more source
Computer Science as Immaterial Formal Logic
Philosophy & Technology, 2019I critically review Raymond Turner’s Computational Artifacts – Towards a Philosophy of Computer Science by placing beside his position a rather different one, according to which computer science is a branch of, and is therefore subsumed by, immaterial formal logic.
openaire +2 more sources