Digital Commons Network^™

Logic And Proof For Mathematicians: A Twentieth Century Perspective, Calvin Jongsma

Faculty Work Comprehensive List

If there is one aspect of mathematics education that frustrates both students and teachers alike, it has got to be learning how to do valid proofs. Students often feel they really know the mathematics they're studying but that their teachers place some unreasonably stringent demands upon their arguments. Teachers, on the other hand, can't understand where their students get some of the wacky arguments they come up with. They argue in circles, they end up proving a different result from what they claim, they make false statements, they draw invalid inferences - it can be quite exasperating at times! Unfortunately, …

The Annual Meeting Of The Iowa Academy Of Science April 24-25, 1987 [Program, 99th Meeting], Iowa Academy Of Science

Iowa Academy of Science Documents

Program Contents:

Program Summary --- 4
General Session Speakers --- 9
Awards --- 12
Distinguished Fellow --- 12
Distinguished Iowa Scientist --- 13
Distinguished Service --- 14
Symposia Programs --- 15
Workshops/Discussions --- 20
Meetings --- 23
Tours/Demonstrations/Field Trips --- 24
Video Film Preview --- 25
Poster Papers --- 26
Campus Map --- Centerfold
Section Programs --- 29
Agricultural Sciences --- 30
Anthropology --- 32
Biotechnology --- 33
Botany --- 36
Chemical Education --- 41
Chemistry, Inorganic --- 42
Chemistry, Organic --- 45
Conservation --- 46
Elementary Science --- 47
Engineering --- 48
Geology --- 52
Linguistics --- 55
Nursing …

Santa Clara Magazine, Volume 29 Number 3, Spring 1987, Santa Clara University

Santa Clara Magazine

10 - AROUND THE WORLD IN 500 DAYS How and why Mike Brozda stepped off the treadmill and onto the "road less traveled." By Mike Brozda

16 - TURNING OFF TV's MIND-SET Confessions of a "cultural heretic" who turned off TV and selected a different channel. By Mitch Finley

19 - ADVOCATE FOR THE UNDERDOG Peter Conk '71, as seen through the eyes of faculty friend and mentor, Father Tenny Wright, S.J. By Tennant C. Wright, S.J.

24 - LETTING GO A three-step lesson in the fine art of delegation on the way to becoming a leader. By Timothy W. …

The Probe, Issue 71 - March/April 1987

The Probe: Newsletter of the National Animal Damage Control Association

Contents:
EPA audit of the Denver Wildlife Research Center
APHIS Activity Report
Golf Handicaps
APHIS Wins Award
Great Plains Workshop
Letters to the Editor
"Home Free," ultrasonic pest control devices
Trapping in Wilderness Areas
Fur and Beauty Pageants

An Essay On The Formation And Dynamics Of The Marketed Surplus And Price Of Foodgrains., Vathsala Narasimhan Dr.

Doctoral Theses

The the sde is baadcally a methodological exploration of the field we have Celled the ti end d eted and price of foodgrains. The object ie basically to develop a framework of thought, developing alongaide the toola, concepte and methods necessary for the purpose. In doing this we keep entirely to the baaic structure of the field as ve see it, which is defined in reference to a few bare elenentary facts pertaining to our general context of reference the rest is simply abstracted from. Our whole approach 1a thus 8crictiy anRALA mothodology is oxplored within boundaries that we ourselves …

Perception Of A Quadrilaleral, Chia-Hoang Lee

Department of Computer Science Technical Reports

No abstract provided.

An Attribute-Grammar Implementation Of Government-Binding Theory, Nelson Correa

Electrical Engineering and Computer Science - All Scholarship

The syntactic analysis of languages with respect to Government binding (GB) grammar is a problem that has received relatively little attention until recently. This paper describes an attribute grammar specification of the Government binding theory. The paper focuses on the description of the attribution rules responsible for determining antecedent trace relations in phrase-structure trees, and on some theoretical implications of those rules for the GB model. The specification relies on a transformation-le variant of Government "binding theory, briefly discussed by Chomsky (1981), in which the rule move-a is replaced by an interpretive rule. Here the interpretive rule is specified by …

Maritime Boundaries Between Trinidad And Tobago/Venezuela/Barbados And Grenada - Its Impact On Offshore Oil, Patty Marajh

Marine Affairs Theses and Major Papers

The future of the economy of Trinidad and Tobago is heavily dependent upon the exploitation of the hydrocarbon resources in its continental shelf. Trinidad's geographical proximity to the Venezuelan mainland is relevant because both states share the same continental shelf in areas not delimited by the 1942 gulf of Paria Treaty. The continental shelves of Barbados and Grenada also intersect and these areas have not been delimited and defined by any agreement. The current expansion of the exploration and exploitation of crude oil and natural gas have raised several problems within recent years. This thesis will focus attention to the …

Santa Clara Magazine, Volume 29 Number 2, Winter 1987, Santa Clara University

Santa Clara Magazine

9 - CAMPAIGN FINANCING A look at what's wrong with modern campaigns and a creative, alternative approach to financing them. By Timothy J. Lukes

