Rychlejší přístup než prohlížeči!
40 vztahy: Alain Colmerauer, Datalog, Deklarativní programování, Edinburgh, Elektronická paměť, Formální gramatika, Funkcionální programování, Gödel (programovací jazyk), Hornova klauzule, Imperativní programování, Interpret (software), Jack Minker, John McCarthy, Lisp, Logika, Marseille, Marvin Minsky, Massachusettský technologický institut, Matematická logika, Mezinárodní organizace pro normalizaci, Paradigma, Překladač, Programování, Prolog (programovací jazyk), Rezoluce (logika), Robert Kowalski, Seymour Papert, Stanfordova univerzita, Strom (graf), Syntaktická analýza, Terry Winograd, Umělá inteligence, University of Edinburgh, Zásobník (datová struktura), 1960, 1969, 1971, 1972, 1973, 1977.
Alain Colmerauer
Alain Colmerauer (24. ledna 1941 – 12. května 2017, Marseille) byl francouzský informatik.
Nový!!: Logické programování a Alain Colmerauer · Vidět víc »
Datalog
Datalog je deklarativní logický programovací jazyk, který vychází z Prologu.
Nový!!: Logické programování a Datalog · Vidět víc »
Deklarativní programování
Deklarativní programování je založeno na myšlence programování aplikací pomocí definic co se má udělat, a ne jak se to má udělat.
Nový!!: Logické programování a Deklarativní programování · Vidět víc »
Edinburgh
Edinburgh (anglická výslovnost, výslovnost v češtině, skotskou gaelštinou Dùn Èideann), též Edinburk, je hlavní město Skotska, konstituční součásti Spojeného království.
Nový!!: Logické programování a Edinburgh · Vidět víc »
Elektronická paměť
osobním počítači Elektronická paměť je součástka, zařízení nebo materiál, který umožní uložit obsah informace (zápis do paměti), uchovat ji po požadovanou dobu a znovu ji získat pro další použití (čtení paměti).
Nový!!: Logické programování a Elektronická paměť · Vidět víc »
Formální gramatika
Formální gramatika v informatice označuje strukturu, která popisuje formální jazyk.
Nový!!: Logické programování a Formální gramatika · Vidět víc »
Funkcionální programování
Haskell. Funkcionální programování je deklarativní programovací paradigma, které chápe výpočet jako vyhodnocení matematických funkcí.
Nový!!: Logické programování a Funkcionální programování · Vidět víc »
Gödel (programovací jazyk)
Gödel je v informatice deklarativní a všestranně použitelný programovací jazyk, který dodržuje logické programovací paradigma.
Nový!!: Logické programování a Gödel (programovací jazyk) · Vidět víc »
Hornova klauzule
Ve výrokové logice se jako Hornova klauzule označuje speciální druh klauzule (disjunkce literálů), která obsahuje nejvýše jeden pozitivní literál (ostatní jsou negované): Hornovu klauzuli tak lze obecně zapsat jako implikaci ve formě: Jako Hornova formule se pak označuje formule v konjunktivní normální formě, která se skládá z Hornových klauzulí.
Nový!!: Logické programování a Hornova klauzule · Vidět víc »
Imperativní programování
Imperativní programování (též procedurální programování) je jedno z programovacích paradigmat, neboli způsobů, jak jsou v programovacím jazyku formulována řešení problémů.
Nový!!: Logické programování a Imperativní programování · Vidět víc »
Interpret (software)
Interpret je v informatice speciální počítačový program, který umožňuje přímo vykonávat (interpretovat) zápis jiného programu v jeho zdrojovém kódu ve zvoleném programovacím jazyce.
Nový!!: Logické programování a Interpret (software) · Vidět víc »
Jack Minker
Jack Minker (4. července 1927 Brooklyn – 9. dubna 2021) byl americký vědec v oblasti umělé inteligence, deduktivní databáze, logického uvažování a nelineárního uvažování.
Nový!!: Logické programování a Jack Minker · Vidět víc »
John McCarthy
John McCarthy (4. září 1927, Boston – 23. října 2011, Palo Alto) byl americký informatik a kognitivní vědec.
Nový!!: Logické programování a John McCarthy · Vidět víc »
Lisp
Lisp (historicky LISP) je rodina multiparadigmatických programovacích jazyků s dlouhou historií.
Nový!!: Logické programování a Lisp · Vidět víc »
Logika
Logika má více významů – v češtině se běžně používá ve smyslu myšlenková cesta, která vedla k daným závěrům.
Nový!!: Logické programování a Logika · Vidět víc »
Marseille
Marseille (výslovnost, francouzská), hlavní město Provence, je po Paříži druhé největší město Francie.
Nový!!: Logické programování a Marseille · Vidět víc »
Marvin Minsky
Marvin Lee Minsky (9. srpna 1927 New York – 24. ledna 2016 Boston) byl americký vědec zabývající se umělou inteligencí.
Nový!!: Logické programování a Marvin Minsky · Vidět víc »
Massachusettský technologický institut
Massachusettský technologický institut (Massachusetts Institute of Technology, MIT, česky někdy Massachusettský technický institut) je soukromá koedukovaná výzkumná univerzita ve městě Cambridge amerického státu Massachusetts.
Nový!!: Logické programování a Massachusettský technologický institut · Vidět víc »
Matematická logika
Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou.
Nový!!: Logické programování a Matematická logika · Vidět víc »
Mezinárodní organizace pro normalizaci
Mezinárodní organizace pro normalizaci (anglicky International Organization for Standardization), označovaná jako ISO, je světovou federací národních normalizačních organizací se sídlem v Ženevě.
Nový!!: Logické programování a Mezinárodní organizace pro normalizaci · Vidět víc »
Paradigma
Paradigma (z řeckého παράδειγμα parádeigma.
Nový!!: Logické programování a Paradigma · Vidět víc »
Překladač
Příklad struktury překladače podporujícího dva vstupní jazyky i dvě cílové architektury Překladač (též kompilátor, nebo také z – sestavit, zpracovat) je v nejčastějším smyslu slova softwarový nástroj používaný programátory pro vývoj softwaru.
Nový!!: Logické programování a Překladač · Vidět víc »
Programování
Programování je v informatice proces od návrhu řešení problému pomocí výpočetní techniky ke spustitelnému počítačovému programu.
Nový!!: Logické programování a Programování · Vidět víc »
Prolog (programovací jazyk)
Prolog je logický programovací jazyk.
Nový!!: Logické programování a Prolog (programovací jazyk) · Vidět víc »
Rezoluce (logika)
Rezoluce je v logice metoda automatického dokazování tvrzení zavedená Alanem Robinsonem v roce 1965.
Nový!!: Logické programování a Rezoluce (logika) · Vidět víc »
Robert Kowalski
Robert Anthony Kowalski také Bob Kowalski (* 15. května 1941 Bridgeport, Connecticut) je americký vědec zabývající se logikou a informatikou.
Nový!!: Logické programování a Robert Kowalski · Vidět víc »
Seymour Papert
Seymour Papert (* 29. února 1928 Pretoria, Jihoafrická republika - 31. července 2016 USA) byl americký matematik, informatik a profesor na Massachusettském technologickém institutu.
Nový!!: Logické programování a Seymour Papert · Vidět víc »
Stanfordova univerzita
Prostor před kostelem Stanfordova univerzita (anglicky Stanford University), plným jménem Leland Stanford Junior University, je americká soukromá univerzita ve Stanfordu nedaleko Palo Alto v Kalifornii v srdci Silicon Valley.
Nový!!: Logické programování a Stanfordova univerzita · Vidět víc »
Strom (graf)
Strom V teorii grafů se jako strom označuje graf, který je souvislý a neobsahuje žádnou kružnici.
Nový!!: Logické programování a Strom (graf) · Vidět víc »
Syntaktická analýza
Syntaktická analýza použitá pro převod zápisu matematického výrazu na syntaktický strom. Syntaktická analýza (slangově podle angličtiny též parsování nebo parsing) se v informatice a v lingvistice nazývá proces analýzy posloupnosti formálních prvků s cílem určit jejich gramatickou strukturu vůči předem dané (byť ne nutně explicitně vyjádřené) formální gramatice.
Nový!!: Logické programování a Syntaktická analýza · Vidět víc »
Terry Winograd
Terry Allen Winograd (* 24. února 1946 Takoma Park, Maryland, USA) je americký informatik, kognitivní vědec a profesor informatiky na Stanfordově univerzitě.
Nový!!: Logické programování a Terry Winograd · Vidět víc »
Umělá inteligence
Umělá inteligence (artificial intelligence, AI) je obor informatiky zabývající se tvorbou systémů řešících komplexní úlohy jako je rozpoznávání či klasifikace, např.
Nový!!: Logické programování a Umělá inteligence · Vidět víc »
University of Edinburgh
#PŘESMĚRUJ Edinburská univerzita.
Nový!!: Logické programování a University of Edinburgh · Vidět víc »
Zásobník (datová struktura)
Princip zásobníku Zásobník je v informatice obecná datová struktura (tzv. abstraktní datový typ) používaná pro dočasné ukládání dat.
Nový!!: Logické programování a Zásobník (datová struktura) · Vidět víc »
1960
1960 (MCMLX) byl rok, který dle gregoriánského kalendáře započal pátkem.
Nový!!: Logické programování a 1960 · Vidět víc »
1969
1969 (MCMLXIX) byl rok, který dle gregoriánského kalendáře započal středou.
Nový!!: Logické programování a 1969 · Vidět víc »
1971
1971 (MCMLXXI) byl rok, který dle gregoriánského kalendáře započal pátkem.
Nový!!: Logické programování a 1971 · Vidět víc »
1972
1972 (MCMLXXII) byl přestupný rok, který dle gregoriánského kalendáře započal sobotou 1. ledna a skončil v neděli 31.
Nový!!: Logické programování a 1972 · Vidět víc »
1973
1973 (MCMLXXIII) byl rok, který dle gregoriánského kalendáře započal pondělím.
Nový!!: Logické programování a 1973 · Vidět víc »
1977
1977 (MCMLXXVII) byl rok, který dle gregoriánského kalendáře započal sobotou.
Nový!!: Logické programování a 1977 · Vidět víc »
