loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: David M. Cerna 1 ; Martina Seidl 2 ; Wolfgang Schreiner 3 ; Wolfgang Windsteiger 3 and Armin Biere 2

Affiliations: 1 Institute of Formal Methods and Verification, Johannes Kepler University, Austria, Research Institute for Symbolic Computation, Johannes Kepler University, Austria ; 2 Institute of Formal Methods and Verification, Johannes Kepler University, Austria ; 3 Research Institute for Symbolic Computation, Johannes Kepler University, Austria

Keyword(s): Logic, Education, Automated Reasoning.

Abstract: Nowadays, logic plays an ever-increasing role in modern computer science, in theory as well as in practice. Logic forms the foundation of the symbolic branch of artificial intelligence and from an industrial perspective, logic-based verification technologies are crucial for major hardware and software companies to ensure the correctness of complex computing systems. The concepts of computational logic that are needed for such purposes are often avoided in early stages of computer science curricula. Instead, classical logic education mainly focuses on mathematical aspects of logic depriving students to see the practical relevance of this subject. In this paper we present our experiences with a novel design of a first-semester bachelor logic course attended by about 200 students. Our aim is to interlink both foundations and applications of logic within computer science. We report on our experiences and the feedback we got from the students through an extensive survey we performed at th e end of the semester. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.17.181.122

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Cerna, D. ; Seidl, M. ; Schreiner, W. ; Windsteiger, W. and Biere, A. (2020). Computational Logic in the First Semester of Computer Science: An Experience Report. In Proceedings of the 12th International Conference on Computer Supported Education - Volume 2: CSEDU; ISBN 978-989-758-417-6; ISSN 2184-5026, SciTePress, pages 374-381. DOI: 10.5220/0009464403740381

@conference{csedu20,
author={David M. Cerna and Martina Seidl and Wolfgang Schreiner and Wolfgang Windsteiger and Armin Biere},
title={Computational Logic in the First Semester of Computer Science: An Experience Report},
booktitle={Proceedings of the 12th International Conference on Computer Supported Education - Volume 2: CSEDU},
year={2020},
pages={374-381},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0009464403740381},
isbn={978-989-758-417-6},
issn={2184-5026},
}

TY - CONF

JO - Proceedings of the 12th International Conference on Computer Supported Education - Volume 2: CSEDU
TI - Computational Logic in the First Semester of Computer Science: An Experience Report
SN - 978-989-758-417-6
IS - 2184-5026
AU - Cerna, D.
AU - Seidl, M.
AU - Schreiner, W.
AU - Windsteiger, W.
AU - Biere, A.
PY - 2020
SP - 374
EP - 381
DO - 10.5220/0009464403740381
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic