Domov Rozvoj Co je logika programování? - definice z techopedie

Co je logika programování? - definice z techopedie

Obsah:

Anonim

Definice - Co znamená programovací logika?

Logika programování je základní konstrukcí, která se aplikuje na informatiku různými způsoby.

Logika programování zahrnuje logické operace na tvrdých datech, která pracují podle logických principů a kvantifikovatelných výsledků.

Techopedia vysvětluje logiku programování

Termín programovací logika má své kořeny v rozvoji počítačové vědy. Logika programování začala pouze pomocí „tvrdé a rychlé logiky“, která byla sestavena do sofistikovaných algoritmů a vyjádřena v programovacích jazycích, jako je Prolog.

Základní počítače vyvinuly způsoby, jak zacházet s čísly a logickými stavy, s použitím konkrétních operátorů, které vedou k přesným výsledkům.

Důležitým rozdílem je, že programovací logika a logika obecně je zásadně nastavena proti jiným druhům programování, které nejsou postaveny na tvrdých logických nebo kvantifikovatelných stavech a výsledcích.

Například modální logika je svou povahou nastavena proti teoretickým kvantovým operacím, které neposkytují konkrétní stav setu, na který mohou počítače aplikovat logiku.

Programovací logika obecně spočívá na základech výpočetní logiky, kterou sdílejí jak lidé, tak stroje, což prozkoumáváme, když pokračujeme v interakci s novými technologiemi. S ohledem na to by bylo možné vyvinout konkrétnější definice programovací logiky, která by měla co do činění s částí kusu kódu.

Co je logika programování? - definice z techopedie