LOGIC IN COMPUTER SCIENCE

被引：0
|
作者：
Serna, Edgar M. [1 ]
机构：
[1] Inst Tecnol Metropolitano, Fac Ingn, Medellin, Colombia
来源：
REVISTA EDUCACION EN INGENIERIA | 2013年 / 8卷 / 15期
关键词：
logic; computer science; computing; training;
D O I：
暂无
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
In this paper it is analyzed the need to include the logic in training processes in Computer Science (CS). It is part of a tour of the history of logic in these sciences, later it's described the relationship and the need to include it in the training processes related, and finally analyzed that, when and how deep it should work training CS. This is a revision to issue state and the importance of including this subject in undergraduate and graduate programs in computer sciences and Information Technologies areas.
引用
收藏
页码：62 / 68
页数：7
相关论文
共 50 条
  • [1] LINEAR LOGIC IN COMPUTER SCIENCE
    Steingartner, William
    Polakova, Andrea
    Praznak, Peter
    Novitzka, Valerie
    [J]. JOURNAL OF APPLIED MATHEMATICS AND COMPUTATIONAL MECHANICS, 2015, 14 (01) : 91 - 100
  • [2] THE LOGIC IN COMPUTER SCIENCE COLUMN
    Gurevich, Yuri
    Blass, Andreas
    [J]. BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2024, (143): : 39 - 55
  • [3] The logic in computer science column
    Gurevich, Yuri
    [J]. Bulletin of the European Association for Theoretical Computer Science, 2014, (113):
  • [4] The logic in computer science column
    Gurevich, Yuri
    Gruünheid, Anja
    Kossmann, Donald
    Nushi, Besmira
    [J]. Bulletin of the European Association for Theoretical Computer Science, 2013, 111 : 88 - 96
  • [5] THE LOGIC IN COMPUTER SCIENCE COLUMN
    Gurevich, Yuri
    Oberhoff, Sebastian
    [J]. BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2019, (128): : 91 - 105
  • [6] THE LOGIC IN COMPUTER SCIENCE COLUMN
    Gurevich, Yuri
    Barak, Boaz
    [J]. BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2012, (108): : 130 - 142
  • [7] THE LOGIC IN COMPUTER SCIENCE COLUMN
    Gurevich, Yuri
    Blass, Andreas
    [J]. BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2023, (141): : 7 - 10
  • [8] Yuri, Logic, and Computer Science
    Blass, Andreas
    Dershowitz, Nachum
    Reisig, Wolfgang
    [J]. FIELDS OF LOGIC AND COMPUTATION: ESSAYS DEDICATED TO YURI GUREVICH ON THE OCCASION OF HIS 70TH BIRTHDAY, 2010, 6300 : 1 - +
  • [9] The Logic in Computer Science Column
    Gurevich, Yuri
    [J]. Gurevich, Yuri (gurevich@umich.edu), 1600, European Association for Theoretical Computer Science (2021):
  • [10] The logic in computer science column
    Urevich, Yuri
    [J]. Bulletin of the European Association for Theoretical Computer Science, 2021, 2021 (134):
12345