Logo
Юнионпедия
Съобщение
Предлага се в Google Play
New! Свали Юнионпедия на вашия Android ™!
Инсталирай
По-бързо от браузъра!
 

Логическо програмиране

Index Логическо програмиране

Логическото програмиране е парадигма за програмиране, която се основава на принципите на формалната логика, анализ на предикатите и предикатното смятане.

2 отношения: Робърт Ковалски, Волфрам (език за програмиране).

Робърт Ковалски

Робърт Антъни Ковалски (Robert Anthony Kowalski) е логик от САЩ, който прекарва повечето време от своята кариера в Англия.

New!!: Логическо програмиране и Робърт Ковалски · Виж повече »

Волфрам (език за програмиране)

Езикът Волфрам (Wolfram Language) е мулти-парадигмен програмен език, който е залегнал в основата на математическия софтуер Mathematica и на облака Wolfram Programming Cloud, създадени от компанията Волфрам Рисърч, с основател и главен изпълнителен директор е Стефан Волфрам.

New!!: Логическо програмиране и Волфрам (език за програмиране) · Виж повече »

ИзходящIncoming
Хей! Ние сме на Facebook сега! »