Results for 'Computer science'

1000+ found
Order:
See also
  1. Deontic Logic in Computer Science Normative System Specification.John-Jules Ch Meyer, Roel J. Wieringa & International Workshop on Deontic Logic in Computer Science - 1993
     
    Export citation  
     
    Bookmark   3 citations  
  2.  93
    How-Possibly Explanations in (Quantum) Computer Science.Michael E. Cuffaro - 2015 - Philosophy of Science 82 (5):737-748.
    A primary goal of quantum computer science is to find an explanation for the fact that quantum computers are more powerful than classical computers. In this paper I argue that to answer this question is to compare algorithmic processes of various kinds and to describe the possibility spaces associated with these processes. By doing this, we explain how it is possible for one process to outperform its rival. Further, in this and similar examples little is gained in subsequently (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  48
    On Teaching Computer Ethics Within a Computer Science Department.Michael J. Quinn - 2006 - Science and Engineering Ethics 12 (2):335-343.
    The author has surveyed a quarter of the accredited undergraduate computer science programs in the United States. More than half of these programs offer a “social and ethical implications of computing” course taught by a computer science faculty member, and there appears to be a trend toward teaching ethics classes within computer science departments. Although the decision to create an “in house” computer ethics course may sometimes be a pragmatic response to pressure from (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4.  33
    Programmers, Professors, and Parasites: Credit and Co-Authorship in Computer Science.Justin Solomon - 2009 - Science and Engineering Ethics 15 (4):467-489.
    This article presents an in-depth analysis of past and present publishing practices in academic computer science to suggest the establishment of a more consistent publishing standard. Historical precedent for academic publishing in computer science is established through the study of anecdotes as well as statistics collected from databases of published computer science papers. After examining these facts alongside information about analogous publishing situations and standards in other scientific fields, the article concludes with a list (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5.  28
    Integrating the Ethical and Social Context of Computing Into the Computer Science Curriculum.Chuck Huff, Ronald E. Anderson, Joyce Currie Little, Deborah Johnson, Rob Kling, C. Dianne Martin & Keith Miller - 1996 - Science and Engineering Ethics 2 (2):211-224.
    This paper describes the major components of ImpactCS, a program to develop strategies and curriculum materials for integrating social and ethical considerations into the computer science curriculum. It presents, in particular, the content recommendations of a subcommittee of ImpactCS; and it illustrates the interdisciplinary nature of the field, drawing upon concepts from computer science, sociology, philosophy, psychology, history and economics.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6. Abstraction in Computer Science.Timothy Colburn & Gary Shute - 2007 - Minds and Machines 17 (2):169-184.
    We characterize abstraction in computer science by first comparing the fundamental nature of computer science with that of its cousin mathematics. We consider their primary products, use of formalism, and abstraction objectives, and find that the two disciplines are sharply distinguished. Mathematics, being primarily concerned with developing inference structures, has information neglect as its abstraction objective. Computer science, being primarily concerned with developing interaction patterns, has information hiding as its abstraction objective. We show that (...)
    Direct download (13 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  7. Philosophy of Computer Science : An Introductory Course Philosophy of Computer Science : An Introductory Course.William J. Rapaport - 2005 - Teaching Philosophy 28 (4):319-341.
    There are many branches of philosophy called "the philosophy of X," where X = disciplines ranging from history to physics. The philosophy of artificial intelligence has a long history, and there are many courses and texts with that title. Surprisingly, the philosophy of computer science is not nearly as well-developed. This article proposes topics that might constitute the philosophy of computer science and describes a course covering those topics, along with suggested readings and assignments.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8. Philosophy of Mind Is (in Part) Philosophy of Computer Science.Darren Abramson - 2011 - Minds and Machines 21 (2):203-219.
    In this paper I argue that whether or not a computer can be built that passes the Turing test is a central question in the philosophy of mind. Then I show that the possibility of building such a computer depends on open questions in the philosophy of computer science: the physical Church-Turing thesis and the extended Church-Turing thesis. I use the link between the issues identified in philosophy of mind and philosophy of computer science (...)
    Direct download (15 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  73
    Three Paradigms of Computer Science.Amnon H. Eden - 2007 - Minds and Machines 17 (2):135-167.
    We examine the philosophical disputes among computer scientists concerning methodological, ontological, and epistemological questions: Is computer science a branch of mathematics, an engineering discipline, or a natural science? Should knowledge about the behaviour of programs proceed deductively or empirically? Are computer programs on a par with mathematical objects, with mere data, or with mental processes? We conclude that distinct positions taken in regard to these questions emanate from distinct sets of received beliefs or paradigms within (...)
    Direct download (15 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  10.  59
    Philosophy of Computer Science.William J. Rapaport - 2005 - Teaching Philosophy 28 (4):319-341.
    There are many branches of philosophy called “the philosophy of X,” where X = disciplines ranging from history to physics. The philosophy of artificial intelligence has a long history, and there are many courses and texts with that title. Surprisingly, the philosophy of computer science is not nearly as well-developed. This article proposes topics that might constitute the philosophy of computer science and describes a course covering those topics, along with suggested readings and assignments.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  61
    Decoupling as a Fundamental Value of Computer Science.Timothy Colburn & Gary Shute - 2011 - Minds and Machines 21 (2):241-259.
    Computer science is an engineering science whose objective is to determine how to best control interactions among computational objects. We argue that it is a fundamental computer science value to design computational objects so that the dependencies required by their interactions do not result in couplings, since coupling inhibits change. The nature of knowledge in any science is revealed by how concepts in that science change through paradigm shifts, so we analyze classic paradigm (...)
    Direct download (16 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  37
    Philosophy of Computer Science: An Introductory Course.William J. Rapaport - 2005 - Teaching Philosophy 28 (4):319-341.
    There are many branches of philosophy called “the philosophy of X,” where X = disciplines ranging from history to physics. The philosophy of artificial intelligence has a long history, and there are many courses and texts with that title. Surprisingly, the philosophy of computer science is not nearly as well-developed. This article proposes topics that might constitute the philosophy of computer science and describes a course covering those topics, along with suggested readings and assignments.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  14
    Thinking Machines and the Philosophy of Computer Science: Concepts and Principles.Jordi Vallverdú (ed.) - 2010 - Information Science Reference.
    "This book offers a high interdisciplinary exchange of ideas pertaining to the philosophy of computer science, from philosophical and mathematical logic to epistemology, engineering, ethics or neuroscience experts and outlines new problems ...
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  60
    Abstraction, Law, and Freedom in Computer Science.Timothy Colburn & Gary Shute - 2010 - Metaphilosophy 41 (3):345-364.
    Abstract: Laws of computer science are prescriptive in nature but can have descriptive analogs in the physical sciences. Here, we describe a law of conservation of information in network programming, and various laws of computational motion (invariants) for programming in general, along with their pedagogical utility. Invariants specify constraints on objects in abstract computational worlds, so we describe language and data abstraction employed by software developers and compare them to Floridi's concept of levels of abstraction. We also consider (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Some Philosophical Issues in Computer Science.Amnon Eden - 2011 - Minds and Machines 21 (2):123-133.
    The essays included in the special issue dedicated to the philosophy of computer science examine new philosophical questions that arise from reflection upon conceptual issues in computer science and the insights such an enquiry provides into ongoing philosophical debates.
    Direct download (16 more)  
     
    Export citation  
     
    Bookmark  
  16.  38
    Program Verification, Defeasible Reasoning, and Two Views of Computer Science.Timothy R. Colburn - 1991 - Minds and Machines 1 (1):97-116.
    In this paper I attempt to cast the current program verification debate within a more general perspective on the methodologies and goals of computer science. I show, first, how any method involved in demonstrating the correctness of a physically executing computer program, whether by testing or formal verification, involves reasoning that is defeasible in nature. Then, through a delineation of the senses in which programs can be run as tests, I show that the activities of testing and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  5
    Koncepcja automatyzacji Leonarda Torresa y Quevedo jako przyczynek do rozwoju computer science.Piotr Urbańczyk - 2015 - Semina Scientiarum 14:49-59.
    The aim of this article is to indicate that the ideas of Leonardo Torres y Que­vedo presented in his short Essays on Automatics constitute essential link between early Babbage’s concepts of analytical engine and modern computer science. These ideas include definition of automatics, classification of automata, theoretical basis for robotics, electromechanical engineering, modern concept of chatbot, the importance of algorithm and last but not least floating point arithmetic.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  13
    Linear Logic in Computer Science.Thomas Ehrhard (ed.) - 2004 - Cambridge University Press.
    Linear Logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  19. Philosophy and Computer Science.Timothy R. Colburn - 2000
  20. Epistemic Logic for Ai and Computer Science.John-Jules Ch Meyer & W. van der Hoek - 1995
     
    Export citation  
     
    Bookmark   9 citations  
  21.  57
    What is Computer Science About?Oron Shagrir - 1999 - The Monist 82 (1):131-149.
  22. Handbook of Logic in Computer Science.Samson Abramsky, Dov M. Gabbay & Thomas S. E. Maibaum - 1992
     
    Export citation  
     
    Bookmark   6 citations  
  23.  17
    Alan W. Biermann, Great Ideas in Computer Science: A Gentle Introduction. [REVIEW]Wheeler Ruml - 1999 - Minds and Machines 9 (3):417-421.
  24.  37
    The Philosophy of Computer Science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.
  25.  32
    The Philosophy of Computer Science: Introduction to the Special Issue. [REVIEW]Raymond Turner - 2007 - Minds and Machines 17 (2):129-133.
  26.  24
    Timothy R. Colburn, Philosophy and Computer Science.Bipin Indurkhya - 2002 - Minds and Machines 12 (3):454-459.
  27. Deontic Logic, Agency, and Normative Systems [Delta]Eon '96, Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996'. [REVIEW]Mark A. Brown & José Carmo - 1995
     
    Export citation  
     
    Bookmark  
  28. A First Course in Formal Logic and its Applications in Computer Science.Roy Dowsing - 1986 - Blackwell Scientific Publications.
  29. Gödel '96 Logical Foundations of Mathematics, Computer Science and Physics Kurt GÖdel's Legacy.Petr Hájek & Jiří Zlatuška - 1996 - Bulletin of Symbolic Logic 2 (4):473.
  30. Logic From Computer Science Proceedings of a Workshop Held November 13-17, 1989.Yiannis N. Moschovakis & Mathematical Sciences Research Institute - 1992
     
    Export citation  
     
    Bookmark  
  31. Structures in Logic and Computer Science a Selection of Essays in Honor of A. Ehrenfeucht.Jan Mycielski, Grzegorz Rozenberg & Arto Salomaa - 1997
     
    Export citation  
     
    Bookmark  
  32.  42
    The Role Of Models In Computer Science.James H. Fetzer - 1999 - The Monist 82 (1):20-36.
    Taking Brian Cantwell Smith’s study, “Limits of Correctness in Computers,” as its point of departure, this article explores the role of models in computer science. Smith identifies two kinds of models that play an important role, where specifications are models of problems and programs are models of possible solutions. Both presuppose the existence of conceptualizations as ways of conceiving the world “in certain delimited ways.” But high-level programming languages also function as models of virtual (or abstract) machines, while (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  33.  36
    Towards Empirical Computer Science.Peter Wegner - 1999 - The Monist 82 (1):58-108.
    Part I presents a model of interactive computation and a metric for expressiveness, Part II relates interactive models of computation to physics, and Part III considers empirical models from a philosophical perspective. Interaction machines, which extend Turing Machines to interaction, are shown in Part I to be more expressive than Turing Machines by a direct proof, by adapting Gödel's incompleteness result, and by observability metrics. Observation equivalence provides a tool for measuring expressiveness according to which interactive systems are more expressive (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  40
    Advances in Contemporary Logic and Computer Science Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW]Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic - 1999
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, Sao Paulo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Computer Science Logic 11th International Workshop, Csl '97 : Annual Conference of the Eacsl, Aarhus, Denmark, August 23-29, 1997 : Procedings. [REVIEW]M. Nielsen, Wolfgang Thomas & European Association for Computer Science Logic - 1998
     
    Export citation  
     
    Bookmark  
  36. Computer Science Logic 10th International Workshop, Csl'96, Annual Conference of the Eacsl, Utrecht, the Netherlands, September 21-27, 1996 : Selected Papers. [REVIEW]D. van Dalen, M. Bezem & European Association for Computer Science Logic - 1997
     
    Export citation  
     
    Bookmark  
  37.  19
    Computer Science and Philosophy: Did Plato Foresee Object-Oriented Programming?Wojciech Tylman - 2018 - Foundations of Science 23 (1):159-172.
    This paper contains a discussion of striking similarities between influential philosophical concepts of the past and the approaches currently employed in selected areas of computer science. In particular, works of the Pythagoreans, Plato, Abelard, Ash’arites, Malebranche and Berkeley are presented and contrasted with such computer science ideas as digital computers, object-oriented programming, the modelling of an object’s actions and causality in virtual environments, and 3D graphics rendering. The intention of this paper is to provoke the (...) science community to go off the beaten path in order to find inspiration for the development of new approaches in software engineering. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  20
    Teaching Ethics in Engineering and Computer Science: A Panel Discussion.Charles Glagola, Moshe Kam, Caroline Whitebeck & Michael C. Loui - 1997 - Science and Engineering Ethics 3 (4):463-480.
    At a conference, two engineering professors and a philosophy professor discussed the teaching of ethics in engineering and computer science. The panelists considered the integration of material on ethics into technical courses, the role of ethical theory in teaching applied ethics, the relationship between cases and codes of ethics, the enlisting of support of engineering faculty, the background needed to teach ethics, and the assessment of student outcomes. Several audience members contributed comments, particularly on teaching ethical theory and (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  53
    Gödel's Incompleteness Theorems and Computer Science.Roman Murawski - 1997 - Foundations of Science 2 (1):123-135.
    In the paper some applications of Gödel's incompleteness theorems to discussions of problems of computer science are presented. In particular the problem of relations between the mind and machine (arguments by J.J.C. Smart and J.R. Lucas) is discussed. Next Gödel's opinion on this issue is studied. Finally some interpretations of Gödel's incompleteness theorems from the point of view of the information theory are presented.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  40.  8
    Integrating the Ethical and Social Context of Computing Into the Computer Science Curriculum An Interim Report From the Content Sub-Committee of the ImpactCS Steering Committee.Chuck Huff, Ronald Anderson, Joyce Little, Deborah Johnson & Rob Kling - 1996 - Science and Engineering Ethics 2 (2):211.
    This paper describes the major components of ImpactCS, a program to develop strategies and curriculum materials for integrating social and ethical considerations into the computer science curriculum. It presents, in particular, the content recommendations of a subcommittee of ImpactCS; and it illustrates the interdisciplinary nature of the field, drawing upon concepts from computer science, sociology, philosophy, psychology, history and economics.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  5
    The Porphyrian Tree and Multiple Inheritance: A Rejoinder to Tylman on Computer Science and Philosophy.Lorenz Demey - 2018 - Foundations of Science 23 (1):173-180.
    Tylman has recently pointed out some striking conceptual and methodological analogies between philosophy and computer science. In this paper, I focus on one of Tylman’s most convincing cases, viz. the similarity between Plato’s theory of Ideas and the object-oriented programming paradigm, and analyze it in some more detail. In particular, I argue that the platonic doctrine of the Porphyrian tree corresponds to the fact that most object-oriented programming languages do not support multiple inheritance. This analysis further reinforces Tylman’s (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  19
    Science in the Age of Computer Simulation.Eric B. Winsberg - 2010 - University of Chicago Press.
    Introduction -- Sanctioning models : theories and their scope -- Methodology for a virtual world -- A tale of two methods -- When theories shake hands -- Models of climate : values and uncertainties -- Reliability without truth -- Conclusion.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  43. Facet-Like Structures in Computer Science.Uta Priss - 2008 - Axiomathes 18 (2):243-255.
    This paper discusses how facet-like structures occur as a commonplace feature in a variety of computer science disciplines as a means for structuring class hierarchies. The paper then focuses on a mathematical model for facets (and class hierarchies in general), called formal concept analysis, and discusses graphical representations of faceted systems based on this model.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44. Computing with Functionals: Computability Theory or Computer Science?Dag Normann - 2006 - Bulletin of Symbolic Logic 12 (1):43-59.
    We review some of the history of the computability theory of functionals of higher types, and we will demonstrate how contributions from logic and theoretical computer science have shaped this still active subject.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  60
    The Place of Dialogue Theory in Logic, Computer Science and Communication Studies.Douglas Walton - 2000 - Synthese 123 (3):327-346.
    Dialogue theory, although it has ancient roots, was put forward in the 1970s in logic as astructure that can be useful for helping to evaluate argumentation and informal fallacies.Recently, however, it has been taken up as a broader subject of investigation in computerscience. This paper surveys both the historical and philosophical background of dialoguetheory and the latest research initiatives on dialogue theory in computer science. The main components of dialogue theory are briefly explained. Included is a classification of (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  46.  53
    Inter-Level Relations in Computer Science, Biology, and Psychology.Fred Boogerd, Frank Bruggeman, Catholijn Jonker, Huib Looren de Jong, Allard Tamminga, Jan Treur, Hans Westerhoff & Wouter Wijngaards - 2002 - Philosophical Psychology 15 (4):463–471.
    Investigations into inter-level relations in computer science, biology and psychology call for an *empirical* turn in the philosophy of mind. Rather than concentrate on *a priori* discussions of inter-level relations between 'completed' sciences, a case is made for the actual study of the way inter-level relations grow out of the developing sciences. Thus, philosophical inquiries will be made more relevant to the sciences, and, more importantly, philosophical accounts of inter-level relations will be testable by confronting them with what (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  53
    Conditionals: From Philosophy to Computer Science.G. Crocco, Luis Fariñas del Cerro & Andreas Herzig (eds.) - 1995 - Oxford University Press.
    This book looks at the ways in which conditionals, an integral part of philosophy and logic, can be of practical use in computer programming. It analyzes the different types of conditionals, including their applications and potential problems. Other topics include defeasible logics, the Ramsey test, and a unified view of consequence relation and belief revision. Its implications will be of interest to researchers in logic, philosophy, and computer science, particularly artificial intelligence.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  38
    The Fusion of Biology, Computer Science, and Engineering: Towards Efficient and Successful Synthetic Biology.Gregory Linshiz, Alex Goldberg, Tania Konry & Nathan J. Hillson - 2012 - Perspectives in Biology and Medicine 55 (4):503-520.
    The integration of computer science, biology, and engineering has resulted in the emergence of rapidly growing interdisciplinary fields such as bioinformatics, bioengineering, DNA computing, and systems and synthetic biology. Ideas derived from computer science and engineering can provide innovative solutions to biological problems and advance research in new directions. Although interdisciplinary research has become increasingly prevalent in recent years, the scientists contributing to these efforts largely remain specialists in their original disciplines and are not fully capable (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  49.  20
    Computer Science & IT with/for Biology.Enrico Franconi - unknown
    This reader contains the extended abstracts of the seminars organised for the “Computer Science and IT with/for Biology” Seminar Series, held at the Faculty of Computer Science, Free University of Bozen-Bolzano, from October to December 2005. Slides of the presentations are available online at: www.inf.unibz.it/krdb/biology.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  31
    Creativity in Computer Science.Daniel Saunders & Paul Thagard - unknown
    Computer science only became established as a field in the 1950s, growing out of theoretical and practical research begun in the previous two decades. The field has exhibited immense creativity, ranging from innovative hardware such as the early mainframes to software breakthroughs such as programming languages and the Internet. Martin Gardner worried that "it would be a sad day if human beings, adjusting to the Computer Revolution, became so intellectually lazy that they lost their power of creative (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000