- Dynamic logic
Dynamic logic may mean:
- In theoretical computer science, dynamic logic (modal logic) is a modal logic for reasoning about dynamic behaviour
- In digital electronics, dynamic logic (digital electronics) is a technique used for (clocked) combinatorial circuit design
- A different concept proposed by Leonid Perlovsky
This disambiguation page lists articles associated with the same title.
If an internal link led you here, you may wish to change the link to point directly to the intended article.
Wikimedia Foundation. 2010.
Look at other dictionaries:
Dynamic logic (modal logic) — For the subject in digital electronics also known as clocked logic, see dynamic logic (digital electronics). Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general… … Wikipedia
Dynamic logic (digital electronics) — For the subject in theoretical computer science, see dynamic logic (modal logic). In integrated circuit design, dynamic logic (or sometimes clocked logic) is a design methodology in combinatorial logic circuits, particularly those implemented in… … Wikipedia
Dynamic logic (digital logic) — In integrated circuit design,dynamic logic (or sometimes clocked logic) is a design methodology logic family in digital logic that was popular in the 1970s and has seen a recent resurgence in the design of high speed digital electronics,… … Wikipedia
Dynamic random access memory — (DRAM) is a type of random access memory that stores each bit of data in a separate capacitor within an integrated circuit. Since real capacitors leak charge, the information eventually fades unless the capacitor charge is refreshed periodically … Wikipedia
Logic in computer science — describes topics where logic is applied to computer science and artificial intelligence. These include:*Investigations into logic that are guided by applications in computer science. For example: Combinatory logic and Abstract interpretation;… … Wikipedia
Dynamic random-access memory — DRAM redirects here. For other uses, see Dram (disambiguation). Computer memory types Volatile RAM DRAM (e.g., DDR SDRAM) SRAM In development T RAM Z RAM TTRAM Historical Delay line memory Selectron tube Williams tube … Wikipedia
Logic and the mind — This article discusses the relationship between the formal logic and the mind.For a long time people believed that intelligence is equivalent to conceptual understanding and reasoning. A part of this belief was that the mind works according to… … Wikipedia
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Dynamic Business Modeling — ( DBM ) describes the ability to automate business models within an open framework. The independent analyst firm Gartner has recently called Dynamic Business Modeling critical for BSS solutions to succeed . Dynamic Business Modeling is based on… … Wikipedia
Dynamic voltage scaling — is a power management technique in computer architecture, where the voltage used in a component is increased or decreased, depending upon circumstances. Dynamic voltage scaling to increase voltage is known as overvolting; dynamic voltage scaling… … Wikipedia