Categorical Logic
Les 10 meilleurs produits en septembre 2025
Dernière mise à jour :
7 septembre 2025
Springer
First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories
Livraison gratuite
99
QUALITÉ MAXIMALE
VOIR SUR AMAZON
Amazon.fr
#1 GAGNANT
Introduction to the Categorical Syllogism (Applying the Mathematics of Ideas and the Logic of Lattices to Understand the Categorical Syllogism of Classical Logic Book 1) (English Edition)
96
QUALITÉ SUPÉRIEURE
VOIR SUR AMAZON
Amazon.fr
#2
Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics) by B. Jacobs (2001-05-24)
93
QUALITÉ EXCELLENTE
VOIR SUR AMAZON
Amazon.fr
#3
Cambridge University Press
Handbook of Categorical Algebra: Volume 2, Categories and Structures
22% Réduction
89
QUALITÉ DISTINGUÉE
VOIR SUR AMAZON
Amazon.fr
#4
▼ Montrer plus
▲ Montrer moins
Handbook of Categorical Algebra: Volume 2, Categories and Structures
170,06 € SUR AMAZON
Birkhäuser
Arabic Logic from al-Fārābī to Averroes: A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics (Studies in Universal Logic) (English Edition)
88
QUALITÉ DISTINGUÉE
VOIR SUR AMAZON
Amazon.fr
#5
Forgotten Books
The Existential Import of Categorical Predication: Studies in Logic (Classic Reprint)
39% Réduction
81
QUALITÉ BONNE
VOIR SUR AMAZON
Amazon.fr
#6
Cambridge University Press
Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf Theory
78
QUALITÉ BONNE
VOIR SUR AMAZON
Amazon.fr
#7
Springer
Goguen Categories: A Categorical Approach to L-fuzzy Relations (Trends in Logic Book 25) (English Edition)
75
QUALITÉ BONNE
VOIR SUR AMAZON
Amazon.fr
#8
Youmile
Youmile Mini Logic Analyzer 8 canaux 24MHZ Type-C interface microcontrôleur ebugging Analyse de protocole ARM FPGA avec câble USB vers type-c Pince à crochet de test Câble DuPont
Livraison gratuite
71
QUALITÉ BONNE
VOIR SUR AMAZON
Amazon.fr
#9
▼ Montrer plus
▲ Montrer moins
【Ce qu'il fait】 : ce produit est un analyseur logique open source pour logiciels et matériels, qui peut grandement améliorer l'efficacité du développement et du débogage dans des scénarios tels que la localisation des problèmes, les systèmes complexes à plusieurs composants, l'analyse temporelle et l'analyse des performances.
【Taux d'échantillonnage】 : prend en charge le taux d'échantillonnage de 24 MHz, 8 canaux peuvent être échantillonnés en même temps, ce qui peut répondre au travail de développement quotidien.
【Analyse de protocole】 : S'appuyant sur la communauté open source sigrok, nanoDLA utilise l'ordinateur hôte open source pulseview, qui possède des fonctions riches et prend en charge plus d'une centaine de types d'analyse de protocole. Il est gratuit et open source, facile à utiliser et plus puissant. .
【Tension d'entrée】 : [-0,5 V, 5,25 V], où le niveau bas est [-0,5 V, 0,8 V] et le niveau haut est [2 V, 5,25 V].
【Système de support】 : support pour la plate-forme Windows/pour Linux/pour Mac. Veuillez consulter le manuel d'utilisation : https://github.com/wuxx/nanoDLA/blob/master/README.md. Pour télécharger le logiciel, veuillez visiter : https ://github.com/wuxx/nanoDLA/tree/master/software.
20,89 € SUR AMAZON
Kluwer Academic Publishers
[(Sheaves, Games and Model Completions: A Categorical Approach to Nonclassical Propositional Logics )] [Author: Silvio Ghilardi] [Aug-2002]
67
QUALITÉ BONNE
VOIR SUR AMAZON
Amazon.fr
#10
logic
#1 GAGNANT
