Logică și structuri discrete

Curs, anul I CTI.
Cadru didactic: Marius Minea
Laborator: dr. Casandra Holotescu, Mihai Agape, Tițian Dragomir, Norbert Fazekas, Horia Radu, Mihai Simu, Andrei Stătescu

Curs, luni 16-18, Amf. V. Vlad (Construcții)
Consultații: marți 18-19 D1 + la cerere

Materiale de curs

vezi și cursul de anul trecut
  1. Funcții Exemple simple
  2. Recursivitate. Opțional: program pentru fractalul cruce
    Exerciții rezolvate: variante recursive pentru calculul de aproximări/limite (rădăcina pătrată) și suma unei serii
  3. Liste. Notițe de curs. Exemplu: județe și populația
  4. Mulțimi. mulțimea părților. Notițe de curs
  5. Relații. Dicționare. Notițe de curs. Exemplele de la curs și consultații
    Exerciții simple pentru recapitularea cursului.
  6. Logică propozițională. Exemplele de la curs.
    Alte exemple de parcurgeri recursive pentru formule
  7. Logică propozițională.
    Consultații după parțial
  8. Logica predicatelor. Metoda rezoluției.
    Observații despre formalizare. Exemplul detaliat cu formalizare și rezolutie de la curs. Alte două exemple (Casandra Holotescu, curs an I Info)

Laborator

Reguli de rezolvare și predare a temelor

Puteți rula programe online aici: IOcamlJS (preluat de aici), Try Ocaml, sau Coding Ground

  1. Tema 1 pentru Laboratorul 1: Funcții
  2. Exerciții pregătitoare pentru Laboratorul 2: Recursivitate
  3. Exerciții pregătitoare pentru Laboratorul 3: Liste
  4. Exerciții pregătitoare pentru Laboratorul 4: Mulțimi
  5. Laboratorul 5: Relații și dicționare
    Construiți relații și urmăriți proprietățile lor (Stanford CS 103 Mathematical Foundations of Computing)
  6. Exerciții pregătitoare pentru Laboratorul 6: Logica propozițională
    Pagini cu transformări pentru formule: logictools.org (atenție, operatori făra precedență), U. of Utah (BDD-uri), Wolfram Alpha
  7. Exerciții pregătitoare pentru Laboratorul 7: Logica propozițională
  8. Exerciții pregătitoare pentru Laboratorul 8: Logica predicatelor

Resurse

Limbajul ML

Cărți

Alte cursuri

Marius Minea
Last modified: Sun Nov 19 11:00:00 EET 2017