Combinational logicIn automata theory, combinational logic (also referred to as time-independent logic or combinatorial logic ) is a type of digital logic which is implemented by Boolean circuits, where the output is a pure function of the present input only. This is in contrast to sequential logic, in which the output depends not only on the present input but also on the history of the input. In other words, sequential logic has memory while combinational logic does not.
Digital image processingDigital image processing is the use of a digital computer to process s through an algorithm. As a subcategory or field of digital signal processing, digital image processing has many advantages over . It allows a much wider range of algorithms to be applied to the input data and can avoid problems such as the build-up of noise and distortion during processing. Since images are defined over two dimensions (perhaps more) digital image processing may be modeled in the form of multidimensional systems.
Langage LadderLadder Diagram (LD) ou Langage Ladder ou schéma à contacts est un langage graphique très populaire auprès des automaticiens pour programmer les automates programmables industriels. Il ressemble un peu aux schémas électriques, et est facilement compréhensible. Ladder est le mot anglais pour échelle. L'idée initiale du Ladder est la représentation de fonction logique sous la forme de schémas électriques. Cette représentation est originellement matérielle : quand l'automate programmable industriel n'existait pas, les fonctions étaient réalisées par des câblages.
Computation tree logicComputation tree logic (CTL) is a branching-time logic, meaning that its model of time is a tree-like structure in which the future is not determined; there are different paths in the future, any one of which might be an actual path that is realized. It is used in formal verification of software or hardware artifacts, typically by software applications known as model checkers, which determine if a given artifact possesses safety or liveness properties. For example, CTL can specify that when some initial condition is satisfied (e.
La Science de la logiqueLa Science de la logique, ou Grande Logique (1812 - 1816 pour la première, 1832 pour la deuxième édition) de Hegel, est l'une des quatre œuvres systématiques publiées du vivant du philosophe, où il traite des catégories fondamentales de la pensée. Une version abrégée, connue sous le nom de Petite Logique, constitue la première partie de son Encyclopédie.
Matérialisme dialectiqueLe matérialisme dialectique, ou dialectique matérialiste, ou diamat, est l'emploi, dans la pensée marxiste, de la méthode dialectique pour analyser la réalité à travers le prisme du matérialisme. L'élaboration matérialiste de la dialectique se situe dans le prolongement du matérialisme historique, conçu par Marx et Engels sous le nom de conception matérialiste de l'histoire pour aboutir à une , soit une évaluation objective des formations de la conscience en les rapportant à leur fondement réel et social.
Georg Wilhelm Friedrich HegelGeorg Wilhelm Friedrich Hegel (), né le à Stuttgart et mort le à Berlin, est un philosophe allemand. Son œuvre, postérieure à celle d’Emmanuel Kant, appartient à l'idéalisme allemand et a eu une influence décisive sur l'ensemble de la philosophie contemporaine. Hegel enseigne la philosophie sous la forme d'un système unissant tous les savoirs suivant une logique dialectique.
