Open Access. Powered by Scholars. Published by Universities.®

Digital Commons Network™

Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 62911 - 62940 of 63342

Full-Text Articles in Entire DC Network

Mathematics In The Christian Philosophy Of Life, C. Ralph Verno Jun 1979

Mathematics In The Christian Philosophy Of Life, C. Ralph Verno

ACMS Conference Proceedings 1979

It is universally agreed that mathematics is important, that it is indeed very significant in life. This would be admitted even by those who are ignorant of or who dislike mathematics. There would be much less agreement, however, about why mathematics is important or significant. Such disagreement exists even more among mathematicians and mathematics educators. Unhappily many of the Christians who think about such things (and there are not very many who think about them at all) basically share the utilitarian view of many non-Christian thinkers, although endeavoring to place it within a Christian context. They think it is wonderful …


Brief Position Paper For Panel Discussion On Relation Of Mathematics And Christianity, C. Ralph Verno Jun 1979

Brief Position Paper For Panel Discussion On Relation Of Mathematics And Christianity, C. Ralph Verno

ACMS Conference Proceedings 1979

Some people view a conjoining of Christianity and Mathematics as improper. They miss the point of the relationship. The content of mathematics is not affected by Christianity. The relationship does not concern what, or how (the Christian doesn’t solve equations or differentiate differently), but it concerns why. It concerns such things as the interpretation and appreciation of the beauty, the symmetries, the coincidences, the remarkable properties, man’s creative role, etc. This paper explores the relationship between Christianity and mathematics as part of a panel discussion on the topic.


On Kuyk’S Complementarity In Mathematics, Gene B. Chase Jun 1979

On Kuyk’S Complementarity In Mathematics, Gene B. Chase

ACMS Conference Proceedings 1979

This paper examines Willem Kuyk’s book, Complementarity in Mathematics, and the interplay between the subjects of mathematics.


Are Mathematical Objects Ontologically Real? Ideas And Suggestions, Frank R. Bernhart Jun 1979

Are Mathematical Objects Ontologically Real? Ideas And Suggestions, Frank R. Bernhart

ACMS Conference Proceedings 1979

This essay will consider a few ways that realism in the modern philosophy of mathematics might be understood and defined.


Intuitionism, Terence H. Perciante Jun 1979

Intuitionism, Terence H. Perciante

ACMS Conference Proceedings 1979

Intuitionism derives philosophically from Kant's Conceptualism -- the object of the mathematical knowledge only have reality within the mind, they do not have reality apart from our thinking. This paper examines the nature of intuitionism and its strengths.


Two Philosophical Problems About Mathematics, Stephen Barker Jun 1979

Two Philosophical Problems About Mathematics, Stephen Barker

ACMS Conference Proceedings 1979

Mathematics is a flourishing field of human endeavor, a field that is accorded great respect and high standing. For 2500 years or more, many of the best minds available have worked in this field; and the results produced have indirectly been of enormous value to other fields, such as physics, engineering, architecture, economics, and so on. But with is mathematics about? Physics studies moving bodies; engineering studies bridges; architecture studies buildings; economics studies commercial behavior: here there are phenomena we can point to that constitute the subject matter. But what does mathematics study? If you answer “Numbers”, or “Abstract types …


Axiomatic Structure And The Method Of Analysis: Shifting Styles In The History Of Mathematics, Calvin Jongsma Jun 1979

Axiomatic Structure And The Method Of Analysis: Shifting Styles In The History Of Mathematics, Calvin Jongsma

ACMS Conference Proceedings 1979

This article surveys the different views of mathematical methodology that occurred from ancient Greek times through the early modern period up until its codification around 1900. After summarizing the axiomatic approach advocated by Aristotle and implemented in mathematics by Euclid, the talk explores the character of analysis in ancient Greek times, its development into a symbolic algebra by Viete and Descartes, and its expansion into a calculus of fluxions and differentials by Newton and Leibniz. The article concludes by touching on the recovery and transformation of the deductive ideal for mathematics by Pasch, Peano, and Hilbert during the late nineteenth …


