L2 L3 Instrumentariu pentru proectarea sistemelor inform.

(SI)

L2: Logică in procesarea limbajului natural (modelarea Mk în logică)

Indentificare (situatii)  Prezentare (text)  Formalizare (logica)  Prelucrare(calculator)

1. Indentificare (situatii)
- Ipoteza lui Niuell și Saimon
- Imagini mintale
- Prezentare simbolică în limbajul natural.
2. Prezentare în formă de text în tr-un limbaj natural

• Elemente de bază a unui text scris în limbajul natural

• Strategia de scriere și citire

• Soluții pentru formalizare (de exemplu în logică).

3. Logica în modelarea problemelor (elemente)

- Logica Aristoteliana

- logica propozițiilor

- Logica predicatelor

- Programarea calculatorului în logică

https://ibn.idsi.md/sites/default/files/imag_file/10%20Aspecte%20teoretice%20ale%20programarilor
%20logice.pdf

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.519.6307&rep=rep1&type=pdf

L3: Logica în rezolvarea problemelor ce țin de Marketing

Model (logic)  program (scris în logică)  interpretare (programului) soluționarea problemelor Mk

- Interpretarea programelor scrisă în logică

- Limbaj practic de programare în logică
- Relații binare și problema creării funcțiilor unui SI (inclusiv Mk)

https://ibn.idsi.md/sites/default/files/imag_file/17%20Deductia%20logica_mecanism%20de%20calcul
%20%20al%20limbajului%20de%20programare%20logica.pdf

http://prolog.md/articol_logica_intrebarilor_SI.pdf