scholarly journals Game Semantics in Teaching of Classical First Order Predicate Logic to Stu- dents of Computer Science

2018 ◽  
Vol 210 ◽  
pp. 04007 ◽  
Author(s):  
Jana Glivická

Game-theoretical interpretation of logical semantics has been first suggested in 1950s. Although it is well know among professionals, it is often excluded from introductory courses in logic. In this paper we examine whether and to what extent would including game semantics in the syllabus of an introductory course of predicate and propositional logic prove to be beneficial to students’ understanding of the subject. To that purpose, we have exposed two groups of undergraduate students of computer science to game semantics as part of recitations for the course Propositional and Predicate Logic. We focus mainly on how this affects students’ mastery of two particular topics – alternating quantification and restricted quantification. Observations were made during the recitations to evaluate any changes in students’ approach to solving relevant problems in classroom. Moreover, before the final test of the recitations one of the groups was given a brief review of game semantics and the other was not. We have measured the difference in performance of these two groups and the results support the hypothesis that game semantics helps students master certain topics of predicate logic. We reference some of the later research in psychology and pedagogy to help us explain this effect.

2022 ◽  
Vol 20 (1) ◽  
pp. 14-26
Author(s):  
Maria Czajkowska-Białkowska

The crisis caused by COVID-19 has increased interest to the subject of integrity in organizations. The purpose of this study is to conduct a comparative analysis of the opinions on the value of honesty, broken down by the group of supervisors and subordinates during the crisis caused by COVID-19. The analysis was carried out in Poland among undergraduate students pursuing a bachelor’s degree in fields representing disciplines other than management. The paper used a survey method; 102 respondents took part in the survey. 9.52% of men and 5.00% of women in the group of subordinates did not have opinions on this subject. In the group of supervisors, the situation was completely opposite: 6.25% of women and 4.76% of men showed such a result. Significant discrepancies were noticed in the assessment of the importance of honesty depending on the education field of the respondents. The difference between the highest assessments of the importance of this value was 33.70 percentage points in the supervisors’ group, and 38.64 percentage points in the subordinates group. Drawing attention to this problem, which affects all participants of an organization to a different extent, may help to shape the ethical attitudes of future managers and, in consequence, manage their organizations better.


Author(s):  
Alex Oliver ◽  
Timothy Smiley

Plural phenomena are significant and inescapable. Granted, the plural idiom is sometimes reducible to the singular, e.g. ‘2 and 3 are prime is equivalent to ‘2 is prime and 3 is prime’. ‘Are prime’, however, belongs to the special class of predicates known as distributives. No such reductions are possible for the general case of collective (nondistributive) predicates, and they are to be found everywhere, from the everyday (‘Whitehead and Russell wrote Principia Mathematica’) to the heart of logic itself (‘The axioms are consistent’, ‘Those premises imply this conclusion’). It is no good dismissing grammatical number as a logically irrelevant complication like person or gender, since plural expressions are crucially involved in valid patterns of argument. To take an elementary example, ‘The Brontë sisters supported one another; the Brontë sisters were Anne, Charlotte and Emily; so Anne, Charlotte and Emily supported one another’. There can be no warrant for ignoring such patterns while attending to their singular counterparts. And some arguments do not even have a singular counterpart. For example, ‘Some numbers are prime. So some numbers are such that they are prime and a number is prime only if it is one of them.’ Logicians wedded to the singular logic of the predicate calculus typically try to dodge the issue of plurals by invoking sets, but we shall see that this is untenable. Socrates exploited the difference between distributive and collective predicates in Hippias Major, but little of interest happened subsequently until Russell put plurals at the centre of his project for providing a foundation for mathematics, through his idea of the ‘class as many’ in The Principles of Mathematics. After another fallow period, the subject revived in the 1970s and 80s with the work of Black, Morton, Sharvy, Simons and Boolos. It would be premature to attempt a comprehensive survey. This entry offers a nontechnical outline of plural predicate logic, including the major differences between it and singular logic and some matters still to be resolved.


Physics is ruminated to be the backbone of every Engineering stream. However, students pursuing computer science Engineering have an altogether different perception of the subject in terms of nature of knowledge and its future implications in their field of study. They are very apprehensive in stipulated learning of the subject as there exists a common belief that algorithm and program designing requires no prior knowledge of Physics or Physics laboratory and it is merely a superfluous subject laden upon them in their introductory year of Engineering. In this present manuscript, efforts are being made to explore their epistemological beliefs and expectations about the subject. In order to explore the anticipations and attitudes in learning Physics by these students, the Maryland Physics Expectation Survey (MPEX Survey) and the Engineering Physics Survey (EP Survey) has been tested for both their rationality and dependability. The EP Survey is specifically designed by the one author (N.H.) to determine the perceptions, beliefs and expectations of Computer Science Engineering students from the subject Engineering Physics. Parametric and non-parametric tests were applied to the clusters. A deep cluster wise analysis of all the items in both the surveys clearly pointed out to the fact that the students who liked Physics at school level have positive responses which are similar to that of experts and are highly motivated in learning the subject. However, the percentage of these students is quite low. Conversely, students who disliked Physics at school level carry the same perception while pursuing Engineering as well and they find no rationale in understanding the importance of this subject. Thus, the role of a school Physics teacher is pivotal in generating interest amongst students for the subject as otherwise the long –term implications at higher levels of study turn out to be very severe.


2000 ◽  
Vol 86 (3_suppl) ◽  
pp. 1139-1146 ◽  
Author(s):  
J. E. Sheasby ◽  
J. H. Barlow ◽  
L. A. Cullen ◽  
C. C. Wright

