Różnice

Różnice między wybraną wersją a wersją aktualną.

Odnośnik do tego porównania

pl:miw:2009:piw09_clp [2009/06/07 18:52]
piw09
pl:miw:2009:piw09_clp [2017/07/17 10:08]
Linia 1: Linia 1:
-====== Opis ====== 
-Joanna Jaworek, [[jaworek.joanna@gmail.com]] \\ 
-**Temat: Programowanie z wykorzystaniem ograniczeń CLP. Sekwencjonowanie DNA- projekt z wykorzystaniem biblioteki JPL swi-prolog.** 
- 
-====== Wstęp ====== 
- 
-====== Programowanie logiczne ====== 
-===== Teoria ===== 
-===== Prolog a programowanie w logice ===== 
-====== Constraint logic programming -programowanie z ograniczeniami ====== 
-===== Teoria ===== 
-===== Propagacja ograniczeń ===== 
-===== Dystrybucja i poszukiwanie ===== 
-===== Ograniczenia ===== 
-==== Arytmetyczne ==== 
-==== Logiczne ==== 
-==== Listy i liczby rzeczywiste ==== 
-===== Moduły CLP ===== 
-==== clpfd (Constraint Programming Language over Finite Domains) ==== 
-==== clp_distinct ==== 
-==== CLP(Q,R) Constraint Logic Programming over Rationals or Reals ==== 
-===== Wady CLP ===== 
-====== CHR -Constraint Handling Rules ====== 
-===== Program z przykładami ===== 
-==== Przykłady ==== 
-==== Implementacja ==== 
-====== Sekwencjonowanie DNA ====== 
-===== Teoria ===== 
-===== Implementacja sekwencjonowania DNA w PROLOGu ===== 
-==== Wybór środowiska ==== 
-==== Interfejs użytkownika ==== 
-====== Podsumowanie ====== 
- 
- 
- 
- 
- 
- 
- 
- 
- 
- 
- 
- 
- 
- 
- 
- 
- 
- 
- 
- 
- 
- 
  
pl/miw/2009/piw09_clp.txt · ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0