13 - TRADITION SHATTERED One hundred women broke the all male tradition at SCU 25 years ago. They returned to the campus to celebrate. By Barbara Wyman

18 - PAUL AQUINO: 0 & A Paul Aquino '65 talks about his famous sister-in-law, Cory, his family, and life in the Philippines.

21 - A YEAR FOR OTHERS Seven 1986 graduates chose to spend this year with the ·Jesuit Volunteers. They talk about what it's like. By Julie …

Ua35/11 Student Honors Research Bulletin, Wku Honors Program

WKU Administration Documents

The WKU Student Honors Research Bulletin is dedicated to scholarly involvement and student research. These papers are representative of work done by students from throughout the university.

• Baum, Carole. A Glance at Phenomenology and Its Approach to Literary Criticism, 1987
• Coble, Terrell. Personality Determinants: Research Results and Implications for Intervention, 1987
• Crase, Kim. Recent Developments in Products Liability, 1987
• Flora, Joan. Simms's Frontier Characters, 1987
• Ford, Doug, David Gray and Nick Nauman. Right-to-Work Laws, 1987
• Gray, Michael. Through Pontormo's Eyes, 1987
• Jackson, Jewel. Is Creativity Teachable? 1987
• Logsdon, Doug. James I as King Lear, 1987
• Schneringer, Joseph. Weather Stations in …

Ua56/1 Fact Book, Wku Institutional Research

WKU Administration Documents

Statistical and demographic profile of WKU.

Proof And Intuition, Michael Detlefsen

ACMS Journal 2004

This paper aims to give a clear exposition of two critiques of logicism. The intuitionist, Brouwer, is best known for rejecting the law of the excluded middle (his "special critique.") The paper argues that Brouwer's "general critique" is deeper and more extensive than this. That is, Brouwer is arguing that mathematical knowledge requires a kind of direct mathematical experience, analogous to sensory experience and this cannot be attained simply by linguistic operations independently of experience. It also discusses Poincare's critiques - that there is a huge difference between genuine mathematical insight and an ability to logically manipulate mathematical truths and …

Iowa Academy Of Science Directory, 1987-88: Officers, Committees, And Membership Roster, Iowa Academy Of Science

Iowa Academy of Science Documents

Contents:

Board of Directors ... 5
Program Directors ... 6
Editors ... 7
Committees ... 8
Sections ... 25
Award Recipients ... 55
Past Presidents ... 57
Membership Roster ... 59
Constitution and Bylaws ... 71
Meeting Dates ... 83

1987-1988 Nova University In Brief, Nova Southeastern University

Undergraduate Programs Course Catalogs

No abstract provided.

Nova University Doctor Of Education In Computer Education [1987], Nova University

Abraham S. Fischler College of Education and School of Criminal Justice College Archive

No abstract provided.

Strategic Planning For A Special Library, Donald A. Guerriero

CCAC Theses and Dissertations

STRATEGIC PLANNING FOR A SPECIAL LIBRARY

The Technical and Management Information Center of the U.S. Defense Communications Agency is a special library providing worldwide library and information services in the subject fields of communications, electronics, command and control, and computer sciences. A project was designed with the objective of developing a strategic plan for this library. Long-range and strategic planning methods commonly used in business organizations were used. An extensive review of the literature on strategic planning was done to determine the best methods available for use in a special library environment. The methods used to develop the strategic plan …

Assessment Of Influence That The Church Of Jesus Christ Of Latter-Day Saints Has On Exercise Habit Of Members Living In Utah County, Gary L. Preston

Theses and Dissertations

This study identified and analyzed the influence the Church of Jesus Christ of Latter-day Saints had on the decision of 309 respondents to exercise. The data obtained from the questionaires were analyzed using chi-square to compare males and females. Within the limitations of this study, the following conclusions were justified: women were more influenced by the LDS Church to exercise than men; LDS males and females exercised more than average American adults; walking, jogging, and aerobic dance were the most popular choices of LDS exercisers; and, there is a need to improve the awareness of LDS members concerning the Physical …

Do We Really Know What Makes Educational Software Effective? A Call For Empirical Research On Effectiveness, Karen Jolicoeur, Dale E. Berger

CGU Faculty Publications and Research

Empirical information on specific factors that make educational software effective in reaching instructional objectives would be of considerable value. The authors describe the current state of evaluation research with educational software and discuss how popular software review methods fall short of meeting our need to know how well specific programs work.

An Investigation Of Resolution And Addressability Requirements For Digital Display Systems Used In Word-Processing And Computer-Aided-Drafting Applications, Stephen T. Knox

Dissertations and Theses

Two hardware factors contributing to the overall image quality of digital CRTs are display resolution and addressability. The relationship between these two factors and human performance was modeled by a metric of display quality, the Resolution Addressability Ratio (RAR), and investigated within the contexts of Word-Processing (WP) and Computer-Aided-Drafting (CAD) tasks. The findings indicate a perceptual limit to MTF bandwidth improvements, and significant differences in display quality requirements between the two applications. The regression of image quality as a function of RAR metric values resulted in an r² = 0.94 for the WP task and an r² = 0.79 for …