After 30 years of use the factor structure of the Rosenberg Self-esteem Scale remains the subject of debate. Most studies have focused on school-aged or undergraduate students. There are few psychometric data for older people or for those with disabilities. This study compared the factor structures of the Rosenberg Self-esteem Scale among 117 adults with arthritis and 185 undergraduate students. A two-factor solution provided the best fit for both samples, although the item content of the factors differed slightly Further investigation is required to assess whether the difference is due to age or the presence of physical disability. Nonetheless, the scale discriminated well between students and adults with arthritis.


2000 ◽  
Vol 86 (3_part_2) ◽  
pp. 1139-1146 ◽  
Author(s):  
J. E. Sheasby ◽  
J. H. Barlow ◽  
L. A. Cullen ◽  
C. C. Wright

After 30 years of use the factor structure of the Rosenberg Self-esteem Scale remains the subject of debate. Most studies have focused on school-aged or undergraduate students. There are few psychometric data for older people or for those with disabilities. This study compared the factor structures of the Rosenberg Self-esteem Scale among 117 adults with arthritis and 185 undergraduate students. A two-factor solution provided the best fit for both samples, although the item content of the factors differed slightly. Further investigation is required to assess whether the difference is due to age or the presence of physical disability. Nonetheless, the scale discriminated well between students and adults with arthritis.


2010 ◽  
Vol 20 (1) ◽  
pp. 10-14 ◽  
Author(s):  
Evelyn R. Klein ◽  
Barbara J. Amster

Abstract A study by Yaruss and Quesal (2002), based on responses from 134 of 239 ASHA accredited graduate programs, indicated that approximately 25% of graduate programs in the United States allow students to earn their degree without having coursework in fluency disorders and 66% of programs allow students to graduate without clinical experience treating people who stutter (PWS). It is not surprising that many clinicians report discomfort in treating PWS. This cross-sectional study compares differences in beliefs about the cause of stuttering between freshman undergraduate students enrolled in an introductory course in communicative disorders and graduate students enrolled and in the final weeks of a graduate course in fluency disorders.


Author(s):  
Mihály Bakonyi ◽  
Hugo J. Woerdeman

Intensive research in matrix completions, moments, and sums of Hermitian squares has yielded a multitude of results in recent decades. This book provides a comprehensive account of this quickly developing area of mathematics and applications and gives complete proofs of many recently solved problems. With MATLAB codes and more than two hundred exercises, the book is ideal for a special topics course for graduate or advanced undergraduate students in mathematics or engineering, and will also be a valuable resource for researchers. Often driven by questions from signal processing, control theory, and quantum information, the subject of this book has inspired mathematicians from many subdisciplines, including linear algebra, operator theory, measure theory, and complex function theory. In turn, the applications are being pursued by researchers in areas such as electrical engineering, computer science, and physics. The book is self-contained, has many examples, and for the most part requires only a basic background in undergraduate mathematics, primarily linear algebra and some complex analysis. The book also includes an extensive discussion of the literature, with close to six hundred references from books and journals from a wide variety of disciplines.


2018 ◽  
Author(s):  
Antoine Taly ◽  
Francesco Nitti ◽  
Marc Baaden ◽  
samuela pasquali

<div>We present here an interdisciplinary workshop on the subject of biomolecules offered to undergraduate and high-school students with the aim of boosting their interest toward all areas of science contributing to the study of life. The workshop involves Mathematics, Physics, Chemistry, Computer Science and Biology. Based on our own areas of research, molecular modeling is chosen as central axis as it involves all disciplines. In order to provide a strong biological motivation for the study of the dynamics of biomolecules, the theme of the workshop is the origin of life. </div><div>All sessions are built around active pedagogies, including games, and a final poster presentation.</div>


2017 ◽  
Vol 1 (2) ◽  
pp. 137
Author(s):  
Noorlela Binti Noordin ◽  
Abdul Razaq Ahmad ◽  
Anuar Ahmad

This study was aimed to evaluate the Malay proficiency among students in Form Two especially non-Malay students and its relationship to academic achievement History. To achieve the purpose of the study there are two objectives, the first is to look at the difference between mean of Malay Language test influences min of academic achievement of History subject among non-Malay students in Form Two and the second is the relationship between the level of Malay proficiency and their academic achievement for History. This study used quantitative methods, which involved 100 people of Form Two non-Malay students in one of the schools in Klang, Selangor. This study used quantitative data were analyzed using descriptive statistics and statistical inference with IBM SPSS Statistics v22 software. This study found that there was a relationship between the proficiency of Malay language among non-Malay students with achievements in the subject of History. The implications of this study are discussed in this article.


2019 ◽  
pp. 74-98
Author(s):  
A.B. Lyubinin

Review of the monograph indicated in the subtitle V.T. Ryazanov. The reviewer is critical of the position of the author of the book, believing that it is possible and even necessary (to increase the effectiveness of General economic theory and bring it closer to practice) substantial (and not just formal-conventional) synthesis of the Marxist system of political economy with its non-Marxist systems. The article emphasizes the difference between the subject and the method of the classical, including Marxist, school of political economy with its characteristic objective perception of the subject from the neoclassical school with its reduction of objective reality to subjective assessments; this excludes their meaningful synthesis as part of a single «modern political economy». V.T. Ryazanov’s interpretation of commodity production in the economic system of «Capital» of K. Marx as a purely mental abstraction, in fact — a fiction, myth is also counter-argued. On the issue of identification of the discipline «national economy», the reviewer, unlike the author of the book, takes the position that it is a concrete economic science that does not have a political economic status.


Sign in / Sign up

Export Citation Format

Share Document