- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Methodology of Computer Science
In Luciano Floridi (ed.), The Blackwell Guide to the Philosophy of Computing and Information. Oxford, UK: Blackwell. pp. 318–326 (2004)
Abstract
The prelims comprise: Introduction Computer Science and Mathematics The Formal Verification Debate Abstraction in Computer Science Conclusion.Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Decoupling as a Fundamental Value of Computer Science.Timothy Colburn & Gary Shute - 2011 - Minds and Machines 21 (2):241-259.
Science in the age of computer simulation.Eric B. Winsberg - 2010 - Chicago: University of Chicago Press.
Abstraction in computer science.Timothy Colburn & Gary Shute - 2007 - Minds and Machines 17 (2):169-184.
On teaching computer ethics within a computer science department.Michael J. Quinn - 2006 - Science and Engineering Ethics 12 (2):335-343.
Some Philosophical Issues in Computer Science.Amnon H. Eden - 2011 - Minds and Machines 21 (2):123-133.
Programmers, professors, and parasites: Credit and co-authorship in computer science.Justin Solomon - 2009 - Science and Engineering Ethics 15 (4):467-489.
Program verification, defeasible reasoning, and two views of computer science.Timothy R. Colburn - 1991 - Minds and Machines 1 (1):97-116.
Computers, information and ethics: A review of issues and literature. [REVIEW]Dr Carl Mitcham - 1995 - Science and Engineering Ethics 1 (2):113-132.
Timothy R. Colburn, philosophy and computer science.Bipin Indurkhya - 2002 - Minds and Machines 12 (3):454-459.
Analytics
Added to PP
2014-01-31
Downloads
21 (#740,927)
6 months
6 (#529,161)
2014-01-31
Downloads
21 (#740,927)
6 months
6 (#529,161)
Historical graph of downloads
Citations of this work
Computing and Experiments: A Methodological View on the Debate on the Scientific Nature of Computing.Viola Schiaffonati & Mario Verdicchio - 2014 - Philosophy and Technology 27 (3):359-376.
Abstraction and Idealization in the Formal Verification of Software Systems.Nicola Angius - 2013 - Minds and Machines 23 (2):211-226.
Decoupling as a Fundamental Value of Computer Science.Timothy Colburn & Gary Shute - 2011 - Minds and Machines 21 (2):241-259.
Abstraction, law, and freedom in computer science.Timothy Colburn & Gary Shute - 2010 - Metaphilosophy 41 (3):345-364.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-rskd8 uwo