Santa Clara Magazine, Volume 29 Number 1, Fall 1986, Santa Clara University

Santa Clara Magazine

10 - IS SANTA CLARA STILL JESUIT? Declining vocations prompt this recurring question. Some of the faculty discuss what makes Santa Clara Jesuit to them. By Peg Major

16 - DON'T CALL ME MR. MOM Taking over the day care of his two tiny daughters while his wife worked provided this alumnus new insight on fatherhood. By Jim Craven

21 - PERSPECTIVES OF A PATRIARCH The spotlight is on Tom Bannan, class of '23, who started the procession of Bannans to Santa Clara. BY Paul Hennessy

26 - HOW NOT TO MAKE MONEY ON THE STOCK MARKET A guide to …

Computers And The Nature Of Man: A Historian's Perspective On Controversies About Artificial Intelligence, Judith V. Grabiner

Pitzer Faculty Publications and Research

The purpose of the present paper is to provide a historical perspective on recent controversies, from Turing's time on, about artificial intelligence, and to make clear that these are in fact controversies about the nature of man. First, I shall briefly review three recent controversies about artificial intelligence, controversies over whether computers can think and over whether people are no more than information-processing machines. These three controversies were each initiated by philosophers who, irrespective of what the programs of their time actually did, viewed with alarm the argument that if a machine can think, a thinking being is just a …

Student Profile, Fall 1986, Division Of Student Affairs, Wright State University, Dayton, Ohio, Office Of Student Information Systems, Wright State University

Wright State University Student Fact Books

The student profile fact book has general demographic information on all students enrolled at Wright State University for Fall Quarter, 1986.

Resource Letter Cpe-1: Computers In Physics Education, Robert Fuller

Robert G. Fuller Publications

This resource letter provides a source of information for physics teachers who wish to use computers in physics education. The letter "E” after a reference indicates a relatively elementary item useful for people just beginning to develop an interest in using computers; the letter "I" denotes intermediate level references for people who have already mastered the specialized vocabulary of computer uses; and the letter "A" denotes advanced material for people who have experience using computers in physics teaching. This letter code does not refer to the level of the physics concepts discussed in any of the articles. An asterisk (*) …

Weihnacht And Its Variants As Personal And Place Names, David S. Wulfman

Chemistry Faculty Research & Creative Works

No abstract provided.

A Formal Grammar Approach To Human Factors Research, Herbert E. Dunsmore

Department of Computer Science Technical Reports

No abstract provided.

Genesis Of An Expert System For Umr Degree Auditing, Ruth Sue Dare, Arlan R. Dekock

Computer Science Technical Reports

This paper describes the features, design, and development of an expert system for degree auditing at the University of Missouri--Rolla. It summarizes artificial intelligence as it is known today while specifically addressing expert systems. It describes selected expert systems currently in existence.

The present audit procedure utilized at the University of Missouri--Rolla is discussed. A description is given of the design and development of an expert system, written in LISP, to conduct a degree audit. Finally there are concluding remarks which include an analysis of the system and a discussion of possible system enhancement.

A Computerized Audio-Visual Speech Model, Joaquin Alberto Vila Ruiz, Arlan R. Dekock

Computer Science Technical Reports

This thesis describes an expert system able to animate (graphically) and reproduce (acoustically) a text in any language which uses the Latin alphabet. A rule editor has been developed to create and modify the set of letter-to-sound rules of the target language. A parser has been implemented to apply the set of rules and translate text-to-speech. Each phoneme has a unique sound and thus requires its particular positioning of the vocal organs which are displayed in two different projections: a front view and a profile cross view of a human face in synchronization with the output sounds of the speech …

A Model For Assessing The Visual Resources Of River Basins As An Aid To Making Landuse Planning Decisions, Thomas J. Nieman, Diane S. Meshako, David Walters, Molly M. Davis, Cindy C. Elliot

KWRRI Research Reports

The visual quality of a river basin and its associated properties can be identified, evaluated and integrated into the landscape planning process. The model developed provides a quantitative methodology for determining visual quality on the basis of available Geographic Information System factors. These factors are utilized to develop the preference attributes, COLOR, FORM, TEXTURE and LINE, which are associated with the assessment of visual quality. The preference attributes are then combined through a decision making process into a continuum of DISTINCTIVE, GOOD, AVERAGE and MINIMAL visual quality and is expressed digitally in map format. By providing visual quality information in …

Changing Patterns Of Water Use In The West: Pressures On The System, David H. Getches

Western Water: Expanding Uses/Finite Supplies (Summer Conference, June 2-4)

17 pages.

Data Structure For The Use Of Patterns In The Perceptual Ordering Of The Game Of Chess, Russ L. Hanna, Arlan R. Dekock

Computer Science Technical Reports

It is well known that the way one perceives a problem can influence the difficulty of solving the problem in a profound way. In the case of computer chess playing programs, one finds that most programs perceive the game in much the same way. They are all based on Shannon's original proposal for chess playing programs. His approach was to generate all of the possible combinations of moves up to a certain number of plays and then a subset of all combinations to a deeper level thereafter. Each of these moves would then be evaluated as to its relative worth. …