Non-Standard Calculus, Ron Friewald Jun 1979

Non-Standard Calculus, Ron Friewald

ACMS Conference Proceedings 1979

This paper is intended to provide a very cursory introduction to how “nonstandard calculus” works, giving a sketch of how elementary calculus can be presented using hyperreal numbers.


Computer Usage In The College Curriculum, Dick A. Wood Jun 1979

Computer Usage In The College Curriculum, Dick A. Wood

ACMS Conference Proceedings 1979

No abstract provided.


Math & Society: An Introduction To Mathematical Thought, Verbal Snook Jun 1979

Math & Society: An Introduction To Mathematical Thought, Verbal Snook

ACMS Conference Proceedings 1979

No abstract provided.


Mathematics And Christian Faith - Some Personal Perceptions, Richard Laatsch Jun 1979

Mathematics And Christian Faith - Some Personal Perceptions, Richard Laatsch

ACMS Conference Proceedings 1979

No abstract provided.


Implications Of Recent Developments In Philosophy Of Science For An Axiological Approach To Foundations Of Mathematics, Harold Heie Jun 1979

Implications Of Recent Developments In Philosophy Of Science For An Axiological Approach To Foundations Of Mathematics, Harold Heie

ACMS Conference Proceedings 1979

No abstract provided.


Logic In The Mathematics Curriculum, Nigel Cutland Jun 1979

Logic In The Mathematics Curriculum, Nigel Cutland

ACMS Conference Proceedings 1979

No abstract provided.


Introduction (1979), Robert Brabenec May 1979

Introduction (1979), Robert Brabenec

ACMS Conference Proceedings 1979

No abstract provided.


Table Of Contents (1979), Association Of Christians In The Mathematical Sciences May 1979

Table Of Contents (1979), Association Of Christians In The Mathematical Sciences

ACMS Conference Proceedings 1979

A Second Conference on the Foundations of Mathematics


Ellpack '78 User's Guide-Preliminary Version, John R. Rice May 1979

Ellpack '78 User's Guide-Preliminary Version, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.


Ua66/16/2 Ogden Instructional Computing Newsletter, Vol. 1, No. 1, Wku Mathematics & Computer Science Apr 1979

Ua66/16/2 Ogden Instructional Computing Newsletter, Vol. 1, No. 1, Wku Mathematics & Computer Science

WKU Administration Documents

Newsletter created to promote the Ogden College Computer Laboratory. This issue is a review of some projects, courses, hardware and software available from the computer lab.


Synchronization Strategies, Mishell J. Stucki, Jerome R. Cox Jr Apr 1979

Synchronization Strategies, Mishell J. Stucki, Jerome R. Cox Jr

All Computer Science and Engineering Research

Computing systems are now frequently composed of independently clocked subsystems that cooperate to perform the function desired for the whole. This type of architecture has many advantages and promises to be the standard for the foreseeable future. With the trend towards more and more gates per chip, the number of chips per subsystem gets smaller and smaller, and we can expect to soon see one or more subsystems per chip. This transition will require contributions from disciplines previously outside the field of chip design, and every issue will have to be carefully worked out beforehand because debugging chips of this …


Fast Lp(K) Analysis, Giovanni Maria Sacco Apr 1979

Fast Lp(K) Analysis, Giovanni Maria Sacco

Department of Computer Science Technical Reports

No abstract provided.


Secure Statistical Databases With Random Sample Queries, Dorothy E. Denning Apr 1979

Secure Statistical Databases With Random Sample Queries, Dorothy E. Denning

Department of Computer Science Technical Reports

No abstract provided.


Hash-Binary Search: A Fast Technique For Searching An English Spelling Dictionary, Douglas E. Comer, Vincent Y. Shen Apr 1979

Hash-Binary Search: A Fast Technique For Searching An English Spelling Dictionary, Douglas E. Comer, Vincent Y. Shen

Department of Computer Science Technical Reports

No abstract provided.


Terminal Talk - The Wofford Connection - February 1979, Wofford College Computer Center Feb 1979

Terminal Talk - The Wofford Connection - February 1979, Wofford College Computer Center

