Results for 'computer program'

1000+ found
Order:
  1. Syntax, Semantics, and Computer Programs.William J. Rapaport - 2020 - Philosophy and Technology 33 (2):309-321.
    Turner argues that computer programs must have purposes, that implementation is not a kind of semantics, and that computers might need to understand what they do. I respectfully disagree: Computer programs need not have purposes, implementation is a kind of semantic interpretation, and neither human computers nor computing machines need to understand what they do.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  2.  58
    No Computer Program Required: Even Pencil-and-Paper Argument Mapping Improves Critical-Thinking Skills.Maralee Harrell - 2008 - Teaching Philosophy 31 (4):351-374.
    Argument-mapping software abounds, and one of the reasons is that using the software has been shown to teach/promote/improve critical-thinking skills. These positive results are very encouraging, but they also raise the question of whether the computer tutorial environment is producing these results, or whether learning argument mapping, even with just paper and pencil, is sufficient. Based on the results of two empirical studies, I argue that the basic skill of being able to represent an argument diagrammatically plays an important (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  38
    No Computer Program Required: Even Pencil-and-Paper Argument Mapping Improves Critical Thinking Skills.Mara Harrell - 2008 - Teaching Philosophy 31 (4):351-374.
    Argument-mapping software abounds, and one of the reasons is that using the software has been shown to teach/promote/improve critical thinking skills. These positive results are very encouraging, but they also raise the question of whether the computer tutorial environment is producing these results, or whether learning argument mapping, even with just paper and pencil, is sufficient. Based on the results of two empirical studies, I argue that the basic skill of being able to represent an argument diagrammatically plays an (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  4.  16
    Should Computer Programs Be Owned?Deborah G. Johnson - 1985 - Metaphilosophy 16 (4):276-288.
  5.  4
    Can Students’ Computer Programming Learning Motivation and Effectiveness Be Enhanced by Learning Python Language? A Multi-Group Analysis.Hsiao-Chi Ling, Kuo-Lun Hsiao & Wen-Chiao Hsu - 2021 - Frontiers in Psychology 11.
    Python language has become the most popular computer language. Python is widely adopted in computer courses. However, Python language’s effects on the college and university students’ learning performance, motivations, computer programming self-efficacy, and maladaptive cognition have still not been widely examined. The main objective of this study is to explore the effects of learning Python on students’ programming learning. The junior students of two classes in a college are the research participants. One class was taught Java language (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6. Computer Programming and the Death of Constructivist Art.Richard Wright - 2009 - Philosophy of Mathematics Education Journal 24.
    No categories
     
    Export citation  
     
    Bookmark  
  7. Should Computer-Programs Be Ownable-a Reply.David H. Carey - 1993 - Metaphilosophy 24 (1-2):91-96.
  8.  37
    Computer Programs for Checking Mathematical Proofs.John Mccarthy - 1967 - Journal of Symbolic Logic 32 (4):523-523.
  9. A computer program for determining matrix models of propositional calculi.R. T. Brady - 1976 - Logique Et Analyse 19 (74):233.
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  14
    Should Computer Programs Be Ownable?David H. Carey - 1993 - Metaphilosophy 24 (1-2):76-84.
  11.  1
    Computing Programs for Generalized Planning Using a Classical Planner.Javier Segovia-Aguas, Sergio Jiménez & Anders Jonsson - 2019 - Artificial Intelligence 272:52-85.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  4
    Computer Programming and Formal Systems.J. C. Shepherdson, P. Braffort & D. Hirschberg - 1965 - Philosophical Quarterly 15 (61):371.
  13.  11
    Axiomatising the Logic of Computer Programming.Robert Goldblatt - 1985 - Journal of Symbolic Logic 50 (3):854-855.
  14.  32
    Setting-Up Early Computer Programs: D. H. Lehmer’s ENIAC Computation. [REVIEW]Maarten Bullynck & Liesbeth De Mol - 2010 - Archive for Mathematical Logic 49 (2):123-146.
    A complete reconstruction of Lehmer’s ENIAC set-up for computing the exponents of p modulo two is given. This program served as an early test program for the ENIAC (1946). The reconstruction illustrates the difficulties of early programmers to find a way between a man operated and a machine operated computation. These difficulties concern both the content level (the algorithm) and the formal level (the logic of sequencing operations).
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  7
    Visual Computer Programming: Semiotic and Cognitive Aspects.Sanda Monica Tataram - 2001 - American Journal of Semiotics 17 (3):157-173.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  16.  7
    Computer Programming for Facilities Treating Developmentally Disabled Children.Ronald H. Nelson - 1977 - Acm Sigcas Computers and Society 8 (2):14-17.
    In the mental health institution, the staff are generally divided into two areas: the administrators and the clinicals. "The administrative-programmatic objective is the make a general class of services available to a specific individual or group of individuals". Therefore, each group is interested in different kinds of data for different purposes.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  7
    Computer Programs to Estimate Overoptimism in Measures of Discrimination for Predicting the Risk of Cardiovascular Diseases.Haider R. Mannan & John J. McNeil - 2013 - Journal of Evaluation in Clinical Practice 19 (2):358-362.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  8
    Artists, Computer Programs and Performance.S. Godlovitch - 1990 - Australasian Journal of Philosophy 68 (3):301 – 312.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  12
    A Computer Program to Generate Parametric and Nonparametric Signal-Detection Parameters.Russel Boice & Rick M. Gardner - 1988 - Bulletin of the Psychonomic Society 26 (4):365-367.
  20. Is the Brain’s Mind a Computer Program?John R. Searle - 1990 - Scientific American 262 (1):26-31.
  21.  1
    Backgammon Computer Program Beats World Champion.Hans J. Berliner - 1980 - Artificial Intelligence 14 (2):205-220.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  38
    The Strategic Computing Program at Four Years: Implications and Intimations. [REVIEW]Chris Hables Gray - 1988 - AI and Society 2 (2):141-149.
    Examining the Strategic Computing Program after four years, in the context of the crucial recognition that it is only a small part of the whole range of military artificial intelligence applications, suggests a number of clear implications and intimations about such crucial questions as: 1) the current roles of industry and the universities in developing high technology war; 2) the effects on political and military policy of high-tech weapons systems; and 3) the importance of advanced military computing to subtle (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  11
    Reconstructor: A Computer Program That Uses Three-Valued Logics to Represent Lack of Information in Empirical Scientific Contexts.Ariel Jonathan Roffé - 2019 - Journal of Applied Non-Classical Logics 30 (1):68-91.
    ABSTRACTIn this article, I develop three conceptual innovations within the area of formal metatheory, and present a computer program, called Reconstructor, that implements those developments. The first development consists in a methodology for testing formal reconstructions of scientific theories, which involves checking both whether translations of paradigmatically successful applications into models satisfy the formalisation of the laws, and also whether unsuccessful applications do not. I show how Reconstructor can help carry this out, since it allows the end-user to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  29
    Proof Theory and Computer Programming.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (5):389-414.
  25.  17
    Proof Theory and Computer Programming.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1990 - Mathematical Logic Quarterly 36 (5):389-414.
  26. Some Empirical Criteria for Attributing Creativity to a Computer Program.Graeme Ritchie - 2007 - Minds and Machines 17 (1):67-99.
    Over recent decades there has been a growing interest in the question of whether computer programs are capable of genuinely creative activity. Although this notion can be explored as a purely philosophical debate, an alternative perspective is to consider what aspects of the behaviour of a program might be noted or measured in order to arrive at an empirically supported judgement that creativity has occurred. We sketch out, in general abstract terms, what goes on when a potentially creative (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  27.  11
    About the “Trinity Thesis” Regarding the Ontology of Computer Programs.Henri Stephanou - 2020 - Philosophy and Technology 33 (2):323-330.
    This review of Turner’s “Computational Artifacts” focuses on one of the key novelties of the book, namely the proposal to understand the nature of computer programs as a “trinity” of specification, symbolic program, and physical process, replacing the traditional dualist views of programs as functional/structural or as symbolic/physical. This trinitarian view is found to be robust and helpful to solve typical issues of dualist views. Drawing comparisons with Simon’s view of the artifact as an interface, the author suggests (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  28.  3
    Proof Theory and Computer Programming.Ruy J. B. de Queiroz & Thomas Maibaum - 1990 - Mathematical Logic Quarterly 36 (5):389-414.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Do Flipped Learning and Adaptive Instruction Improve Student Learning Outcome? A Case Study of a Computer Programming Course in Taiwan.Hong-Ren Chen & Wen-Chiao Hsu - 2022 - Frontiers in Psychology 12.
    Flipped learning could improve the learning effectiveness of students. However, some studies have pointed out the limitations related to flipped classrooms because the content of the flipped course does not vary according to the needs of the students. On the other hand, adaptive teaching, which customizes the learning mode according to the individual needs of students, can make up for some of the shortcomings of flipped teaching. This study combines adaptive teaching with flipped teaching and applies it to face-to-face classroom (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30. A Digital-Computer Programming Invariance.Walter A. Sturm - 1968 - In Peter Koestenbaum (ed.), Proceedings. [San Jose? Calif.. pp. 120.
     
    Export citation  
     
    Bookmark  
  31.  8
    Awareness and Understanding in Computer Programs A Review of Shadows of the Mind by Roger Penrose. [REVIEW]John Mccarthy - 1995 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 2.
  32.  44
    Whiteheadian Philosophy and Prolog Computer Programming.Granville C. Henry & Michael G. Geertsen - 1986 - Process Studies 15 (3):181-191.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33. Structure and Interpretation of Computer Programs.Kenneth D. Forbus - 1985 - Artificial Intelligence 27 (1):124-127.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. A Reply to "Should Computer Programs Be Ownable?".Deborah G. Johnson - 1993 - Metaphilosophy 24 (1-2):85-90.
  35.  9
    McCarthy John. Computer Programs for Checking Mathematical Proofs. Recursive Function Theory, Proceedings of Symposia in Pure Mathematics, Vol. 5, American Mathematical Society, Providence 1962, Pp. 219–227. [REVIEW]J. A. Robinson - 1968 - Journal of Symbolic Logic 32 (4):523-523.
  36.  9
    Wang Hao. Mechanical Mathematics and Inferential Analysis. Computer Programming and Formal Systems, Edited by Braffort P. And Hirschberg D., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1963, Pp. 1–20. [REVIEW]David C. Cooper - 1967 - Journal of Symbolic Logic 32 (1):120-120.
  37. Review: John McCarthy, Computer Programs for Checking Mathematical Proofs. [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (4):523-523.
  38.  16
    A Reply to “Should Computer Programs Be Ownable?”.Deborah G. Johnson - 1993 - Metaphilosophy 24 (1-2):85-90.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  19
    Language Processing and Computer Programs.R. J. Harvey - 1986 - Behavioral and Brain Sciences 9 (3):549-550.
  40.  19
    A Rhythm Recognition Computer Program to Advocate Interactivist Perception.Jean-Christophe Buisson - 2004 - Cognitive Science 28 (1):75-88.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  3
    Workshop on Computer Programming Systems for the Social Sciences.Francois Pottier - 1971 - Social Science Information 10 (3):37-52.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  9
    COMET: A Computer Program Dealing with Consent to Medical Treatment.A. Duncan - 1988 - Journal of Medical Ethics 14 (4):212-213.
  43.  1
    NPL/CPIS Computer Program Abstract Collection Announcement. Npl/Cpis - 1972 - Social Science Information 11 (3-4):317-318.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  30
    Problems in the Ontology of Computer Programs.Amnon H. Eden & Raymond Turner - 2007 - Applied Ontology 2 (1):13-36.
  45.  13
    The Development and Implications of a Case-Based Computer Program to Train Ethical Decision-Making.Eun-Jun Park - 2013 - Nursing Ethics 20 (8):943-956.
    To effectively train ethical decision-making of nursing students, a case-based computer program was developed using Flash animation. Seven ethical cases collected from practicing registered nurses’ actual clinical experiences and a six-step Integrated Ethical Decision-Making Model developed by the author were employed in the program. In total, 251 undergraduate students from three nursing schools used the program in their nursing ethics course. The usability of the program and its usefulness in improving 11 abilities needed in ethical (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  11
    A Truly Human Interface: Interacting Face-to-Face with Someone Whose Words Are Determined by a Computer Program.Kevin Corti & Alex Gillespie - 2015 - Frontiers in Psychology 6.
  47.  19
    Ethics in the Classroom: A Reflection on Integrating Ethical Discussions in an Introductory Course in Computer Programming.Dennis C. Smolarski & Tamsen Whitehead - 2000 - Science and Engineering Ethics 6 (2):255-264.
    In this paper, we describe our recent approaches to introducing students in a beginning computer science class to the study of ethical issues related to computer science and technology. This consists of three components: lectures on ethics and technology, in-class discussion of ethical scenarios, and a reflective paper on a topic related to ethics or the impact of technology on society. We give both student reactions to these aspects, and instructor perspective on the difficulties and benefits in exposing (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  13
    Dyadic Versus Triadic Sign Models in Functional and Object-Oriented Computer Programming Paradigms.Kumiko Tanaka-Ishii - 2006 - Semiotica 2006 (158):213-231.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  49.  6
    From the Genetic to the Computer Program: The Historicity of ‘Data’ and ‘Computation’ in the Investigations on the Nematode Worm C. Elegans.Miguel García-Sancho - 2012 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 43 (1):16-28.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  29
    Corrado Böhm and Wolf Gross. Introduction to the CUCH. Automata Theory, Edited by E. R. Caianiello, Academic Press, New York and London1966, Pp. 35–65. Reprinted in Pubblicazioni dell'Istituto Nazionale Per le Applicazioni Del Calcolo, Ser. 11 No. 669, Rome 1966. - C. Böhm. The CUCH as a Formal and Description Language. Formal Language Description Languages for Computer Programming, Proceedings of the IFIP Working Conference on Formal Language Description Languages, Edited by T. B. SteelJr., North-Holland Publishing Company, Amsterdam1966, Pp. 179–197. [REVIEW]Jonathan P. Seldin - 1975 - Journal of Symbolic Logic 40 (1):81-83.
1 — 50 / 1000