Відео

In acest video vei urmari lucruri interesante despre Gramatica unui Limbaj, si in mod special cum e formata Gramatica unui Limbaj de programare. Sunt prezentate exemple de gramatica pentru limbaj natural (limba engleza), gramatica pentru diverse limbaje simple, dar si gramatica limbajului de programare C, gramatica limbajului de programare Python sau gramatica pentru expresii aritmentice. Mater...

In acest video vei urmari ce sunt expresiile regulate, ce reguli de scriere folosim pentru a descrie o expreie regulata, ce e un limbaj regulat si legatura dintre automatele finite si expresiile regulate. Materia: Logica si Structuri Discrete - LSD Universitatea Politehnica Timisoara Facultatea de Automatica si Calculatoare Sectia Calculatoare si Tehnologia Informatiei cadru didactic dr. ing. C...

In acest video vei urmari procedura de a transforma un automat finit nedeterminist in automat finit determinist (Conversie NFA - DFA). Materia: Logica si Structuri Discrete - LSD Universitatea Politehnica Timisoara Facultatea de Automatica si Calculatoare Sectia Calculatoare si Tehnologia Informatiei cadru didactic dr. ing. CATALIN IAPA

In acest video vei putea urmari ce sunt automatele finite nedeterministe si 2 exemple de astfel de automate. La inceputul videoului este un rezumat despre ce este un limbaj si ce este un automati finit determinist. Materia: Logica si Structuri Discrete - LSD Universitatea Politehnica Timisoara Facultatea de Automatica si Calculatoare Sectia Calculatoare si Tehnologia Informatiei cadru didactic ...

In acest video vei urmari informatii despre Automatele finite deterministe. Materia: Logica si Structuri Discrete - LSD Universitatea Politehnica Timisoara Facultatea de Automatica si Calculatoare Sectia Calculatoare si Tehnologia Informatiei cadru didactic dr. ing. CATALIN IAPA

In acest video se vor aborda informatii despre limbaje. Ce caracteristici are un limbaj? Materia: Logica si Structuri Discrete - LSD Universitatea Politehnica Timisoara Facultatea de Automatica si Calculatoare Sectia Calculatoare si Tehnologia Informatiei cadru didactic dr. ing. CATALIN IAPA

In acest video vei regasi informatii generale despre automatele finite. Materia: Logica si Structuri Discrete - LSD Universitatea Politehnica Timisoara Facultatea de Automatica si Calculatoare Sectia Calculatoare si Tehnologia Informatiei cadru didactic dr. ing. CATALIN IAPA

In acest video vei regasi un exemplu de formula in Logica de ordin superior si vor fi expuse teoremele de incompletitudine ale lui Godel. Materia: Logica si Structuri Discrete - LSD Universitatea Politehnica Timisoara Facultatea de Automatica si Calculatoare Sectia Calculatoare si Tehnologia Informatiei cadru didactic dr. ing. CATALIN IAPA

In acest video vei urmarii informatii despre cum se pot interpreta formulele in Logica predicatelor, care poate fi intelesul acestora. Semantica in Logica predicatelor. Materia: Logica si Structuri Discrete - LSD Universitatea Politehnica Timisoara Facultatea de Automatica si Calculatoare Sectia Calculatoare si Tehnologia Informatiei cadru didactic dr. ing. CATALIN IAPA

In acest video vei urmarii pasii care trebuie urmati pentru a face demonstratii in Logica predicatelor. Materia: Logica si Structuri Discrete - LSD Universitatea Politehnica Timisoara Facultatea de Automatica si Calculatoare Sectia Calculatoare si Tehnologia Informatiei cadru didactic dr. ing. CATALIN IAPA

In acest video vei urmari regulile de unificare ale rezolutiei in Logica predicatelor. Materia: Logica si Structuri Discrete - LSD Universitatea Politehnica Timisoara Facultatea de Automatica si Calculatoare Sectia Calculatoare si Tehnologia Informatiei cadru didactic dr. ing. CATALIN IAPA

In acest video se parcurge rapid un exercitiu de lucru cu formule logice in Logica predicatelor: eliminarea implicatiei, introducerea negatiei pana la nivel de literali, Skolemizare, forma normala prenex, forma normala conjunctiva, demonstratia, aplicarea rezolutiei. Materia: Logica si Structuri Discrete - LSD Universitatea Politehnica Timisoara Facultatea de Automatica si Calculatoare Sectia C...

In acest video este prezentata pe scurt metoda rezolutiei atat in Logica propozitionala cat si in Logica predicatelor. Materia: Logica si Structuri Discrete - LSD Universitatea Politehnica Timisoara Facultatea de Automatica si Calculatoare Sectia Calculatoare si Tehnologia Informatiei cadru didactic dr. ing. CATALIN IAPA

In acest video vei afla cum se aplica rezolutia in Logica predicatelor pentru a demonstra ca o concluzie e adevarata plecand de la mai multe premize. Materia: Logica si Structuri Discrete - LSD Universitatea Politehnica Timisoara Facultatea de Automatica si Calculatoare Sectia Calculatoare si Tehnologia Informatiei cadru didactic dr. ing. CATALIN IAPA

Demonstratia prin metoda rezolutiei in Logica propozitionala

Exercitiu 2: Formalizarea limbajului natural in Logica predicatelor

Formalizarea limbajului natural in Logica predicatelor

Exercitiu 1: Formalizarea limbajului natural in Logica predicatelor

Sintaxa in Logica predicatelor

Logica predicatelor este mai expresiva. Limitari in Logica propozitionala

Consistenta si completitudine in sisteme logice

Consecinta logica (semnatica) in Logica propozitionala

Exemplu de deductie in Logica propozitionala

Deductia logica. Demonstratia in Logica propozitionala

Realizabilitatea unei formule (Satisfiability SAT-problem) in Logica propozitionala

Rezumat Logica propozitionala

Logica propozitionala - Diagrama de decizie binara

Logica propozitiilor - Forma Normala Conjuctiva (CNF) a unei formule

Logica propozitionala - Semantica in Logica Propozitiilor