AI Chat AI Image Generator AI Video Text to Speech

Mathematical Logic in Computer Science

02/07/2018

∙

by Assaf Kfoury, et al.

∙

∙

The article retraces major events and milestones in the mutual influences between mathematical logic and computer science since the 1950s.

page 1

page 2

page 3

page 4

research

∙ 10/01/2020

Edsger Dijkstra. The Man Who Carried Computer Science on His Shoulders

This a biographical essay about Edsger Wybe Dijkstra....

0 Krzysztof R. Apt, et al. ∙

research

∙ 05/01/2019

Computer Science and Metaphysics: A Cross-Fertilization

Computational philosophy is the use of mechanized computational techniqu...

0 Daniel Kirchner, et al. ∙

research

∙ 06/17/2015

Why Bother With Syntax?

This short note discusses the role of syntax vs. semantics and the inter...

0 Joseph Y. Halpern, et al. ∙

research

∙ 07/06/2021

Visions in Theoretical Computer Science: A Report on the TCS Visioning Workshop 2020

Theoretical computer science (TCS) is a subdiscipline of computer scienc...

0 Shuchi Chawla, et al. ∙

research

∙ 08/04/2022

Descriptive combinatorics and distributed algorithms

This is a draft of an article to appear in the October 2022 issue of the...

0 Anton Bernshteyn, et al. ∙

research

∙ 06/21/2020

Kolmogorov's legacy: Algorithmic Theory of Informatics and Kolmogorov Programmable Technology

In this survey, we explore Andrei Nikolayevich Kolmogorov's seminal work...

0 Sergei Levashkin, et al. ∙

research

∙ 05/27/2020

A review of analytical performance modeling and its role in computer engineering and science

This article is a review of analytical performance modeling for computer...

0 Y. C. Tay, et al. ∙