См. также в других словарях:
Logic Theorist — is a computer program written in 1955 and 1956 by Alan Newell, Herbert Simon and J. C. Shaw. It was the first program deliberately engineered to mimic the problem solving skills of a human being and is called the first artificial intelligence… … Wikipedia
logic search — loginė paieška statusas T sritis informatika apibrėžtis ↑Paieška ↑duomenų bazėje, kai ↑užklausoje naudojamos ↑loginės operacijos. Tokioms užklausoms užrašyti vartojamos specialios duomenų manipuliavimo kalbos, vadinamos ↑užklausų kalbomis.… … Enciklopedinis kompiuterijos žodynas
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 and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… … History of philosophy
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium
logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… … Universalium
Logic File System — The Logic File System is a research file system which replaces pathnames with expressions in propositional logic. It allows file metadata to be queried with a superset of the Boolean syntax commonly used in modern search engines.The actual name… … Wikipedia
Logic Lane covered bridge — NOTOC The Logic Lane covered bridge is a small covered bridge at the High Street end of Logic Lane, within University College, Oxford, England.The bridge was designed by the Oxford architect Harry Wilkinson Moore (1850–1915) and was completed in… … Wikipedia
Search oriented architecture — The use of search engine technology as the main integration component in an information system. In a traditional business environment the architectural layer usually occupied by a relational database management system (RDBMS) is supplemented or… … Wikipedia
Boolean search — loginė paieška statusas T sritis informatika apibrėžtis ↑Paieška ↑duomenų bazėje, kai ↑užklausoje naudojamos ↑loginės operacijos. Tokioms užklausoms užrašyti vartojamos specialios duomenų manipuliavimo kalbos, vadinamos ↑užklausų kalbomis.… … Enciklopedinis kompiuterijos žodynas
