Related
Subcategories

Contents
10158 found
Order:
1 — 50 / 10158
Material to categorize
  1. Chương trình đào tạo Toán kinh tế 2.Hà Huy Huyền - 2018 - Chương Trình Đào Tạo Qtkd Trường Đại Học Đồng Nai 2018.
    Mục tiêu của học phần: Sau khi nghiên cứu môn học, sinh viên vừa được trang bị các kiến thức cơ bản về bản chất và nguyên lý tính toán trong các nghiệp vụ tài chính, vừa biết vận dụng các kiến thức đó để xây dựng các bài toán tài chính trong những hoàn cảnh riêng với môi trường và các điều kiện khác nhau.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. Artificial intelligence in a throughput model: some major algorithms.Waymond Rodgers - 2020 - Boca Raton, Fl: CRC Press.
    This book provides an overview of the various biometric technologies, decision-making algorithms and the subsequent market expansion opportunity. Further, this book proposes a Throughput Model, which draws from computer science, economic and psychology literatures to model perceptual, informational sources, judgmental processes and decision choice algorithms. This approach describes how biometrics might be implemented to reduce risks to individuals and organizations, especially when dealing with digital based mediums.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  3. al-ʻAql al-ramzī fī al-Islām.ʻAlī Shalaq - 1995 - [Beirut]: Dār al-Ijtihād.
  4. Boolesche Funktionen und Postsche Klassen.Sergeĭ Vsevolodovich I︠A︡blonskiĭ - 1970 - Basel,: C. F. Winter. Edited by Gavrilov, Gariĭ Petrovich, [From Old Catalog], Kudri︠a︡vt︠s︡ev & Valeriĭ Borisovich.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  5. Aspectos de la lógica modal.David Clement Makinson - 1971 - Bahía Blanca,: Universidad Nacional del Sur, Instituto de Matemática.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  6. Logica simbolică.Gheorghe Enescu - 1971 - București,: Editura știinţifică.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  7. Notions de logique.Jean Drabbe - unknown - Bruxelles,: Centre belge de pédagogie de la mathématique, av. Albert.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  8. Las paradojas de la lógica.Evert Willem Beth - 1975 - [Valencia]: Departamento de Lógica y Filosofía de la Ciencia, Universidad de Valencia.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  9. Introduzione alle logiche polivalenti.Michele Marsonet - 1976 - Roma: Abete.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  10. Logik, Mengen, Relationen: Praxis d. math. Beweisens.H. Freund - 1976 - Stuttgart: Teubner. Edited by Peter Sorger.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  11. Algoritmy vokrug nas.Nikolaĭ Andreevich Krinit︠s︡kiĭ - 1977 - Moskva: Nauka.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  12. Logikkalküle.Michael M. Richter - 1978 - Stuttgart: Teubner.
    In diesem Buch werden Aspekte der Aussagenlogik und der Prädikaten­ logik der ersten Stufe behandelt. Eine Mathematisierung und Kalkü­ lisierung der Logik kann natürlich ganz verschieden ausfallen, je nach dem, von welchen Motiven man sich primär leiten läßt. Wir stellen drei Gesichtspunkte, die uns auch als die wesentlichsten erscheinen, in den Vordergrund: Die Formalisierung des Wahrheits­ begriffes, die Formalisierung des Beweisbarkeitsbegriffes und das Problem des Suchens nach Beweisen. Diese drei Aspekte führen zu drei verschiedenen Arten von Kalkülen. Die Betonung des (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  13. Prädikatenlogik ohne gebundene Variablen.Jürgen Bartnick - 1980 - Frankfurt am Main: P. Lang.
    Wenn es eine Aufgabe der Philosophie ist, die Herrschaft des Wortes über den menschlichen Geist zu brechen (Frege), dann ist zu fragen, ob die Prädikatenlogik die Wörter «für alle» und «es gibt» angemessen formalisiert. Übersetzt man «alle Menschen sind sterblich» mit «für alle x : wenn x ein Mensch ist, dann ist x sterblich», so hat man zwar die Syllogistik des Aristoteles überwunden, dafür tritt jetzt aber eine Variable x auf, die in der Aussage vorher nicht vorkam.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  14. Nichtklassische Logik: eine Einführung.Lothar Kreiser, Siegfried Gottwald & Werner Stelzner (eds.) - 1988 - Berlin: Akademie Verlag.
  15. Fiziko-matematicheskoe poznanie: priroda, osnovanii︠a︡, dinamika.Valentin Sergeevich Lukʹi︠a︡net︠s︡ - 1992 - Kiev: Nauk. dumka. Edited by A. M. Kravchenko, N. A. Gudkov & Viktorii︠a︡ Lʹvovna Khramova.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  16. Estudios de lógica borrosa y sus aplicaciones.Alejandro Sobrino E. Senén Barro (ed.) - 1993 - [Santiago de Compostela]: Universidad de Santiago de Compostela.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  17. La logique, un aiguillon pour la pensée.Jean-Paul Delahaye - 2012 - Paris: Belin: Pour la science.
    Ce livre est un recueil des articles que l'auteur a publiés dans la rubrique Logique et Calcul du magazine Pour la Science. La sélection a pour thème la logique dans toute sa diversité. Par exemple, elle peut concerner les mathématiques pures : L'infini est-il paradoxal en mathématiques, Libre arbitre et mécanique quantique ou Les limites logiques des mathématiques. Mais on la trouve aussi au coeur d'applications concrètes. Ainsi, L'étonnante loi de Benford, selon laquelle un nombre pris au hasard, par exemple (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  18. Type theory and formal proof: an introduction.R. P. Nederpelt - 2014 - New York: Cambridge University Press. Edited by Herman Geuvers.
    Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin with untyped lambda calculus and proceed to several fundamental type systems culminating in the well-known and powerful Calculus of Constructions. The book (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Problems on MOD structures.Vasantha Kandasamy & B. W. - 2016 - Bruxelles, Belgium: EuropaNova. Edited by K. Ilanthenral & Florentin Smarandache.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  20. Cryptographic hash functions from sequences of lifted Paley graphs.Serena Yuan - 2016 - In Delaram Kahrobaei, Bren Cavallo & David Garber (eds.), Algebra and computer science. Providence, Rhode Island: American Mathematical Society.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  21. Penser l'épistémologie non classique des mathématiques chez Imré Lakatos.Fabrice Moussiessi - 2016 - Paris: L'Harmattan. Edited by Marcel Nguimbi.
    L'ouvrage invite à penser l'épistémologie non classique des mathématiques comme une construction épistémique des mathématiques quasi empirique qu'Imré Lakatos a réalisé au moyen des présupposés ontologiques (comme la redécouverte du temps, le passage du déterminisme à l'indéterminisme, etc.) et qu'il réussit grâce à l'implémentation du principe de complexité dialectique de l'esprit mathématique. L'auteur étudie la thèse selon laquelle, depuis le début du XXe siècle, la science est aussi bien objective que subjective. Et c'est à partir de celle-ci que le principe (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  22. The digital and the real world: computational foundations of mathematics, science, technology, and philosophy.Klaus Mainzer - 2018 - [Hackensack,] New Jersey: World Scientific.
    In the 21st century, digitalization is a global challenge of mankind. Even for the public, it is obvious that our world is increasingly dominated by powerful algorithms and big data. But, how computable is our world? Some people believe that successful problem solving in science, technology, and economies only depends on fast algorithms and data mining. Chances and risks are often not understood, because the foundations of algorithms and information systems are not studied rigorously. Actually, they are deeply rooted in (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  23. Propositional logics of logical truth.A. C. Paseau & Owen Griffiths - 2021 - In Gil Sagi & Jack Woods (eds.), The Semantic Conception of Logic : Essays on Consequence, Invariance, and Meaning. New York, NY: Cambridge University Press.
  24. There might be a paradox of logical validity after all.Roy Cook - 2021 - In Gil Sagi & Jack Woods (eds.), The Semantic Conception of Logic : Essays on Consequence, Invariance, and Meaning. New York, NY: Cambridge University Press.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  25. Introduction: The semantic conception of logic : problems and prospects.Gil Sagi & Jack Woods - 2021 - In Gil Sagi & Jack Woods (eds.), The Semantic Conception of Logic : Essays on Consequence, Invariance, and Meaning. New York, NY: Cambridge University Press.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  26. Quantification Theory.John Acheson Faris - 1964 - New York,: Routledge.
    Originally published in 1964. This book is concerned with general arguments, by which is meant broadly arguments that rely for their force on the ideas expressed by all, every, any, some, none and other kindred words or phrases. A main object of quantificational logic is to provide methods for evaluating general arguments. To evaluate a general argument by these methods we must first express it in a standard form. Quantificational form is dealt with in chapter one and in part of (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27. (1 other version)An Introduction to Many-valued Logics.Robert John Ackermann - 1967 - New York,: Routledge.
    Originally published in 1967. An introduction to the literature of nonstandard logic, in particular to those nonstandard logics known as many-valued logics. Part I expounds and discusses implicational calculi, modal logics and many-valued logics and their associated calculi. Part II considers the detailed development of various many-valued calculi, and some of the important metathereoms which have been proved for them. Applications of the calculi to problems in the philosophy are also surveyed. This work combines criticism with exposition to form a (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. Réponse à Jaakko Hintikka.Dermot Moran & Nicole G. Albert - 2014 - Diogène 242 (2):26-49.
  29. Fuzzy Logic and Mathematics: A Historical Perspective.Radim Bělohlávek, Joseph W. Dauben & George J. Klir - 2017 - Oxford, England and New York, NY, USA: Oxford University Press. Edited by Joseph Warren Dauben & George J. Klir.
    The term "fuzzy logic," as it is understood in this book, stands for all aspects of representing and manipulating knowledge based on the rejection of the most fundamental principle of classical logic---the principle of bivalence. According to this principle, each declarative sentence is required to be either true or false. In fuzzy logic, these classical truth values are not abandoned. However, additional, intermediate truth values between true and false are allowed, which are interpreted as degrees of truth. This opens a (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  30. The Relational Logic of Franciscus Toletus and Petrus Fonseca.Petr Dvořák - 2009 - Forum Philosophicum: International Journal for Philosophy 14 (1):87-99.
    The well-known Ratio Studiorum of 1599 states that logical instruction should follow F. Toletus or P. Fonseca. The latter authored the famous Institutionum Dialecticarum Libri Octo, the former a similar manual, Introductio in Dialecticam Aristotelis. As is often observed, the contrast between the Aristotelian and present symbolic logics is perhaps most striking in their analysis of relational statements. Both authors recognize the relational logical form as independent from the traditional subject-predicate form and see the need to recognize relational inferential rules. (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31. The Semantic Conception of Logic : Essays on Consequence, Invariance, and Meaning.Gil Sagi & Jack Woods (eds.) - 2021 - New York, NY: Cambridge University Press.
    This collection of new essays presents cutting-edge research on the semantic conception of logic, the invariance criteria of logicality, grammaticality, and logical truth. Contributors explore the history of the semantic tradition, starting with Tarski, and its historical applications, while central criticisms of the tradition, and especially the use of invariance criteria to explain logicality, are revisited by the original participants in that debate. Other essays discuss more recent criticism of the approach, and researchers from mathematics and linguistics weigh in on (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. Aspects of Philosophical Logic. [REVIEW]John G. Harper - 1986 - Philosophical Studies (Dublin) 31:546-550.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33. Of History as a Calculus Whose Term Is Science.Bernard J. Muller-Thym - 1942 - Modern Schoolman 19 (3):41-47.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  34. Introduction: From Practice to Results in Mathematics and Logic.Valeria Giardino, Amirouche Moktefi, Sandra Mois & Jean Van Bendegem - 2012 - Philosophia Scientiae 16 (1):5-11.
    1 Mathematical practice: a short overview This volume is a collection of essays that discuss the relationships between the practices deployed by logicians and mathematicians, either as individuals or as members of research communities, and the results from their research. We are interested in exploring the concept of 'practices' in the formal sciences. Though common in the history, philosophy and sociology of science, this concept has surprisingly thus far been little reflected upon in logic...
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. On an application of categoricity.Alexander Paseau - 2005 - Proceedings of the Aristotelian Society 105 (1):395-399.
    James Walmsley in “Categoricity and Indefinite Extensibility” argues that a realist about some branch of mathematics X (e.g. arithmetic) apparently cannot use the categoricity of an axiomatisation of X to justify her belief that every sentence of the language of X has a truth-value. My discussion note first corrects Walmsley’s formulation of his claim. It then shows that his argument for it hinges on the implausible idea that grasping that there is some model of the axioms amounts to grasping that (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  36. Filosofii︠a︡ i logika: [sbornik stateĭ.P. V. Tavanet︠s︡ & V. A. Smirnov (eds.) - 1974 - Moskva: Izd-vo "Nauka".
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  37. Are They Class-names?J. M. Hinton - 1982 - Philosophy 57 (219):27-50.
    We often, in effect, take it for granted that some word or phrase is what is called ‘the name of a class, be that class empty or non-empty’. We do so whenever in effect we either wonder about, or mean to be taking a view on, the number of members a certain suppositious class has, on the ultrasimple number scale: ‘None, more than none’.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38. Real Numbers, Generalizations of the Reals and Theories of Continua.Philip Ehrlich - 1996 - British Journal for the Philosophy of Science 47 (2):320-324.
  39. (1 other version)Bayes's Theorem.Ellery Eells - 2004 - Mind 113 (451):591-596.
  40. Review of Real Numbers, Generalizations of the Reals, & Theories of Continua by Philip Ehrlich. [REVIEW]Colin McLarty - 1999 - Philosophy of Science 66 (3):500-501.
  41. Euler, Vis Viva, And Equilibrium.Brian Hepburn - 2010 - Studies in History and Philosophy of Science Part A 41 (2):120-127.
    Euler’s ‘On the force of percussion and its true measure’, published in 1746, shows that not only had the issue of vis viva not been settled, but that the concepts of inertia and even force were still very much up for grabs. This paper details Euler’s treatment of the vis viva problem. Within those details we find differences between his physics and that of Newton, in particular the rejection of empty space and reduction of all forces to the operation of (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42. The Priest. [REVIEW]James Alf - 1948 - Thought: Fordham University Quarterly 23 (3):565-566.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43. Biorhetorics.Stephen Pain - 2002 - Sign Systems Studies 30 (2):755-771.
    This paper is an introduction to the new field of biorhetorics. Biorhetorics is an applied form of rhetoric that evolved from the study of classical rhetoric, particularly Aristotelian. The author illustrates the stages of development necessary for the creation of a species-specific rhetoric: by (1) formalising rhetoric so as to create a functional rhetoric, (2) then reducing this to a symbolic rhetoric that can be used in conjunction with the collected data of an organism’s Umwelt (including its genome) to form (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44. Three is a magic number.Brendan Larvor - 2009 - The Philosophers' Magazine 44 (44):83-88.
    Logical theory – and philosophical theory generally – is just that, theory. Generations of logic students felt a sort of unease about it without knowing what to do about it. Nowadays, students of mathematical logic feel a similar unease when faced with the fact that in standard predicate calculus, “All unicorns are sneaky” is true precisely because there are no unicorns. Blanché’s analysis reminds us that such feelings of unease may indicate a shortcoming in the theory rather than in the (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45. The Law of Excluded Middle and the Problem of Idealism.Marian Przełecki - 1982 - Grazer Philosophische Studien 18 (1):1-16.
    The law of excluded middle is usually considered as intrinsically connected with the realistic standpoint and incompatible with the idealistic position. This is just what Ajdukiewicz claims in his critique of transcendental idealism. The analysis of Ajdukiewicz's argumentation raises the problem of validity of the law of excluded middle for vague (or incomplete) languages. The problem is being solved by differentiating between the logical (or ontological) and the metalogical (or semantical) law of excluded middle: in contrast to the former, the (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46. The Epsilon Calculus and its Applications.B. H. Slater - 1991 - Grazer Philosophische Studien 41 (1):175-205.
    The paper presents and applies Hilbert's Epsilon Calculus, first describing its standard proof theory, and giving it an intensional semantics. These are contrasted with the proof theory of Fregean Predicate Logic, and the traditional (extensional) choice function semantics for the calculus. The semantics provided show that epsilon terms are referring terms in Donnellan's sense, enabling the symbolisation and validation of argument forms involving E-type pronouns, both in extensional and intensional contexts. By providing for transparency in intensional constructions they support a (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  47. Sublunary Intuitionism.Charles Travis - 1998 - Grazer Philosophische Studien 55 (1):169-194.
    In "Truth" Michael Dummett presents a case for intuitionist logic as the logic of ordinary discourse. The case depends on a supposed need to make two intuitions mesh: first, that it is senseless to suppose, of any statement, that it is neither true nor false; second, that there is no guarantee, for every statement, that either there is something in the world to make it true, or there is something to make it false. This paper argues, developing a notion of (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  48. Knowing and Making.Matti Sintonen - 1994 - Grazer Philosophische Studien 49 (1):121-134.
    Jaakko Hintikka's Kantianism in philosophy of logic and mathematics is known to go further than Kant's own, for he argues that mathematical reasoning involves the "language-games" of seeking and finding. Therefore, logic mirrors the structure of this activity. But Hintikka also pushes the Copemican Revolution further to epistemology and philosophy of science. He agrees that "reason has insight only into what which it produces after a plan of ist own", but gives the idea a new logical turn. Kant thought that (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49. (1 other version)Logic from a Rhetorical Point of View. [REVIEW]Jan Woleński - 1994 - Grazer Philosophische Studien 48 (1):243-244.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50. Comment on Keith Lehrer and Vann McGee's Solution of Newcomb's Problem.Christian Piller - 1991 - Grazer Philosophische Studien 40 (1):221-228.
    Keith Lehrer's notion of acceptance and its relation to the notion of belief is analyzed in a way that a person only accepts some proposition p if she decides to believe it in order to reach the epistemic aim. This view of acceptance turns out to be untenable: Under the empirical claim that we don't have the power to decide what to beheve it follows that we cannot accept anything. If reaching the truth is the epistemic aim acceptance proves ill-formed, (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 10158