Listing 1 - 10 of 209 | << page >> |
Sort by
|
Choose an application
Choose an application
This article discusses some antinomies concerning the category of verbal aspect in Russian, which generate apparent contradictions on a theoretical level. Special attention is paid to Russian aspectual pairs (considered in a cross-Slavic perspective). I focus on antinomies applying to different ways of expressing the aspectual semantics of verbs (lexical, grammatical and derivational), as well as on rules regulating the use of perfective and imperfective verbs. Our study confirms the need to distinguish between lexical and grammatical limits of action in a theory of Slavic aspect.
Choose an application
This article discusses some antinomies concerning the category of verbal aspect in Russian, which generate apparent contradictions on a theoretical level. Special attention is paid to Russian aspectual pairs (considered in a cross-Slavic perspective). I focus on antinomies applying to different ways of expressing the aspectual semantics of verbs (lexical, grammatical and derivational), as well as on rules regulating the use of perfective and imperfective verbs. Our study confirms the need to distinguish between lexical and grammatical limits of action in a theory of Slavic aspect.
Choose an application
Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic.
Choose an application
Choose an application
Choose an application
Für ein erfolgreiches Studium einer naturwissenschaftlich-technischen oder wirtschaftswissenschaftlichen Fachrichtung an einer Hochschule sind mathematische Grundkenntnisse unerlässlich. Dieses Buch ist ein Kompaktkurs für das Selbststudium zum Aneignen und zum Auffrischen der für ein Studium notwendigen Mathematik-Kenntnisse. Es kann aber auch kursbegleitend bei Einführungs-, Vor- oder Brückenkursen eingesetzt werden. Das Buch enthält die wesentlichen Stoffgebiete, die Studierende zu Beginn eines Studiums kennen sollten. Es vermittelt in einfacher, anschaulicher und allgemein verständlicher Form einen Grundstock mathematischer Kenntnisse unter weit gehendem Verzicht auf sonst übliche mathematische Strenge. Die Ausgangsvoraussetzungen zum Verständnis dieses Buches sind gering. Es eignet sich deshalb auch für Schülerinnen und Schüler der Sekundarstufe II, da im Mittelpunkt Themen wie die elementaren Grundrechenarten, die Differential- und Integralrechnung sowie die Vektorrechnung stehen.
Logic, Symbolic and mathematical. --- Differential calculus.
Choose an application
Mathématiques, logique, informatique. Où l’on découvre que ces trois mondes n’en forment qu’un... qui a mis trois mille ans à se constituer. Une histoire peuplée de chiffres, de raisonnements et d’ordinateurs... mais une histoire avant tout humaine, qui nous fera rencontrer une vingtaine de personnalités hors du commun, certaines injustement méconnues. De Leibniz à Boole, de Russell à Shannon, de Bayes à Wiener, tous les acteurs de cette histoire pour le moins mouvementée rêvaient de pouvoir vérifier la validité d’un raisonnement comme on résout un système d’équations. Gageure ou intuition de génie? Mais l’histoire n’est pas terminée. Elle reste même encore à écrire et l’importance des enjeux est telle qu’il vaut mieux prendre le clavier soi-même. Car aujourd’hui, il semble que les principaux protagonistes de cette épopée soient avant tout des techniciens et des entrepreneurs... C’est donc à nous, citoyens d’un monde où tout va de plus en plus vite, de nous percher sur les épaules des géants qui nous ont précédés pour penser Internet, le plus grand défi jamais posé à nos démocraties. Le futur n’est pas encore programmable...
Choose an application
The unique features of the quantum world are explained in this book through the language of diagrams, setting out an innovative visual method for presenting complex theories. Requiring only basic mathematical literacy, this book employs a unique formalism that builds an intuitive understanding of quantum features while eliminating the need for complex calculations. This entirely diagrammatic presentation of quantum theory represents the culmination of ten years of research, uniting classical techniques in linear algebra and Hilbert spaces with cutting-edge developments in quantum computation and foundations. Written in an entertaining and user-friendly style and including more than one hundred exercises, this book is an ideal first course in quantum theory, foundations, and computation for students from undergraduate to PhD level, as well as an opportunity for researchers from a broad range of fields, from physics to biology, linguistics, and cognitive science, to discover a new set of tools for studying processes and interaction.
Quantum theory. --- Quantum computing. --- Logic, Symbolic and mathematical.
Choose an application
Il est courant de se sentir perdu devant un argument, sans savoir s'il est valable ou non. Ce livre présente les outils pour résoudre cette question : la logique, qui décrit quels sont les raisonnements valides ; et la rhétorique, qui explique les mécanismes subtils par lesquels on peut se laisser tromper par un argument convaincant, mais erroné. Science de la pensée rationnelle, la logique s’est donné pour tâche de dégager les grands principes théoriques permettant de distinguer les raisonnements corrects des raisonnements fallacieux. Au cours de son histoire, elle a forgé des outils d’analyse de plus en plus précis et rigoureux. Ces développements ont abouti aux divers systèmes formels de la logique symbolique dont nous disposons aujourd’hui. Il est désormais possible de traiter de nombreux raisonnements comme de calculs dont la validité est assurée par le seul respect de règles d’inférence préalablement établies. La question de la légitimité de nos argumentations quotidiennes suppose cependant que l’on prenne également en compte des critères qui relèvent d’autres dimensions – dialectique, topique, rhétorique ou linguistique – de l’argumentation. C’est en se fondant sur l’ensemble de ces analyses que l’on peut évaluer l’usage en contexte de tel ou tel schéma d’inférence et déterminer, par des questions critiques, s’il fait l’objet d’une utilisation globalement rationnelle ou d’un abus sophistique.
Logique --- Argumentation --- Logique juridique --- Logic --- Logic, symbolic and mathematical --- Reasoning
Listing 1 - 10 of 209 | << page >> |
Sort by
|