Terminal Talk

No abstract provided.


A Proof Procedure For Quantifier-Free Non-Clausal First Order Logic, Neil V. Murray Feb 1979

A Proof Procedure For Quantifier-Free Non-Clausal First Order Logic, Neil V. Murray

Electrical Engineering and Computer Science - Technical Reports

A proof procedure is described which operates on formulas of the predicate calculus which are quantifier-free. The procedure, which involves a single inference rule called NC-resolution, is shown to be complete. Completeness is also obtained for a simple restriction on the rule’s application. Examples are given using NC-resolution not only for synthesis of a logic program from its specification, but for execution of a program specification in its original form.


Optimal 2,3-Trees, Nicholas J. Pippenger, Raymond E. Miller, Arnold L. Rosenberg, Lawrence Snyder Jan 1979

Optimal 2,3-Trees, Nicholas J. Pippenger, Raymond E. Miller, Arnold L. Rosenberg, Lawrence Snyder

All HMC Faculty Publications and Research

The 2,3-trees that are optimal in the sense of having minimal expected number of nodes visited per access are characterized in terms of their “profiles”. The characterization leads directly to a linear-time algorithm for constructing a K-key optimal 2,3-tree for a sorted list of K keys. A number of results are derived that demonstrate how different in structure these optimal 2,3-trees are from their “average” cousins.


Making Curriculum Decisions And The Nature Of Mathematics, Paul Zwier Jan 1979

Making Curriculum Decisions And The Nature Of Mathematics, Paul Zwier

ACMS Journal 2004

This paper clearly presents eight aspects of mathematics and contrasting perspectives in each that will affect the teaching of mathematics and the design of curricula. It also presents a collection of affirmations that could reasonably characterize a Christian perspective on teaching mathematics.


On The Application Of Coding Theory To Hashing, Nicholas Pippenger Jan 1979

On The Application Of Coding Theory To Hashing, Nicholas Pippenger

All HMC Faculty Publications and Research

Quick proofs are given for the characterization (due to Schay, Raver, Hanan, and Palermo) of the collision distance of a linear hashing function and for a dual function (called the restriction distance), which relates to the accessibility of addresses by sets of keys and the uniform distribution of sets of keys over addresses.


The Influence Of Harvest Rate And Drying Time On Grain Drying And Storage Facility Selection, Thomas C. Bridges, Otto J. Loewer Jr., Douglas G. Overhults Jan 1979

The Influence Of Harvest Rate And Drying Time On Grain Drying And Storage Facility Selection, Thomas C. Bridges, Otto J. Loewer Jr., Douglas G. Overhults

Biosystems and Agricultural Engineering Faculty Publications

No abstract provided.


The Total Negation Of A Topological Property, Paul Bankston Jan 1979

The Total Negation Of A Topological Property, Paul Bankston

Mathematics, Statistics and Computer Science Faculty Research and Publications

No abstract provided.


A Computer Model For Evaluating Corn Harvesting, Handling, Drying And Storage Systems, Thomas C. Bridges, Otto J. Loewer Jr., John N. Walker, Douglas G. Overhults Jan 1979

A Computer Model For Evaluating Corn Harvesting, Handling, Drying And Storage Systems, Thomas C. Bridges, Otto J. Loewer Jr., John N. Walker, Douglas G. Overhults

Biosystems and Agricultural Engineering Faculty Publications

No abstract provided.


The Cusp Catastrophe And The Laws Of Dialectics, Martin Zwick Jan 1979

The Cusp Catastrophe And The Laws Of Dialectics, Martin Zwick

Complex Systems Faculty Publications and Presentations

The three classical "laws" of dialectics of Hegel and Engels, ( 1) the transformation of quantity into quality, (2) the interpenetration of opposites, and (3) the negation of the negation, can be given precise meanings in terms of the Catastrophe Theory of Rene Thom and E. C. Zeeman. This suffices to counter the charge that dialectics is scholasticism or empty metaphysics, but does not support claims of universality for the dialectical principles, nor guarantee the validity of any particular application of these principles.