Работим за възстановяване на приложението Unionpedia в Google Play Store
ИзходящIncoming
🌟Упростихме нашия дизайн за по-добра навигация!
Instagram Facebook X LinkedIn

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

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

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

Съдържание

  1. 14 отношения: ASP, ISO, Lisp, Prolog, Пролог (език за програмиране), Алонсо Чърч, Робърт Ковалски, Станфордски университет, Функционално програмиране, Масачузетски технологичен институт, Идентификатор на дигитален обект, Императивно програмиране, Единбург, Единбургски университет.

  2. Логика
  3. Парадигми на програмиране

ASP

#виж Active Server Pages.

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

ISO

#виж Международна организация по стандартизация.

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

Lisp

#пренасочване Lisp (език за програмиране).

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

Prolog

#виж Пролог.

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

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

Пролог (Prolog) е компютърен език за логическо програмиране.

Виж Логическо програмиране и Пролог (език за програмиране)

Алонсо Чърч

Алонсо Чърч (Alonzo Church) е американски математик и логик, който има съществен принос към математическата логика и основите на теоретичната информатика.

Виж Логическо програмиране и Алонсо Чърч

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

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

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

Станфордски университет

Университетът „Лиланд Станфорд-младши“, по-известен като Станфордски университет или просто Станфорд (Leland Stanford Junior University или Stanford University) е частен американски университет в Станфорд, окръг Санта Клара, щата Калифорния.

Виж Логическо програмиране и Станфордски университет

Функционално програмиране

В компютърните науки функционално програмиране е парадигма за програмиране – стил за изграждането на структурата и елементите на компютърни програми, който третира като изчислява оценката на математически функции и избягва променящите състоянието непостоянни данни.

Виж Логическо програмиране и Функционално програмиране

Масачузетски технологичен институт

Един от корпусите на MIT – центърът ''Stata'' Масачузетският технологичен институт (Massachusetts Institute of Technology, по-известен със съкращението MIT) е американски частен университет в Кеймбридж, Масачузетс, в непосредствена близост до Бостън.

Виж Логическо програмиране и Масачузетски технологичен институт

Идентификатор на дигитален обект

Идентификатор на дигитален (цифров) обект, обозначен с DOI (digital object identifier), е параметър на системата за идентификация на обекти в дигиталното пространство – вид постоянни етикети, които се прикрепяват към обект, намиращ се в в цифрова среда.

Виж Логическо програмиране и Идентификатор на дигитален обект

Императивно програмиране

Императивното програмиране (imperare.

Виж Логическо програмиране и Императивно програмиране

Единбург

Единбург (Edinburgh, произнася се, Единбръ и Единбъръ, на гаелски Dùn Èideann, произнася се, на български получава произношението си от немски) е столицата и вторият по големина град в Шотландия.

Виж Логическо програмиране и Единбург

Единбургски университет

Единбургският университет (The University of Edinburgh, на шотландски келтски език: Oilthigh Dhùn Èideann) е основан през 1582 г., което го нарежда сред старите университети на територията на Британските острови.

Виж Логическо програмиране и Единбургски университет

Вижте също

Логика

Парадигми на програмиране