Results for 'Proof tutoring'

995 found
Order:
  1. Zur Frage der Erkenntnis der Existenz bei Christian Wolff.Juan Ignacio Gómez Tutor - 2022 - Studia Leibnitiana 54 (2):184-204.
    The paper first examines the difference between Wolff’s demonstration of my present existence and Descartes’ intuitive connection of my thinking with my existence. The results of this investigation enable us to analyse two controversial answers to the question of the knowledge of existence in Wolff’s works. The first answer is from Jürgen Stolzenberg, who discusses Wolff’s proof of the statement: I am. The second is written by Luigi Cataldi Madonna, who investigates the concept of contingent existence in Wolff’s works. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  20
    Proof Step Analysis for Proof Tutoring -- A Learning Approach to Granularity.Marvin Schiller, Dominik Dietrich & Christoph Benzmüller - 2008 - Teaching Mathematics and Computer Science 6 (2):325-343.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  5
    Granularity analysis for tutoring mathematical proofs.Marvin R. G. Schiller - 2011 - [Heidelberg]: AKA Verlag.
    Rigorous formal proof is one of the key techniques in the natural sciences, engineering, and of course also in the formal sciences. Progress in automated reasoning increasingly enables computer systems to support, and even teach, users to conduct formal a.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  14
    Natural Language Dialog with a Tutor System for Mathematical Proofs.Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayova, Manfred Pinkal, Jörg Siekmann & Magdalena Wolska - 2007 - In Ruqian Lu, Jörg Siekmann & Carsten Ullrich (eds.), Cognitive Systems: Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers. Springer. pp. 1-14.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  14
    Students' language in computer-assisted tutoring of mathematical proofs.Magdalena A. Wolska - 2015 - Saarbrücken: Universaar.
  6.  46
    Searching for Proofs.Wilfried Sieg & Richard Scheines - unknown
    The Carnegie Mellon Proof Tutor project was motivated by pedagogical concerns: we wanted to use a "mechanical" (i.e. computerized) tutor for teaching students..
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  84
    Granularity Analysis for Mathematical Proofs.Marvin R. G. Schiller - 2013 - Topics in Cognitive Science 5 (2):251-269.
    Mathematical proofs generally allow for various levels of detail and conciseness, such that they can be adapted for a particular audience or purpose. Using automated reasoning approaches for teaching proof construction in mathematics presupposes that the step size of proofs in such a system is appropriate within the teaching context. This work proposes a framework that supports the granularity analysis of mathematical proofs, to be used in the automated assessment of students' proof attempts and for the presentation of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. Die Interpretation des kantischen Apriorismus in Poppers Frühwerk.J. J. Gomez Tutor - 1989 - Studi Kantiani 2:97-116.
    No categories
     
    Export citation  
     
    Bookmark  
  9.  6
    Die wissenschaftliche methode bei Christian Wolff.Gómez Tutor & Juan Ignacio - 2004 - New York: G. Olms.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  30
    Die Atomistik bei Ludwig Boltzmann. Zur wissenschaftlichen und philosophischen Bedeutung einer kontroversen Position am Ende des 19. Jahrhunderts.Juan Ignacio GÓMez Tutor - 2004 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 35 (2):371-384.
    The atomic hypothesis according to Ludwig Boltzmann. The scientific and philosophical importance of a controversial position at the close of the 19th century. This paper examines Boltzmann’s standpoint in the controversy over the existence of atoms between himself on the one hand and Mach, Ostwald, Helm and to some extent Duhem on the other hand. The latter wanted to develop a physics only constructed with perceptible phenomena. Because of the lack of empirical evidence of the atoms at that time they (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  47
    Definitions- und Begriffslehre in Camaps Konstitutionstheorie.Juan Ignacio Gómez Tutor - 1999 - Grazer Philosophische Studien 57 (1):151-166.
    Es wird versucht, die Camapsche Definitions- und Begriffslehre darzustellen, die er bei der Entwicklung seiner Konstitutionstheorie aufstellte. Camap unterscheidet zwei Hauptteile der Definitions- und Begriffslehre: den Abschnitt, der zum Konstitutionssystem gehört, und den Abschnitt, der nicht dazu gehört. Die Definitionslehre besteht wiederum aus zwei zentralen Definitionsarten: der Strukturbeschreibung, mit der das Konstitutionssystem aufgebaut wird, und der impliziten Definition, die außerhalb des Konstitutionssystems steht. Auch die Begriffslehre läßt sich in zwei Hauptgruppen unterteilen: in die eigentlichen Begriffe, die die Begriffe des Konstitutionssystems (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  13
    Definitions- und Begriffslehre in Camaps Konstitutionstheorie.Juan Ignacio Gómez Tutor - 1999 - Grazer Philosophische Studien 57 (1):151-166.
    Es wird versucht, die Camapsche Definitions- und Begriffslehre darzustellen, die er bei der Entwicklung seiner Konstitutionstheorie aufstellte. Camap unterscheidet zwei Hauptteile der Definitions- und Begriffslehre: den Abschnitt, der zum Konstitutionssystem gehört, und den Abschnitt, der nicht dazu gehört. Die Definitionslehre besteht wiederum aus zwei zentralen Definitionsarten: der Strukturbeschreibung, mit der das Konstitutionssystem aufgebaut wird, und der impliziten Definition, die außerhalb des Konstitutionssystems steht. Auch die Begriffslehre läßt sich in zwei Hauptgruppen unterteilen: in die eigentlichen Begriffe, die die Begriffe des Konstitutionssystems (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13.  6
    Dominaciones y Potestades, de G. Santayana: una introducción.Andrés Tutor de Ureta - 2012 - Astrolabio 13:454-461.
  14.  52
    Isaiah Berlin on Positive Freedom.Andrés Tutor - 2018 - International Philosophical Quarterly 58 (4):407-422.
    The aim of this article is to provide a critical examination of Berlin’s treatment of positive freedom by offering a review of his standard arguments against this concept. Throughout his essays and particularly in “Two Concepts of Liberty” Berlin connects the idea of positive freedom with such notions as monism, rationalism, and determinism. Each of these connections will be discussed separately. I will argue that most of Berlin’s arguments against positive liberty are somehow flawed. Although Berlin valued positive freedom as (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15. On the concept of proof in elementary geometry Pirmin stekeler-weithofer.Proof In Elementary - 1992 - In Michael Detlefsen (ed.), Proof and Knowledge in Mathematics. New York: Routledge.
     
    Export citation  
     
    Bookmark  
  16.  23
    Dominaciones y Potestades , de G. Santayana: una introducción.Andrés Tutor de Ureta - 2012 - Astrolabio 13:454-461.
    El siguiente artículo se propone llevar a cabo una introducción crítica a una de las obras más difíciles del filósofo español Jorge Santayana. En primer lugar señalaré la importancia de la perspectiva teórica materialista de Santayana, aclararé a continuación el significado de los términos psique, Voluntad y espíritu, tres conceptos fundamentales para entender el escrito, así como el de las nociones de Dominación y de Potestad, analizando en último lugar la estructura tripartita de la obra. Confío en que el presente (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  17.  25
    Incompatibility, Incommensurability, and Rationality in Value Pluralism: Isaiah Berlin’s Case.Andrés Tutor de Ureta - 2018 - The European Legacy 24 (2):146-161.
    ABSTRACTIsaiah Berlin’s idea of value pluralism has been extensively discussed in recent decades. However, there is still much controversy about the actual meaning and implication of the terms “incompatibility” and “incommensurability” when applied to values. This article analyses the Berlinian concept of value pluralism from a theoretical point of view and argues that, following Berlin’s work, incompatibility should be defined as the impossibility of two ends being combined at a maximum level―though it is possible to find compromises between them when (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18. Tres elementos fundamentales en la idea de nacionalismo de Isaiah Berlin.Andrés Tutor de Ureta - 2009 - Astrolabio 9:225-230.
     
    Export citation  
     
    Bookmark  
  19.  11
    Curriculum Materials Reviews.Jane Hawkins, Early Years Staff Tutor & U. K. Coventry Education Authority - 1995 - Journal of Moral Education 24 (2):205.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  16
    Divulgación y formación en nanotecnología: un puente hacia la bioética.Joaquín Darío Tutor Sánchez - 2016 - Escritos 24 (53):483-506.
    The aim of the article is to analyze the role played by popularization and training within nanotechnology as a mean to build a bridge between Nanosciences and Nanotechnologies; its applications in Biology, Biotechnology and Health Care Industry; and the object of study of Bioethics, mainly its general view. The article begins with a brief presentation of the basic concepts of Bioethics; of the paradigm of the relationship between science, technology and society; and of the contribution of general scientific and technological (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  14
    The AProS Project: Strategic Thinking & Computational Logic.Wilfried Sieg - 2007 - Logic Journal of the IGPL 15 (4):359-368.
    The paper discusses tools for teaching logic used in Logic & Proofs, a web-based introduction to modern logic that has been taken by more than 1,300 students since the fall of 2003. The tools include a wide array of interactive learning environments or cognitive mini-tutors; most important among them is the Carnegie Proof Lab. The Proof Lab is a sophisticated interface for constructing natural deduction proofs and is central, as strategically guided discovery of proofs is the distinctive focus (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  22.  13
    The Authorship of the περ Τψονς.G. C. Richards - 1938 - Classical Quarterly 32 (3-4):133-.
    It is hardly necessary to recapitulate Rhys Roberts' cumulative and convincing proof that the treatise ‘On the Sublime’ was not written by Cassius Longinus, the tutor of Zenobia, but belongs to the early days of the Empire. Not the least convincing of the arguments for this date is the fact that the treatise is suggested by and put out as a substitute for the Περ ״ϒψоνς of Caecilius of Calacte, who according to Suidas taught rhetoric in Rome in the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  13
    Ash’arī Theologian Miklātī’s Some Theological Views in the Context of Lubāb al-uqūl.Vezir Harman - 2016 - Cumhuriyet İlahiyat Dergisi 20 (1):167-202.
    Ebu’l-Ḥajjāj Yusuf b. Muhammad al-Miklâtî is an Ash’arî scholar who lived between the years 550-626 (1155-1229). He has a work entitled Lubāb al-ʿuqūl fī radd ʿalā al-falāsifa fī ʿilm al-uṣūl to defend the opinions of Ahl al-Sunnah by criticizing philosophical views. Miklātī is one of the most important figures who lived in the Muvahhidī state. He is a professor who contributed to learning of Ash’arī kalām system in the North Africa and Andalusia. But today it has not been demonstrated. Therefore, (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24.  40
    Proof theory of modal logic.Heinrich Wansing (ed.) - 1996 - Boston: Kluwer Academic Publishers.
    Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  25. DES-Tutor: An Intelligent Tutoring System for Teaching DES Information Security Algorithm.Abed Elhaleem A. Elnajjar & Samy S. Abu Naser - 2017 - International Journal of Advanced Research and Development 2 (1):69-73.
    : Lately there is more attention paid to technological development in intelligent tutoring systems. This field is becoming an interesting topic to many researchers. In this paper, we are presenting an intelligent tutoring system for teaching DES Information Security Algorithm called DES-Tutor. The DES-Tutor target the students enrolled in cryptography course in the department Information Technology in Al-Azhar University in Gaza. Through DES-Tutor the student will be able to study course material and try the exercises of each lesson. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  26. ARDUINO Tutor: An Intelligent Tutoring System for Training on ARDUINO.Islam Albatish, Msbah J. Mosa & Samy S. Abu-Naser - 2018 - International Journal of Engineering and Information Systems (IJEAIS) 2 (1):236-245.
    This paper aims at helping trainees to overcome the difficulties they face when dealing with Arduino platform by describing the design of a desktop based intelligent tutoring system. The main idea of this system is a systematic introduction into the concept of Arduino platform. The system shows the circuit boards of Arduino that can be purchased at low cost or assembled from freely-available plans; and an open-source development environment and library for writing code to control the board topic of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  27. ADO-Tutor: Intelligent Tutoring System for leaning ADO.NET.Ibrahim A. El Haddad & Samy S. Abu Naser - 2017 - EUROPEAN ACADEMIC RESEARCH 4 (10).
    This paper describes an Intelligent Tutoring System for helping users with ADO.NET called ADO-Tutor. The Intelligent Tutoring System was designed and developed using (ITSB) authoring tool for building intelligent educational systems. The user learns through the intelligent tutoring system ADO.NET, the technology used by Microsoft.NET to connect to databases. The material includes lessons, examples, and questions. Through the feedback provided by the intelligent tutoring system, the user's understanding of the material is assessed, and accordingly can be (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28. Proof Theory of Finite-valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wien
    The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  29.  12
    Proof theory.Gaisi Takeuti - 1975 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
    This comprehensive monograph is a cornerstone in the area of mathematical logic and related fields. Focusing on Gentzen-type proof theory, the book presents a detailed overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. 1975 edition.
    Direct download  
     
    Export citation  
     
    Bookmark   128 citations  
  30. CSS-Tutor: An Intelligent Tutoring System for CSS and HTML.Mariam W. Alawar & Samy S. Abu Naser - 2017 - International Journal of Academic Research and Development 2 (1):94-99.
    In this paper we show how a student can learn the basics of the system databases using (W3school CSS) which was built as intelligent tutoring educational system by using the authoring tool called (ITSB). The learning material contains CSS and HTML. We divided the material in a group of lessons for novice learner which combines relational system and lessons in the process of learning. The student can learn using example of CSS, and types of CSS color. Furthermore, the intelligent (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  31. ASP.NET-Tutor: Intelligent Tutoring System for leaning ASP.NET.Msbah J. Mosa, Islam Albatish & Samy S. Abu-Naser - 2018 - International Journal of Academic Pedagogical Research (IJAPR) 2 (2):1-8.
    ASP.net is one of the most widely used languages in web developing of its many advantages, so there are many lessons that explain its basics, so it should be an intelligent tutoring system that offers lessons and exercises for this language.why tutoring system? Simply because it is one-one teacher, adapts with all the individual differences of students, begins gradually with students from easier to harder level, save time for teacher and student, the student is not ashamed to make (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  32. An Intelligent Tutoring System for Teaching Grammar English Tenses.Mohammed I. Alhabbash, Ali O. Mahdi & Samy S. Abu Naser - 2016 - European Academic Research 4 (9):1-15.
    The evolution of Intelligent Tutoring System (ITS) is the result of the amount of research in the field of education and artificial intelligence in recent years. English is the third most common languages in the world and also is the internationally dominant in the telecommunications, science and trade, aviation, entertainment, radio and diplomatic language as most of the areas of work now taught in English. Therefore, the demand for learning English has increased. In this paper, we describe the design (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   54 citations  
  33. ITSB: An Intelligent Tutoring System Authoring Tool.Samy S. Abu Naser - 2016 - Journal of Scientific and Engineering Research 3 (5):63-71.
    Abstract. Intelligent Tutoring System Builder (ITSB) is an authoring tool designed and developed to aid teachers in constructing intelligent tutoring systems in a multidisciplinary fields. The teacher is needed to create a set of pedagogical fundamentals, which, in line, are inured to automatically build up a broad tutor framework and construct an intelligent tutoring system. In this paper an explanation of the theory and the architecture of the tool is outlined. A presentation of several system components, the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   42 citations  
  34. An Intelligent Tutoring System for Learning Introduction to Computer Science.Ahmad Marouf, Mohammed K. Abu Yousef, Mohammed N. Mukhaimer & Samy S. Abu-Naser - 2018 - International Journal of Academic Multidisciplinary Research (IJAMR) 2 (2):1-8.
    The paper describes the design of an intelligent tutoring system for teaching Introduction to Computer Science-a compulsory curriculum in Al-Azhar University of Gaza to students who attend the university. The basic idea of this system is a systematic introduction into computer science. The system presents topics with examples. The system is dynamically checks student's individual progress. An initial evaluation study was done to investigate the effect of using the intelligent tutoring system on the performance of students enrolled in (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  35. An intelligent tutoring system for teaching advanced topics in information security.Ali O. Mahdi, Mohammed I. Alhabbash & Samy S. Abu Naser - 2016 - World Wide Journal of Multidisciplinary Research and Development 2 (12):1-9.
    Recently there is an increasing technological development in intelligent tutoring systems. This field has become interesting to many researchers. In this paper, we present an intelligent tutoring system for teaching information security. This intelligent tutoring systems target the students enrolled in Advanced Topics in Information Security in the faculty of Engineering and Information Technology at Al-Azhar University in Gaza. Through which the student will be able to study the course and solve related problems. An evaluation of the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  36. An Intelligent Tutoring System for Teaching the 7 Characteristics for Living Things.Mohammed A. Hamed & Samy S. Abu Naser - 2017 - International Journal of Advanced Research and Development 2 (1):31-35.
    Recently, due to the rapid progress of computer technology, researchers develop an effective computer program to enhance the achievement of the student in learning process, which is Intelligent Tutoring System (ITS). Science is important because it influences most aspects of everyday life, including food, energy, medicine, leisure activities and more. So learning science subject at school is very useful, but the students face some problem in learning it. So we designed an ITS system to help them understand this subject (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  37.  26
    Tutoring in adult-child interaction.Karola Pitsch, Anna-Lisa Vollmer, Katharina J. Rohlfing, Jannik Fritsch & Britta Wrede - 2014 - Interaction Studies 15 (1):55-98.
    Research of tutoring in parent-infant interaction has shown that tutors – when presenting some action – modify both their verbal and manual performance for the learner (‘motherese’, ‘motionese’). Investigating the sources and effects of the tutors’ action modifications, we suggest an interactional account of ‘motionese’. Using video-data from a semi-experimental study in which parents taught their 8- to 11-month old infants how to nest a set of differently sized cups, we found that the tutors’ action modifications (in particular: high (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  38.  9
    Tutoring in adult-child interaction.Karola Pitsch, Anna-Lisa Vollmer, Katharina J. Rohlfing, Jannik Fritsch & Britta Wrede - 2014 - Interaction Studies 15 (1):55-98.
    Research of tutoring in parent-infant interaction has shown that tutors – when presenting some action – modify both their verbal and manual performance for the learner (‘motherese’, ‘motionese’). Investigating the sources and effects of the tutors’ action modifications, we suggest an interactional account of ‘motionese’. Using video-data from a semi-experimental study in which parents taught their 8- to 11-month old infants how to nest a set of differently sized cups, we found that the tutors’ action modifications (in particular: high (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  39. An Intelligent Tutoring System for Cloud Computing.Hasan Abdulla Abu Hasanein & Samy S. Abu Naser - 2017 - International Journal of Academic Research and Development 2 (1):76-80.
    Intelligent tutoring system (ITS) is a computer system which aims to provide immediate and customized or reactions to learners, usually without the intervention of human teacher's instructions. Secretariats professional to have the common goal of learning a meaningful and effective manner through the use of a variety of computing technologies enabled. There are many examples of professional Secretariats used in both formal education and in professional settings that have proven their capabilities. There is a close relationship between private lessons (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  40. Proof Beyond a Reasonable Doubt: A Balanced Retributive Account.Alec Walen - 2015 - Louisiana Law Review 76 (2):355-446.
    The standard of proof in criminal trials in many liberal democracies is proof beyond a reasonable doubt, the BARD standard. It is customary to describe it, when putting a number on it, as requiring that the fact finder be at least 90% certain, after considering the evidence, that the defendant is guilty. Strikingly, no good reason has yet been offered in defense of using that standard. A number of non-consequentialist justifications that aim to support an even higher standard (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  41. An Intelligent Tutoring System for Health Problems Related To Addiction of Video Game Playing.Mohran H. Al-Bayed & Samy S. Abu Naser - 2017 - International Journal of Advanced Scientific Research 2 (1):4-10.
    Lately in the past couple of years, there are an increasing in the normal rate of playing computer games or video games compared to the E-learning content that are introduced for the safety of our children, and the impact of the video game addictiveness that ranges from (Musculoskeletal issues, Vision problems and Obesity). Furthermore, this paper introduce an intelligent tutoring system for both parent and their children for enhancement the experience of gaming and tell us about the health problems (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  42. Adaptive Intelligent Tutoring System for learning Computer Theory.Mohammed A. Al-Nakhal & Samy S. Abu Naser - 2017 - European Academic Research 4 (10).
    In this paper, we present an intelligent tutoring system developed to help students in learning Computer Theory. The Intelligent tutoring system was built using ITSB authoring tool. The system helps students to learn finite automata, pushdown automata, Turing machines and examines the relationship between these automata and formal languages, deterministic and nondeterministic machines, regular expressions, context free grammars, undecidability, and complexity. During the process the intelligent tutoring system gives assistance and feedback of many types in an intelligent (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  43. Evidence, Proofs, and Derivations.Andrew Aberdein - 2019 - ZDM 51 (5):825-834.
    The traditional view of evidence in mathematics is that evidence is just proof and proof is just derivation. There are good reasons for thinking that this view should be rejected: it misrepresents both historical and current mathematical practice. Nonetheless, evidence, proof, and derivation are closely intertwined. This paper seeks to tease these concepts apart. It emphasizes the role of argumentation as a context shared by evidence, proofs, and derivations. The utility of argumentation theory, in general, and argumentation (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  44. Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - New York: Cambridge University Press. Edited by Jan Von Plato.
    Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such (...)
    Direct download  
     
    Export citation  
     
    Bookmark   119 citations  
  45. Mathematics Intelligent Tutoring System.Nour N. AbuEloun & Samy S. Abu Naser - 2017 - International Journal of Advanced Scientific Research 2 (1):11-16.
    In these days, there is an increasing technological development in intelligent tutoring systems. This field has become interesting to many researchers. In this paper, we present an intelligent tutoring system for teaching mathematics that help students understand the basics of math and that helps a lot of students of all ages to understand the topic because it's important for students of adding and subtracting. Through which the student will be able to study the course and solve related problems. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  46. Mindful tutors: Linguistic choice and action demonstration in speech to infants and a simulated robot.Kerstin Fischer, Kilian Foth, Katharina J. Rohlfing & Britta Wrede - 2011 - Interaction Studies 12 (1):134-161.
    It has been proposed that the design of robots might benefit from interactions that are similar to caregiver-child interactions, which is tailored to children's respective capacities to a high degree. However, so far little is known about how people adapt their tutoring behaviour to robots and whether robots can evoke input that is similar to child-directed interaction. The paper presents detailed analyses of speakers' linguistic behaviour and non-linguistic behaviour, such as action demonstration, in two comparable situations: In one experiment, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  47.  10
    Mindful tutors.Kerstin Fischer, Kilian Foth, Katharina J. Rohlfing & Britta Wrede - 2011 - Interaction Studies. Social Behaviour and Communication in Biological and Artificial Systemsinteraction Studies / Social Behaviour and Communication in Biological and Artificial Systemsinteraction Studies 12 (1):134-161.
    It has been proposed that the design of robots might benefit from interactions that are similar to caregiver–child interactions, which is tailored to children’s respective capacities to a high degree. However, so far little is known about how people adapt their tutoring behaviour to robots and whether robots can evoke input that is similar to child-directed interaction. The paper presents detailed analyses of speakers’ linguistic behaviour and non-linguistic behaviour, such as action demonstration, in two comparable situations: In one experiment, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  48.  30
    Mindful tutors: Linguistic choice and action demonstration in speech to infants and a simulated robot.Kerstin Fischer, Kilian Foth, Katharina J. Rohlfing & Britta Wrede - 2011 - Interaction Studiesinteraction Studies Social Behaviour and Communication in Biological and Artificial Systems 12 (1):134-161.
    It has been proposed that the design of robots might benefit from interactions that are similar to caregiver–child interactions, which is tailored to children’s respective capacities to a high degree. However, so far little is known about how people adapt their tutoring behaviour to robots and whether robots can evoke input that is similar to child-directed interaction. The paper presents detailed analyses of speakers’ linguistic behaviour and non-linguistic behaviour, such as action demonstration, in two comparable situations: In one experiment, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  49. Knowledge-based Intelligent Tutoring System for Teaching Mongo Database.Mohanad M. Hilles & Samy S. Abu Naser - 2017 - European Academic Research 4 (10).
    Recently, Intelligent Tutoring Systems (ITS) got much attention from researchers even though ITS educational technology began in the late 1960s and ITS is just embryonic from laboratories into the field. In this paper we outline an intelligent tutoring system for teaching basics of the databases system called (MDB). The MDB was built as education system by using the authoring tool (ITSB). MDB contains learning materials as a group of lessons for beginner level which include relational database system and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  50. Peer Tutoring Effects on Students’ Mathematics Anxiety: A Middle School Experience.Lidón Moliner & Francisco Alegre - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 995