- functional logic
-
функциональная логика, функциональные логические схемы
Англо-русский словарь технических терминов. 2005.
functional logic
Смотреть что такое "functional logic" в других словарях:
functional logic — funkcinis loginis grandynas statusas T sritis automatika atitikmenys: angl. functional logic vok. Funktionslogik, f rus. функциональная логическая схема, f pranc. logique fonctionnelle, f … Automatikos terminų žodynas
Functional logic (business logic) abstraction — Functional Abstraction (or Business Logic Abstraction) is the ability to separate business logic implementation code from the service protocol implementation which is calling it. This architectural abstraction allows the user to implement the… … Wikipedia
Functional verification — Functional verification, in electronic design automation, is the task of verifying that the logic design conforms to specification. In everyday terms, functional verification attempts to answer the question Does this proposed design do what is… … Wikipedia
Logic simulation — is the use of a computer program to simulate the operation of a digital circuit. Logic simulation is the primary tool used for verifying the logical correctness of a hardware design. In many cases logic simulation is the first activity performed… … Wikipedia
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
Logic synthesis — is a process by which an abstract form of desired circuit behavior (typically register transfer level (RTL) or behavioral) is turned into a design implementation in terms of logic gates. Common examples of this process include synthesis of HDLs,… … Wikipedia
Functional decomposition — refers broadly to the process of resolving a functional relationship into its constituent parts in such a way that the original function can be reconstructed (i.e., recomposed) from those parts by function composition. In general, this process of … Wikipedia
Logic optimization — a part of logic synthesis, is the process of finding an equivalent representation of the specified logic circuit under one or more specified constraints. Generally the circuit is constrained to minimum chip area meeting a prespecified delay.… … Wikipedia
Functional Grammar — (FG) ist eine linguistische Theorie, die Ende der 1970er Jahre von Simon Cornelis Dik in Amsterdam entwickelt wurde, ausdrücklich als Gegenmodell zum Standard Modell der Transformationsgrammatik von Noam Chomsky. Nach dem Tod Diks 1995 wurde die… … Deutsch Wikipedia
Functional reactive programming — ( FRP for short) is a programming paradigm for reactive programming using the building blocks of functional programming [cite web|author=Henrik Nilsson|title=Functional Reactive Programming Research|url=http://www.haskell.org/frp/|accessdate=2006 … Wikipedia
Functional programming — In computer science, functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions and avoids state and mutable data. It emphasizes the application of functions, in contrast with the… … Wikipedia
