Results 1 to 10 of about 65,568,542 (249)
Some of the next articles are maybe not open access.
Logic and Semantic Technologies for Computer Science Education
2019 IEEE 15th International Scientific Conference on Informatics, 2019We report on some projects to develop software rooted in formal logic and semantics in order to enhance education in computer science and mathematics. The goal is to let students actively engage with the course material by solving concrete problems where the correctness of a solution is automatically checked; furthermore, if a solution is not correct ...
exaly +2 more sources
MATEC Web of Conferences, 2018 Game-theoretical interpretation of logical semantics has been first suggested in 1950s. Although it is well know among professionals, it is often excluded from introductory courses in logic.
Glivická Jana
doaj +2 more sources
Conceptualising Programming Language Semantics
PhilosophiesThe semantics of programming languages tend to be discussed with high levels of formality; much of the previous research—both philosophical and historical—has investigated them from this perspective.
Troy Kaighin Astarte
doaj +3 more sources
Learning objectives for courses in the Department of Computer Science, Oregon State University [PDF]
This document describes the overall learning objectives for courses in the department of computer science at Oregon State ...
Oregon State University. Department of Computer Science
core +6 more sources
A Survey of Trust in Computer Science and the Semantic Web [PDF]
SSRN Electronic Journal, 2007 Trust is an integral component in many kinds of human interaction, allowing people to act under uncertainty and with the risk of negative consequences. For example, exchanging money for a service, giving access to your property, and choosing between conflicting sources of information all may utilize some form of trust.
Donovan Artz, Yolanda Gil
openaire +1 more source