6628926243
Programowanie w logice
a Programowanie w logice to podejście do programowania, w którym na program patrzymy nie Jak na opis krok po kroku pewnego sekwencyjnego algorytmu, lecz jak na teorię logiczną.
a Przy tym podejściu koncentrujemy się na deklaratywnej specyfikacji co jest problemem do rozwiązania, a nie na proceduralnej specyfikacji jak ma on być rozwiązany, a Takie języki programowania oparte są na rachunku predykatów pierwszego rzędu, więc bliskie są koncepcjom relacyjnych baz danych.
a Przy tym podejściu wywołanie procedury to twierdzenie do udowodnienia, przekazywane do interprtera jako zapytanie.
a Wykonanie programu odpowiada poszukiwaniu dowodu, a W konsekwencji zmienne w programowaniu w logice mają bardziej matematyczny charakter — można na nie przypisać wartość tylko raz.
Zbigniew Jurkiewicz, Instytut Informatyki UW Programowanie w logice Wykład Z bclZ dSfiyCh dlć
Wyszukiwarka
Podobne podstrony:
Untitled Scanned 04 (3) Rozwój zrównoważony (Sustainable Developement) to podejście do planowania ek
Teoria wzmocnienia - to podejście do motywacji, zgodnie, z którym zachowanie wywołujące nagrody będz
sowa9 poczucia pewności. Może to prowadzić do sytuacji konfliktowych i zachowań agresywnych, co nie
IMG?75 Eg/. nr l To jest oficer. A mnie podejrzewano na początku kariery, nie. Przyszły takie pytani
Slajd18 I co, to była MARCHEWKA, prawda? Jeśli nie, to należysz do tych 2% ludzi na świecie, których
Sposób podejścia do prawa w Anglii a na kontynencie. - Podstawowe cechy common-law: 1)
36 Stanisław Macioł ni1. To prowadzi do wzrostu konkurencji na rynku pracy oraz systematycznego wzro
Mikro czy makro? Ekonomia jest podzielona według sposobów podejścia do problemów gospodarczych na: □
DSC03165 au udało się podejść do m^HIHH^^>cenia na siebie jej uwagi. Mo-■ on w razie powtórzenia
Motywowanie, zarządzanie procesami interpersonalnymi Podejście do motywowania oparte na koncepcji
64 sowanie sprawozdaniami finansowymi nie było brane pod uwagę aż do 1907 r., w którym na drodze leg
koneksji pana albo prawo do urzędu uzyskują na mocy kontraktu i nie można go ich patriarchalizmem. P
24272 Włączanie świateł mijania Działanie ręczne Dźwignię 1 obrócić do położenia, w którym na jej
Czas nracv w ruchu ciągłym Prace w ruchu ciągłym to prace, które ze względu na technologię produkcji
więcej podobnych podstron