Notiuni de algebra booleana

Mărimea: px
Porniți afișarea la pagina:

Download "Notiuni de algebra booleana"

Transcriere

1 Noţiuni de algebră booleană (în lucru)

2 Definiţie Algebră booleană = o structură algebrică formată din: O mulţime B Două operaţii binare notate cu (+) şi (.) O operaţie unară notată cu ( ) pentru care sunt valabile 6 axiome:

3 Axiomele algebrei booleene 1. Mulţimea B conţine cel puţin două elemente diferite 2. Axioma închiderii: operaţiile (+) şi (.) sunt operaţii interne adică: a,b B (i) a+b B (ii) a.b B

4 Axiomele algebrei booleene 3. Existenţa elementelor neutre pentru operaţiile binare (i) element neutru faţă de operaţia (+) notat cu 0 a.î.: a B, a+0=a (i) element neutru faţă de operaţia (.) notat cu 1 a.î. a B, a.1=a

5 Axiomele algebrei booleene 4. Comutativitate a,b B (i) a+b=b+a (ii) a.b=b.a 5. Distributivitatea a,b B (i) a+(b.c) =(a+b).(a+c) (ii) a.(b+c)=a.b+a.c

6 Axiomele algebrei booleene 6. Existenţa elementului opus a B, există elementul opus lui a, notat a a.î.: (i) a+a'=1 (ii) a.a'=0

7 Denumirea operaţiilor Operaţia + se numeşte sumă logică, adunare logică, surjecţie şi o vom numi pe scurt sumă Operaţia. se numeşte produs logic, înmulţire logică, conjuncţie şi o vom numi pe scurt produs Operaţia se numeşte negare sau complementare

8 Prioritatea operaţiilor În cadrul unei algebre booleene operaţiile au urmatoarea prioritate ( ) expresiile din paranteză operaţia de complementare. operaţia de înmulţire logică + operaţia de sumare logică

9 Principiul dualităţii Axiomele algebrei booleene sunt prezentate în perechi fiecare axiomă din pereche fiind duala celeilalte O axiomă se poate obţine din duala sa modificând operaţia + cu operaţia. şi elementul 0 cu elementul 1 (şi invers). Exemplu: existenţa elementului opus (i) a + a = 1 (ii) a. a = 0

10 Proprietăţile algebrei booleene Idempotenţa a B (i) a + a = a (ii) a.a = a Proprietăţile lui 0 şi 1 a B (i) a+1=1 (ii) a.0 = 0

11 Proprietăţile algebrei booleene Unicitatea lui 0 şi 1 Elementele 0 şi 1 sunt unice Unicitatea elementului opus Pentru a B, a este unic Distincţia dintre 0 şi 1 Elementele 0 şi 1 sunt distincte Involuţia a B, (a')'=a

12 Proprietăţile algebrei booleene Absorbţia a,b B (i) a + a.b = a (ii) a.(a+b) = a Asociativitatea a,b,c B (i) a + (b + c) = (a + b) + c (ii) a. (b. c) = (a. b). c

13 Proprietăţile algebrei booleene De Morgan a,b B (i) (a + b) = a. b (ii) (a. b) = a + b

14 Exemple de algebre booleene Algebra binară B={0,1} împreună cu operaţiile Definire alternativă a operaţiilor

15 Exemple de algebre booleene Simboluri Contact normal deschis (cnd) Contact normal închis (cni) K= mulţimea contactelor electrice împreună cu operaţiile: Legare în serie Legare în paralel Schimbarea stării contactului

16 Comutativitate a b b a a b b a

17 Element neutru a 1 a a a 0

18 Distributivitate a a a b c b c b a b a c a c

19 Element opus a a 0 a 1 a

20 Idempotenţa a a a a a a

21 Proprietăţile lui 0 si 1 a 0 0 a 1 1

22 Absorbţia a a a b a a a b

23 De Morgan a d a b F b d F a b d a F d F b

24 Funcţiile booleene de două variabile n=2 nr. de variabile 2 2 =4 combinaţii de valori pentru variabile =16 funcţii de 2 variabile

25 Funcţiile booleene de două variabile F0 = 0 Funcţia constantă 0 F1 = A.B (SI) AND F2 = AB' Inhibiţie (A dar nu B) F3 = A Identitate F4 = A B Inhibiţie (B dar nu A) F5 = B Identitate F6 = AB' + A'B SAU-Exclusiv (XOR), se notează şi A B F7=A+BSAU F8 = (A + B)' SAU-NU (NOR) (în logica matematică denumită funcţia lui Peirce, se mai notează A B F9 = A'B' + AB Echivalenţă, se notează şi A B F10=B' Complement, NU (NOT) F11 = A + B' Implicaţie (B implică A), se notează şi B A F12 = A'Complement, NU (NOT) F13= A' + B Implicaţie (A implică B), se notează şi A B F14 = (AB)' SI-NU (NAND) - în logica matematică denumită funcţia Sheffer, se mai notează A B F15 = 1 Funcţia constantă 1

Prelegerea 4 În această prelegere vom învăţa despre: Algebre booleene; Funcţii booleene; Mintermi şi cuburi n - dimensionale. 4.1 Definirea algebrelor

Prelegerea 4 În această prelegere vom învăţa despre: Algebre booleene; Funcţii booleene; Mintermi şi cuburi n - dimensionale. 4.1 Definirea algebrelor Prelegerea 4 În această prelegere vom învăţa despre: Algebre booleene; Funcţii booleene; Mintermi şi cuburi n - dimensionale. 4.1 Definirea algebrelor booleene Definiţia 4.1 Se numeşte algebră Boole (booleană)

Mai mult

L4. TEOREMELE ALGEBREI BINARE. FUNCȚII LOGICE ELEMENTARE. OPERAȚII LOGICE PE BIT. SINTEZA FUNCȚIILOR LOGICE DIN TABELE DE ADEVĂR 1. Obiective Prin par

L4. TEOREMELE ALGEBREI BINARE. FUNCȚII LOGICE ELEMENTARE. OPERAȚII LOGICE PE BIT. SINTEZA FUNCȚIILOR LOGICE DIN TABELE DE ADEVĂR 1. Obiective Prin par L4. TEOREMELE LGEBREI BINRE. FUNCȚII LOGICE ELEMENTRE. OPERȚII LOGICE PE BIT. SINTEZ FUNCȚIILOR LOGICE DIN TBELE DE DEVĂR 1. Obiective Prin parcurgerea acestei ședințe de laborator studenții vor fi capabili:

Mai mult

L4. TEOREMELE ALGEBREI BINARE. FUNCȚII LOGICE ELEMENTARE. OPERAȚII LOGICE PE BIT. SINTEZA FUNCȚIILOR LOGICE DIN TABELE DE ADEVĂR 1. Obiective Prin par

L4. TEOREMELE ALGEBREI BINARE. FUNCȚII LOGICE ELEMENTARE. OPERAȚII LOGICE PE BIT. SINTEZA FUNCȚIILOR LOGICE DIN TABELE DE ADEVĂR 1. Obiective Prin par L4. TEOREMELE LGEBREI BINRE. FUNCȚII LOGICE ELEMENTRE. OPERȚII LOGICE PE BIT. SINTEZ FUNCȚIILOR LOGICE DIN TBELE DE DEVĂR 1. Obiective Prin parcurgerea acestei ședințe de laborator studenții vor fi capabili:

Mai mult

Microsoft Word - cap1p4.doc

Microsoft Word - cap1p4.doc Algebră liniară, geometrie analitică şi diferenţială.6 Subspaţii vectoriale Fie V un spaţiu vectorial peste corpul K. În cele ce urmează vom introduce două definiţii echivalente pentru noţiunea de subspaţiu

Mai mult

Limbaje de ordinul I LOGICA DE ORDINUL I Un limbaj L de ordinul I este format din: o mulţime numărabilă V = {v n n N} de variabile; conectorii şi ; pa

Limbaje de ordinul I LOGICA DE ORDINUL I Un limbaj L de ordinul I este format din: o mulţime numărabilă V = {v n n N} de variabile; conectorii şi ; pa Limbaje de ordinul I LOGICA DE ORDINUL I Un limbaj L de ordinul I este format din: o mulţime numărabilă V = {v n n N} de variabile; conectorii şi ; paranteze: (, ); simbolul de egalitate =; cuantificatorul

Mai mult

LOGICA MATEMATICA SI COMPUTATIONALA Sem. I,

LOGICA MATEMATICA SI COMPUTATIONALA  Sem. I, LOGICA MATEMATICĂ ŞI COMPUTAŢIONALĂ Sem. I, 2017-2018 Ioana Leustean FMI, UB Partea III Calculul propoziţional clasic Consistenţă şi satisfiabilitate Teorema de completitudine Algebra Lindenbaum-Tarski

Mai mult

Probleme date la examenul de logică matematică şi computaţională. Partea a II-a Claudia MUREŞAN Universitatea din Bucureşti Facultatea de Matematică ş

Probleme date la examenul de logică matematică şi computaţională. Partea a II-a Claudia MUREŞAN Universitatea din Bucureşti Facultatea de Matematică ş Probleme date la examenul de logică matematică şi computaţională. Partea a II-a Claudia MUREŞAN Universitatea din Bucureşti Facultatea de Matematică şi Informatică Academiei 4, RO 0004, Bucureşti, România

Mai mult

C:/Users/Lenovo/Dropbox/activitate matematica/cursuri/MS ETTI /msetti.dvi

C:/Users/Lenovo/Dropbox/activitate matematica/cursuri/MS ETTI /msetti.dvi Curs 1 Noţiuni de teoria câmpului 1.1 Vectori şi operaţii cu vectori 1.1.1 Scalari şi vectori Definiţie 1.1. Un număr real λ R se va numi scalar. O pereche de numere reale (a 1,a ) R se va numi vector

Mai mult

Gheorghe IUREA Adrian ZANOSCHI algebră geometrie clasa a VII-a ediţia a V-a, revizuită mate 2000 standard EDITURA PARALELA 45 Matematică. Clasa a VII-

Gheorghe IUREA Adrian ZANOSCHI algebră geometrie clasa a VII-a ediţia a V-a, revizuită mate 2000 standard EDITURA PARALELA 45 Matematică. Clasa a VII- Gheorghe IUREA Adrian ZANOSCHI algebră geometrie clasa a VII-a ediţia a V-a, revizuită mate 2000 standard 3 Algebră Capitolul I. MULŢIMEA NUMERELOR RAŢIONALE Identificarea caracteristicilor numerelor raţionale

Mai mult

ExamView Pro - Untitled.tst

ExamView Pro - Untitled.tst Class: Date: Subiecte logica computationala licenta matematica-informatica 4 ani Multiple Choice Identify the letter of the choice that best completes the statement or answers the question. 1. Fie formula

Mai mult

Logică și structuri discrete Mulțimi Casandra Holotescu

Logică și structuri discrete Mulțimi Casandra Holotescu Logică și structuri discrete Mulțimi Casandra Holotescu casandra@cs.upt.ro https://tinyurl.com/lectureslsd Mulțimi aspecte teoretice Ce sunt mulțimile? Mulțimea e un concept matematic fundamental. Definiție

Mai mult

FIŞA DISCIPLINEI

FIŞA DISCIPLINEI FIŞA DISCIPLINEI 1. Date despre program 1.1.Instituţia de învăţământ superior Universitatea SPIRU HARET 1.2.Facultatea Inginerie, Informatică şi Geografie 1.3.Departamentul Informatică şi Geografie 1.4.Domeniul

Mai mult

Prelegerea 3 În această prelegere vom învăţa despre: Clase speciale de latici: complementate. modulare, metrice, distributive şi 3.1 Semi-distributivi

Prelegerea 3 În această prelegere vom învăţa despre: Clase speciale de latici: complementate. modulare, metrice, distributive şi 3.1 Semi-distributivi Prelegerea 3 În această prelegere vom învăţa despre: Clase speciale de latici: complementate. modulare, metrice, distributive şi 3.1 Semi-distributivitate şi semi - modularitate Fie L o latice. Se numeşte

Mai mult

PowerPoint Presentation

PowerPoint Presentation ELEMENTE DE MORFOLOGIE MATEMATICA Morfologia matematica Cadru de abordare diferit: Pana acum : Imaginea este o functie de doua variabile. Pixelii imaginii (valori si coordonate de pozitie) sunt structurati

Mai mult

Cursul 6 Cadru topologic pentru R n În continuarea precedentei părţi, din cursul 5, dedicată, în întregime, unor aspecte de ordin algebric (relative l

Cursul 6 Cadru topologic pentru R n În continuarea precedentei părţi, din cursul 5, dedicată, în întregime, unor aspecte de ordin algebric (relative l Cursul 6 Cadru topologic pentru R n În continuarea precedentei părţi, din cursul 5, dedicată, în întregime, unor aspecte de ordin algebric (relative la R n, în principal), sunt prezentate aici elemente

Mai mult

Microsoft Word - D_ MT1_II_001.doc

Microsoft Word - D_ MT1_II_001.doc ,1 SUBIECTUL II (30p) Varianta 1001 a b 1 Se consideră matricea A = b a, cu a, b şi 0 http://wwwpro-matematicaro a) Să se arate că dacă matricea X M ( ) verifică relaţia AX = XA, atunci există uv,, astfel

Mai mult

Cursul 1 1. Introducere Corpul numerelor complexe Dezvoltarea istorică a gândirii matematice a urmărit îndeaproape evoluţia ideii de număr. Această ev

Cursul 1 1. Introducere Corpul numerelor complexe Dezvoltarea istorică a gândirii matematice a urmărit îndeaproape evoluţia ideii de număr. Această ev Cursul 1 1. Introducere Corpul numerelor complexe Dezvoltarea istorică a gândirii matematice a urmărit îndeaproape evoluţia ideii de număr. Această evoluţie, exprimată succint prin şirul de incluziuni

Mai mult

De la BIT la procesor

De la BIT la procesor Florin ONIGA DE LA BIT LA PROCESOR. Introducere în arhitectura calculatoarelor Editura UTPRESS Cluj-Napoca, 29 ISBN 978-66-737-366- Editura U.T.PRESS Str.Observatorului nr. 34 4775 Cluj-Napoca Tel.:264-4.999

Mai mult

Geometrie afină Conf. Univ. Dr. Cornel Pintea cpintea math.ubbcluj.ro Cuprins 1 Săptămâna Endomorfismele unui spaţiu afin Transla

Geometrie afină Conf. Univ. Dr. Cornel Pintea   cpintea math.ubbcluj.ro Cuprins 1 Săptămâna Endomorfismele unui spaţiu afin Transla Geometrie afină Conf Univ Dr Cornel Pintea E-mail: cpintea mathubbclujro Cuprins 1 Săptămâna 12 1 2 Endomorfismele unui spaţiu afin 1 21 Translaţia 1 22 Subspaţii invariante 2 23 Omotetii 2 3 Apendix 2

Mai mult

carteInvataturaEd_2.0_lectia5.pdf

carteInvataturaEd_2.0_lectia5.pdf Lect ia3 Diagrame Veitch-Karnaugh 5.1 Noţiuni teoretice Diagramele Veich-Karnaugh (V-K) sunt o modalitate de reprezentare grafică a funcţiilor logice. Pentru o funct ie de N variabile, diagrama corespunz

Mai mult

Limbaje Formale, Automate si Compilatoare

Limbaje Formale, Automate si Compilatoare Limbaje Formale, Automate şi Compilatoare Curs 1 2018-19 LFAC (2018-19) Curs 1 1 / 45 Prezentare curs Limbaje Formale, Automate şi Compilatoare - Curs 1 1 Prezentare curs 2 Limbaje formale 3 Mecanisme

Mai mult

Probleme proiect TP BITPERM Implementați un algoritm care citește de la intrarea standard două numere naturale și scrie la ieșirea standard da

Probleme proiect TP BITPERM Implementați un algoritm care citește de la intrarea standard două numere naturale și scrie la ieșirea standard da Probleme proiect TP 2016 1. BITPERM Implementați un algoritm care citește de la intrarea standard două numere naturale și scrie la ieșirea standard dacă reprezentarea binară a unuia dintre numere poate

Mai mult

DAN LASCU ADRIANA-LIGIA SPORIŞ ANDA OLTEANU PAUL VASILIU MATEMATICĂ. CULEGERE DE PROBLEME TIP GRILĂ PENTRU ADMITEREA ÎN ACADEMIA NAVALĂ MIRCEA CEL BĂT

DAN LASCU ADRIANA-LIGIA SPORIŞ ANDA OLTEANU PAUL VASILIU MATEMATICĂ. CULEGERE DE PROBLEME TIP GRILĂ PENTRU ADMITEREA ÎN ACADEMIA NAVALĂ MIRCEA CEL BĂT DAN LASCU ADRIANA-LIGIA SPORIŞ ANDA OLTEANU PAUL VASILIU MATEMATICĂ. CULEGERE DE PROBLEME TIP GRILĂ PENTRU ADMITEREA ÎN ACADEMIA NAVALĂ MIRCEA CEL BĂTRÂN Colecţia Matematică DAN LASCU ADRIANA-LIGIA SPORIŞ

Mai mult

Slide 1

Slide 1 SCTR -SZOKE ENIKO - Curs 4 continuare curs 3 3. Componentele hard ale unui sistem de calcul in timp real 3.1 Unitatea centrala de calcul 3.1.1 Moduri de adresare 3.1.2 Clase de arhitecturi ale unitatii

Mai mult

Dorel LUCHIAN Gabriel POPA Adrian ZANOSCHI Gheorghe IUREA algebră geometrie clasa a VIII-a ediţia a V-a, revizuită mate 2000 standard EDITURA PARALELA

Dorel LUCHIAN Gabriel POPA Adrian ZANOSCHI Gheorghe IUREA algebră geometrie clasa a VIII-a ediţia a V-a, revizuită mate 2000 standard EDITURA PARALELA Dorel LUCHIAN Gabriel POPA Adrian ZANOSCHI Gheorghe IUREA algebră geometrie clasa a VIII-a ediţia a V-a, revizuită mate 000 standard 3 10 PP Algebră Capitolul I. NUMERE REALE Competenţe specifice: Determinarea

Mai mult

Elemente de aritmetica

Elemente de aritmetica Elemente de aritmetică Anul II Februarie 2017 Divizibilitate în Z Definiţie Fie a, b Z. Spunem că a divide b (scriem a b) dacă există c Z astfel încât b = ac. In acest caz spunem că a este un divizor al

Mai mult

Microsoft Word - Curs1.docx

Microsoft Word - Curs1.docx 1. REPREZENTAREA INFORMAȚIILOR ÎN CALCULATOR 1.1. CONCEPTUL DE DATĂ ȘI INFORMAȚIE Datele desemnează elementele primare, provenind din diverse surse, fără o formă organizată care să permită luarea unor

Mai mult

D.Rusu, Teoria măsurii şi integrala Lebesgue 6 MĂSURA LEBESGUE Cursul 5 Teorema 6.26 Există submulţimi ale lui R care nu sunt măsurabile Lebesgue. Dem

D.Rusu, Teoria măsurii şi integrala Lebesgue 6 MĂSURA LEBESGUE Cursul 5 Teorema 6.26 Există submulţimi ale lui R care nu sunt măsurabile Lebesgue. Dem D.Rusu, Teoria măsurii şi integrala Lebesgue 6 MĂSURA LEBESGUE Cursul 5 Teorema 6.26 Există submulţimi ale lui R care nu sunt măsurabile Lebesgue. Demonstraţie. Fie mulţimea A = [0, ], pe care definim

Mai mult

I

I METODA VECTORIALĂ ÎN GEOMETRIE prof. Andrei - Octavian Dobre Această metodă poate fi descrisă după cum urmează: Fiind dată o problemă de geometrie, după explicitarea şi reprezentarea grafică a configuraţiei

Mai mult

Distanţa euclidiană (indusă de norma euclidiană) (în R k ). Introducem în continuare o altă aplicaţie, de această dată pe produsul cartezian R k XR k,

Distanţa euclidiană (indusă de norma euclidiană) (în R k ). Introducem în continuare o altă aplicaţie, de această dată pe produsul cartezian R k XR k, Distanţa euclidiană (indusă de norma euclidiană) (în R k ). Introducem în continuare o altă aplicaţie, de această dată pe produsul cartezian R k XR k, aplicaţie despre care vom vedea că reprezintă generalizarea

Mai mult

Şcoala ………

Şcoala ……… Şcoala... Clasa a X-a Disciplina: Matematică TC + CD Anul şcolar: 07-08 TC = trunchi comun 35 săptămâni: 8 săptămâni semestrul I CD = curriculum diferenţiat Nr. ore: 3 ore / săptămână 7 săptămâni semestrul

Mai mult

Clasa IX 1. O lăcustă face salturi, fiecare salt în linie dreaptă şi de două ori mai lung ca precedentul. Poate vreodată lăcusta să revină în punctul

Clasa IX 1. O lăcustă face salturi, fiecare salt în linie dreaptă şi de două ori mai lung ca precedentul. Poate vreodată lăcusta să revină în punctul Clasa IX. O lăcustă face salturi, fiecare salt în linie dreaptă şi de două ori mai lung ca precedentul. Poate vreodată lăcusta să revină în punctul de plecare iniţial? Soluţie. Răspunsul este negativ.

Mai mult

curs 9 v3 [Compatibility Mode]

curs 9 v3 [Compatibility Mode] Investeşte în oameni! FONDUL SOCIAL EUROPEAN Programul Operaţional Sectorial pentru Dezvoltarea Resurselor Umane 007 03 Aa prioritară nr. Educaţia şi formarea profesională în sprijinul creşterii economice

Mai mult

Facultatea de Matematică Anul II Master, Geometrie Algebrică Mulţimi algebrice ireductibile. Dimensiune 1 Mulţimi ireductibile Propoziţia 1.1. Fie X u

Facultatea de Matematică Anul II Master, Geometrie Algebrică Mulţimi algebrice ireductibile. Dimensiune 1 Mulţimi ireductibile Propoziţia 1.1. Fie X u Facultatea de Matematică Anul II Master, Geometrie Algebrică Mulţimi algebrice ireductibile. Dimensiune 1 Mulţimi ireductibile Propoziţia 1.1. Fie X un spaţiu topologic. Următoarele afirma-ţii sunt echivalente:

Mai mult

PROGRAMA CONCURSULUI NAŢIONAL

PROGRAMA CONCURSULUI NAŢIONAL ANUL ŞCOLAR 2011-2012 CLASA a IX-a În programa de concurs pentru clasa a IX-a sunt incluse conţinuturile programelor din clasele anterioare şi din etapele anterioare. 1. Mulţimi şi elemente de logică matematică.

Mai mult

gaussx.dvi

gaussx.dvi Algebră liniarăi 1 Recapitulare cunoştiinţe de algebră din clasa XI-a În clasa a XI s-a studiat la algebră problema existenţei soluţiei 1 şi calculării soluţiei sistemelor liniare 2 (adică sisteme care

Mai mult

PowerPoint Presentation

PowerPoint Presentation Circuite Integrate Digitale Conf. Monica Dascălu Curs Seminar Laborator notă separată Notare: 40% seminar 20% teme // + TEMA SUPLIMENTARA 40% examen 2014 CID - curs 1 2 Bibliografie Note de curs Cursul

Mai mult

Coman Marinela Furnizor program formare acreditat: CCD BRĂILA Denumire program: INFORMATICĂ ŞI TIC PENTRU GIMNAZIU Clasa a V-a Categorie: 1; Tip de co

Coman Marinela Furnizor program formare acreditat: CCD BRĂILA Denumire program: INFORMATICĂ ŞI TIC PENTRU GIMNAZIU Clasa a V-a Categorie: 1; Tip de co Furnizor program formare acreditat: CCD BRĂILA Denumire program: INFORMATICĂ ŞI TIC PENTRU GIMNAZIU Clasa a V-a Categorie: 1; Tip de competențe: de predare-învățare-evaluare la clasa a V-a pt. disciplina

Mai mult

Microsoft Word - O problema cu bits.doc

Microsoft Word - O problema cu bits.doc O problemă cu bits 1 Tiberiu Socaciu Enunţul Pe pagina Proful de Mate de pe Facebook 2 am primit de la un elev de clasa a IX-a următoarea provocare 3 : Vom oferi două soluţii, una folosind manipulări de

Mai mult

Performanta in matematica de gimnaziu si liceu-program de pregatire al elevilor olimpici MULTIMI. OPERATII CU MULTIMI Partea I+II Cls. a V-a

Performanta in matematica de gimnaziu si liceu-program de pregatire al elevilor olimpici MULTIMI. OPERATII CU MULTIMI Partea I+II Cls. a V-a Performanta in matematica de gimnaziu si liceu-program de pregatire al elevilor olimpici MULTIMI. OPERATII CU MULTIMI Partea I+II Cls. a V-a 6.02.2016 si 13.02.2016 Material intocmit de prof. BAJAN MARIANA

Mai mult

Logică și structuri discrete Limbaje regulate și automate Marius Minea marius/curs/lsd/ 24 noiembrie 2014

Logică și structuri discrete Limbaje regulate și automate Marius Minea   marius/curs/lsd/ 24 noiembrie 2014 Logică și structuri discrete Limbaje regulate și automate Marius Minea marius@cs.upt.ro http://www.cs.upt.ro/ marius/curs/lsd/ 24 noiembrie 2014 Un exemplu: automatul de cafea acțiuni (utilizator): introdu

Mai mult

Logică și structuri discrete Logică propozițională Marius Minea marius/curs/lsd/ 3 noiembrie 2014

Logică și structuri discrete Logică propozițională Marius Minea   marius/curs/lsd/ 3 noiembrie 2014 Logică și structuri discrete Logică propozițională Marius Minea marius@cs.upt.ro http://www.cs.upt.ro/ marius/curs/lsd/ 3 noiembrie 2014 Unde aplicăm verificarea realizabilității? probleme de căutare și

Mai mult

Acest fișier conține rezumatul anumitor explicații prezente în Curs - privind Sintaxa GNY Totul este legat de Alf = alfabetul de neterminali/ unități

Acest fișier conține rezumatul anumitor explicații prezente în Curs - privind Sintaxa GNY Totul este legat de Alf = alfabetul de neterminali/ unități Acest fișier conține rezumatul anumitor explicații prezente în Curs - privind Sintaxa GNY Totul este legat de Alf = alfabetul de neterminali/ unități lexicale peste care se construiește sintaxa formală

Mai mult

Examenul de bacalaureat 2012

Examenul de bacalaureat 2012 CENTRUL NAŢIONAL DE EVALUARE ŞI EXAMINARE PROGRAMA DE EXAMEN PENTRU DISCIPLINA MATEMATICĂ BACALAUREAT 2015 PROGRAMA M_tehnologic Filiera tehnologică, profilul servicii, toate calificările profesionale,

Mai mult

ALGORITMII ŞI REPREZENTAREA LOR Noţiunea de algoritm Noţiunea de algoritm este foarte veche. Ea a fost introdusă în secolele VIII-IX de către Abu Ja f

ALGORITMII ŞI REPREZENTAREA LOR Noţiunea de algoritm Noţiunea de algoritm este foarte veche. Ea a fost introdusă în secolele VIII-IX de către Abu Ja f ALGORITMII ŞI REPREZENTAREA LOR Noţiunea de algoritm Noţiunea de algoritm este foarte veche. Ea a fost introdusă în secolele VIII-IX de către Abu Ja far Mohammed ibn Musâ al- Khowârizmî în cartea sa intitulată

Mai mult

Spatii vectoriale

Spatii vectoriale Algebra si Geometrie Seminar 2 Octombrie 2017 ii Matematica poate fi definită ca materia în care nu ştim niciodată despre ce vorbim, nici dacă ceea ce spunem este adevărat. Bertrand Russell 1 Spatii vectoriale

Mai mult

Logică și structuri discrete Relații. Funcții parțiale Marius Minea marius/curs/lsd/ 20 octombrie 2014

Logică și structuri discrete Relații. Funcții parțiale Marius Minea   marius/curs/lsd/ 20 octombrie 2014 Logică și structuri discrete Relații. Funcții parțiale Marius Minea marius@cs.upt.ro http://www.cs.upt.ro/ marius/curs/lsd/ 20 octombrie 2014 Relații în lumea reală și informatică Noțiunea matematică de

Mai mult

Aero-BCD, , Prof. L. Costache & M. Olteanu Notițe de Adrian Manea Seminar 5 Șiruri și serii de funcții. Serii de puteri 1 Șiruri de funcții D

Aero-BCD, , Prof. L. Costache & M. Olteanu Notițe de Adrian Manea Seminar 5 Șiruri și serii de funcții. Serii de puteri 1 Șiruri de funcții D Seminar 5 Șiruri și serii de funcții. Serii de puteri Șiruri de funcții Definiţie.: Fie (f n ) n un șir de funcții, cu fiecare f n : [a, b] R și fie o funcție f : [a, b] R. PC Spunem că șirul (f n ) converge

Mai mult

1. Găsiți k numerele cele mai apropiate într-un şir nesortat Dându-se un şir nesortat și două numere x și k, găsiți k cele mai apropiate valori de x.

1. Găsiți k numerele cele mai apropiate într-un şir nesortat Dându-se un şir nesortat și două numere x și k, găsiți k cele mai apropiate valori de x. 1. Găsiți k numerele cele mai apropiate într-un şir nesortat Dându-se un şir nesortat și două numere x și k, găsiți k cele mai apropiate valori de x. Date de intrare: arr [] = {10, 2, 14, 4, 7, 6}, x =

Mai mult

Matematica VI

Matematica VI There are no translations available. Datorita unor probleme tehnice, site-ul nu poate fi vizionat cu Internet Explorer 8, partea de teste (apare pagina alba). Pentru navigare, va recomandam Chrome, Mozilla,

Mai mult

Electricitate II

Electricitate II Electricitate II Circuitul electric. Legile circuitului electric. Sumar Circuitul electric simplu Legile lui Ohm Legile lui Kirchhoff Gruparea rezistorilor Transformarea stea-triunghi Gruparea generatoarelor

Mai mult

Microsoft Word - Planuri_Mate_

Microsoft Word - Planuri_Mate_ ANUL I 2018-2019 (TRUNCHI COMUN pentru programele de studii universitare de licență: MATEMATICĂ, MATEMATICĂ- INFORMATICĂ, MATEMATICI APLICATE) I 1. Algebră 3 3 E 6 3 3 E 7 2. Analiză matematică 3 3 E 6

Mai mult

Fâciu N. Maria-Ema CASA CORPULUI DIDACTIC BRĂILA PROGRAM DE FORMARE INFORMATICĂ ȘI TIC PENTRU GIMNAZIU CLASA A V-A SERIA 1 GRUPA 2 CURSANT: Fâciu N. M

Fâciu N. Maria-Ema CASA CORPULUI DIDACTIC BRĂILA PROGRAM DE FORMARE INFORMATICĂ ȘI TIC PENTRU GIMNAZIU CLASA A V-A SERIA 1 GRUPA 2 CURSANT: Fâciu N. M CASA CORPULUI DIDACTIC BRĂILA PROGRAM DE FORMARE INFORMATICĂ ȘI TIC PENTRU GIMNAZIU CLASA A V-A SERIA 1 GRUPA 2 CURSANT: PROIECTUL UNITĂŢII DE ÎNVĂŢARE ALGORITMI Notă: filmele didactice, dezbaterile, jocurile

Mai mult

Cursul 12 (plan de curs) Integrale prime 1 Sisteme diferenţiale autonome. Spaţiul fazelor. Fie Ω R n o mulţime deschisă şi f : Ω R n R n o funcţie de

Cursul 12 (plan de curs) Integrale prime 1 Sisteme diferenţiale autonome. Spaţiul fazelor. Fie Ω R n o mulţime deschisă şi f : Ω R n R n o funcţie de Cursul 12 (plan de curs) Integrale prime 1 Sisteme diferenţiale autonome. Spaţiul fazelor. Fie Ω R n o mulţime deschisă şi f : Ω R n R n o funcţie de clasă C 1. Vom considera sistemul diferenţial x = f(x),

Mai mult

Microsoft Word - V_4_Inmultirea_nr_nat.doc

Microsoft Word - V_4_Inmultirea_nr_nat.doc 3 Înmulţirea numerelor naturale De acum, pentru înmulţire vom folosi semnul în loc de Ex În loc de 32 9 vom scrie 32 9 Dacă a şi b sunt două numere naturale, prin produsul lor vom înţelege a b Ex a) Produsul

Mai mult

Slide 1

Slide 1 Logica fuzzy Precizie si realitate Paternitatea logicii fuzzy Istoric Multimi fuzzy Fuzzy vs. probabilitate Operatii cu multimi fuzzy Implementare Arduino a mf 1 / 27 Precizie si realitate Fuzzy: vag neclar

Mai mult

UNIVERSITATEA BABEŞ-BOLYAI CLUJ-NAPOCA FACULTATEA DE MATEMATICĂ ŞI INFORMATICĂ Concurs MATE-INFO UBB 6 aprilie 2019 Proba scrisă la MATEMATICĂ NOTĂ IM

UNIVERSITATEA BABEŞ-BOLYAI CLUJ-NAPOCA FACULTATEA DE MATEMATICĂ ŞI INFORMATICĂ Concurs MATE-INFO UBB 6 aprilie 2019 Proba scrisă la MATEMATICĂ NOTĂ IM UNIVERSITATEA BABEŞ-BOLYAI CLUJ-NAPOCA FACULTATEA DE MATEMATICĂ ŞI INFORMATICĂ Concurs MATE-INFO UBB 6 aprilie 219 Proba scrisă la MATEMATICĂ NOTĂ IMPORTANTĂ: 1) Problemele de tip grilă din Partea A pot

Mai mult

Școala: Clasa a V-a Nr. ore pe săptămână: 4 Profesor: MATEMATICĂ Clasa a V-a Aviz director PLANIFICARE CALENDARISTICĂ ORIENTATIVĂ Nr. crt. Unitatea de

Școala: Clasa a V-a Nr. ore pe săptămână: 4 Profesor: MATEMATICĂ Clasa a V-a Aviz director PLANIFICARE CALENDARISTICĂ ORIENTATIVĂ Nr. crt. Unitatea de Școala: Clasa a V-a ore pe săptămână: 4 Profesor: MATEMATICĂ Clasa a V-a Aviz director PLANIFICARE CALENDARISTICĂ ORIENTATIVĂ de SEMESTRUL I. Recapitulare, iniţială. Numere - reprezentare comparare, estimare

Mai mult

-

- Cursul 6 Expresii în C/C++ (I) https://docs.microsoft.com/en-us/cpp/cpp/expressions-cpp După cum am văzut, într-un program de calcul scris în limbajul C/C++ prelucrarea datelor se realizează printr-o serie

Mai mult

Lucian L. TURDEANU Georgeta D. POP (MANEA) BAZELE GEOMETRICE ALE FOTOGRAMETRIEI CONSPRESS BUCUREŞTI 2009

Lucian L. TURDEANU Georgeta D. POP (MANEA) BAZELE GEOMETRICE ALE FOTOGRAMETRIEI CONSPRESS BUCUREŞTI 2009 Lucian L. TURDEANU Georgeta D. POP (MANEA) BAZELE GEOMETRICE ALE FOTOGRAMETRIEI CONSPRESS BUCUREŞTI 2009 CUPRINS Pg. INTRODUCERE. Noţiuni preliminare (L. Turdeanu, G. Pop)... 6 Probleme... 11 1. GEOMETRIA

Mai mult

Microsoft Word - unitati de invatare 11liceu-12 sam

Microsoft Word - unitati de invatare 11liceu-12 sam 1.Unitatea de invatare: Analiza informatiei Forma de organizare: Laborator ( 4 ore) Analiza informaţiei. Noţiuni de bază: date, informaţii procesi informaţional bază informaţională flux informaţional sistem

Mai mult

Tiberiu Trif Analiză matematică 2 Calcul diferențial și integral în R n

Tiberiu Trif Analiză matematică 2 Calcul diferențial și integral în R n Tiberiu Trif Analiză matematică 2 Calcul diferențial și integral în R n Cuprins Notații v 1 Topologie în R n 1 1.1 Spațiul euclidian R n........................ 1 1.2 Structura topologică a spațiului

Mai mult

CAPITOLUL I

CAPITOLUL I CAPITOLUL I. LIMBAJE FORMALE 1.1. CONCEPTE DE BAZĂ Cunoaştem unele limbaje de nivel înalt, cum sunt Pascal, Fortran, Basic, C şi altele. Ne scriem programele în aceste limbaje iar când citim un program

Mai mult

Microsoft Word - Lab1a.doc

Microsoft Word - Lab1a.doc Sisteme de numeraţie şi coduri numerice 1.1. Sisteme de numeraţie 1.2. Conversii generale între sisteme de numeraţie 1.3. Reprezentarea numerelor binare negative 1.4. Coduri numerice 1.5. Aplicaţii In

Mai mult

20 SUBIECTE DE EXAMEN - De fapt, în pofida acestor probleme, până la urmă tot vom logaritma, căci aceasta este tehnica naturală în context. Trebuie do

20 SUBIECTE DE EXAMEN - De fapt, în pofida acestor probleme, până la urmă tot vom logaritma, căci aceasta este tehnica naturală în context. Trebuie do SUBIECTE DE EXAMEN - De fapt, în pofida acestor probleme, până la urmă tot vom logaritma, căci aceasta este tehnica naturală în context. Trebuie doar să gestionăm cu precauţie detaliile, aici fiind punctul

Mai mult

Microsoft Word - TIC5

Microsoft Word - TIC5 CAPACITATEA CANALELOR DE COMUNICAŢIE CAPITOLUL 5 CAPACITATEA CANALELOR DE COMUNICAŢIE În Capitolul 3, am văzut că putem utiliza codarea sursă pentru a reduce redundanţa inerentă a unei surse de informaţie

Mai mult

Retele Petri si Aplicatii

Retele Petri si Aplicatii Reţele Petri şi Aplicaţii Curs 4 RPA (2019) Curs 4 1 / 45 Cuprins 1 Analiza structurală a reţelelor Petri Sifoane Capcane Proprietăţi 2 Modelarea fluxurilor de lucru: reţele workflow Reţele workflow 3

Mai mult

Şiruri de numere reale Facultatea de Hidrotehnică Universitatea Tehnică Gheorghe Asachi Iaşi, 2015 Analiză Matematică Lucian Maticiuc 1 / 29

Şiruri de numere reale Facultatea de Hidrotehnică Universitatea Tehnică Gheorghe Asachi Iaşi, 2015 Analiză Matematică Lucian Maticiuc 1 / 29 Şiruri de numere reale Facultatea de Hidrotehnică Universitatea Tehnică Gheorghe Asachi Iaşi, 2015 Analiză Matematică Lucian Maticiuc 1 / 29 Definiţie. Şiruri mărginite. Şiruri monotone. Subşiruri ale

Mai mult

Cursul 7 Formula integrală a lui Cauchy Am demonstrat în cursul precedent că, dacă D C un domeniu simplu conex şi f : D C o funcţie olomorfă cu f cont

Cursul 7 Formula integrală a lui Cauchy Am demonstrat în cursul precedent că, dacă D C un domeniu simplu conex şi f : D C o funcţie olomorfă cu f cont Cursul 7 Formula integrală a lui Cauchy Am demonstrat în cursul precedent că, dacă D C un domeniu simplu conex şi f : D C o funcţie olomorfă cu f continuă pe D, atunci, pe orice curbă rectificabilă şi

Mai mult

Algebra si Geometri pentru Computer Science

Algebra si Geometri pentru Computer Science Natura este scrisă în limbaj matematic. Galileo Galilei 5 Aplicatii liniare Grafica vectoriala In grafica pe calculator, grafica vectoriala este un procedeu prin care imaginile sunt construite cu ajutorul

Mai mult

Laborator 4: Continuare Programare Orientată pe Obiecte Întocmit de: Adina Neculai Îndrumător: Asist. Drd. Gabriel Danciu 29 octombrie 2011

Laborator 4: Continuare Programare Orientată pe Obiecte Întocmit de: Adina Neculai Îndrumător: Asist. Drd. Gabriel Danciu 29 octombrie 2011 Laborator 4: Continuare Programare Orientată pe Obiecte Întocmit de: Adina Neculai Îndrumător: Asist. Drd. Gabriel Danciu 29 octombrie 2011 I. NOŢIUNI TEORETICE A. Suprascrierea metodelor O clasă derivată

Mai mult

ETTI-AM2, , M. Joița & A. Niță Notițe de Adrian Manea Seminar 11 Transformarea Laplace Aplicații Transformarea Z Ecuații și sisteme diferenți

ETTI-AM2, , M. Joița & A. Niță Notițe de Adrian Manea Seminar 11 Transformarea Laplace Aplicații Transformarea Z Ecuații și sisteme diferenți Seminar Transformarea Laplace Aplicații Transformarea Z Ecuații și sisteme diferențiale Folosind transformata Laplace, putem reolva ecuații și sisteme diferențiale. Cu ajutorul proprietăților transformatei

Mai mult

SSC-Impartire

SSC-Impartire Adunarea Înmulțirea Numere și operații în virgulă mobilă 1 Împărțirea cu refacerea restului parțial Împărțirea fără refacerea restului parțial 2 Primul operand: deîmpărțit (X) Al doilea operand: împărțitor

Mai mult

Noțiuni matematice de bază

Noțiuni matematice de bază Sistem cartezian definitie. Coordonate carteziene Sistem cartezian definiţie Un sistem cartezian de coordonate (coordonatele carteziene) reprezintă un sistem de coordonate plane ce permit determinarea

Mai mult

Microsoft Word - Matematika_kozep_irasbeli_jav_utmut0513V28_roman.doc

Microsoft Word - Matematika_kozep_irasbeli_jav_utmut0513V28_roman.doc Matematika román nyelven középszint 0513 ÉRETTSÉGI VIZSGA 005. május 8. MATEMATIKA ROMÁN NYELVEN MATEMATICĂ KÖZÉPSZINTŰ ÉRETTSÉGI VIZSGA EXAMEN DE BACALAUREAT NIVEL MEDIU Az írásbeli vizsga időtartama:

Mai mult

ASDN

ASDN PROIECTAREA LOGICĂ Laboratorul PL Suport de Laborator II 1. Să se găsească sumele minimale şi produsele minimale pentru următoarele funcţii: (a) f = m(0 + 2 + 4 + 8 + 10 + 12), (b) f = m(2 + 3 + 6 + 7

Mai mult

Cursul 8 Funcţii analitice Vom studia acum comportarea şirurilor şi seriilor de funcţii olomorfe, cu scopul de a dezvălui o proprietate esenţială a ac

Cursul 8 Funcţii analitice Vom studia acum comportarea şirurilor şi seriilor de funcţii olomorfe, cu scopul de a dezvălui o proprietate esenţială a ac Cursul 8 Funcţii analitice Vom studia acum comportarea şirurilor şi seriilor de funcţii olomorfe, cu scopul de a dezvălui o proprietate esenţială a acestor funcţii: analiticitatea. Ştim deja că, spre deosebire

Mai mult

Operatorii in C Expresii Operatori aritmetici Operatori de asignare Operatori de incrementare si decrementare Operatori relationali Operatori logici O

Operatorii in C Expresii Operatori aritmetici Operatori de asignare Operatori de incrementare si decrementare Operatori relationali Operatori logici O Operatorii in C Expresii Operatori aritmetici Operatori de asignare Operatori de incrementare si decrementare Operatori relationali Operatori logici Operatii pe biti Operatorul conditional Operatori Logici

Mai mult

CERCURI REMARCABILE ASOCIATE UNUI TRIUNGHI CERCURI EXÎNSCRISE Natura vorbeşte în limbajul matematicii: literele acestei limbi sunt cercuri, tri

CERCURI REMARCABILE ASOCIATE UNUI TRIUNGHI CERCURI EXÎNSCRISE Natura vorbeşte în limbajul matematicii: literele acestei limbi sunt cercuri, tri CERCURI REMARCABILE ASOCIATE UNUI TRIUNGHI 19 3. CERCURI EXÎNSCRISE Natura vorbeşte în limbajul matematicii: literele acestei limbi sunt cercuri, triunghiuri şi alte guri geometrice. Galileo Galilei 3

Mai mult

Baze de date Anul 2 Teorie Examen 1. Diagrama entitate/relatie si diagrama conceptuala (curs 2-5) 2. Arbore algebric si expresie algebrica (curs 6-10)

Baze de date Anul 2 Teorie Examen 1. Diagrama entitate/relatie si diagrama conceptuala (curs 2-5) 2. Arbore algebric si expresie algebrica (curs 6-10) Baze de date Anul 2 Teorie Examen 1. Diagrama entitate/relatie si diagrama conceptuala (curs 2-5) 2. Arbore algebric si expresie algebrica (curs 6-10) 3. Forme normale (curs 6-10) 4. Notiuni teoretice

Mai mult

Prezentarea cursului Didactica Matematicii Oana Constantinescu

Prezentarea cursului Didactica Matematicii Oana Constantinescu Prezentarea cursului Didactica Matematicii Oana Constantinescu Didactica este stiinta conducerii procesului de predare-invatare-evaluare. Ea studiaza procesul de invatare in ansamblul sau, pe toate treptele

Mai mult

TEORIA MĂSURII Liviu C. Florescu Universitatea Al.I.Cuza, Facultatea de Matematică, Bd. Carol I, 11, R Iaşi, ROMANIA, e mail:

TEORIA MĂSURII Liviu C. Florescu Universitatea Al.I.Cuza, Facultatea de Matematică, Bd. Carol I, 11, R Iaşi, ROMANIA, e mail: TEORI MĂSURII Liviu C. Florescu Universitatea l.i.cuza, Facultatea de Matematică, Bd. Carol I, 11, R 700506 Iaşi, ROMNI, e mail: lflo@uaic.ro În mod intenţionat această pagină este lăsată albă! Cuprins

Mai mult

Analiz¼a Matematic¼a - Curs 6 M¼ad¼alina Roxana Buneci

Analiz¼a Matematic¼a - Curs 6 M¼ad¼alina Roxana Buneci Analiz¼a Matematic¼a - Curs 6 M¼ad¼alina Roxana Buneci Cuprins 4 Spaţii topologice (continuare din cursul 5) 3 4.6 Spaţiul R n............................ 3 5 Calcul diferenţial 7 5. Derivatele funcţiilor

Mai mult

Capitole Speciale de Informatică Curs 1: Extragerea informaţiilor. Modelul boolean şi modelul boolean extins 27 septembrie 2018 Extragerea informaţiil

Capitole Speciale de Informatică Curs 1: Extragerea informaţiilor. Modelul boolean şi modelul boolean extins 27 septembrie 2018 Extragerea informaţiil Capitole Speciale de Informatică Curs 1: Extragerea informaţiilor. Modelul boolean şi modelul boolean extins 27 septembrie 2018 Extragerea informaţiilor (engl. Information Retrieval, IR) constă în găsirea

Mai mult

Microsoft Word - Programa finala olimpiadei matematica 2007 gimnaziu.doc

Microsoft Word - Programa finala olimpiadei matematica 2007 gimnaziu.doc ROMÂNIA MINISTERUL EDUCAŢIEI ŞI CERCETĂRII DIRECŢIA GENERALĂ ÎNVĂŢĂMÂNT PREUNIVERSITAR SERVICIUL NAŢIONAL DE EVALUARE ŞI EXAMINARE PROGRAMA OLIMPIADEI DE MATEMATICĂ CLASELE V XII AN ŞCOLAR 006 / 007 Pentru

Mai mult

CONCURSUL NAŢIONAL DE MATEMATICĂ APLICATĂ ADOLF HAIMOVICI Etapa locală, 24 februarie 2017 PROFIL TEHNIC ŞI SERVICII, RESURSE NATURALE, PROTECŢIA MEDIU

CONCURSUL NAŢIONAL DE MATEMATICĂ APLICATĂ ADOLF HAIMOVICI Etapa locală, 24 februarie 2017 PROFIL TEHNIC ŞI SERVICII, RESURSE NATURALE, PROTECŢIA MEDIU SUBIECTE - clasa a IX-a 1. Determinați mulțimile: a) ; b) ; c). 2. Arătați că: a), ; b) dacă, atunci. 3. Considerăm dreptunghiul ABCD și punctele E, F și M, astfel încât, și. Dacă N este mijlocul lui (EF),

Mai mult

1

1 Contents 1 Automate finite... 2 1.1 Probleme cu AF... 2 1.2 Structuri de date pentru automate finite... 4 2 Gramatici si limbaje; gram. indep. de context... 5 2.1 Limbaje... 5 2.2 Gramatici si limbaje...

Mai mult

CASA CORPULUI DIDACTIC BRĂILA PORTOFOLIU EVALUARE INFORMATICĂ ȘI TIC PENTRU GIMNAZIU CLASA A V-A Neamț SERIA 1 GRUPA 1 CURSANT: ALTERESCU V. IULIA-CRI

CASA CORPULUI DIDACTIC BRĂILA PORTOFOLIU EVALUARE INFORMATICĂ ȘI TIC PENTRU GIMNAZIU CLASA A V-A Neamț SERIA 1 GRUPA 1 CURSANT: ALTERESCU V. IULIA-CRI CASA CORPULUI DIDACTIC BRĂILA PORTOFOLIU EVALUARE INFORMATICĂ ȘI TIC PENTRU GIMNAZIU CLASA A V-A Neamț SERIA 1 GRUPA 1 CURSANT: ALTERESCU V. IULIA-CRISTINA-VANDANA LICEUL TEHNOLOGIC GH. RUSET ROZNOVANU

Mai mult

matematica

matematica MINISTERUL EDUCAŢIEI, CERCETĂRII ŞI INOVĂRII PROGRAMĂ ŞCOLARĂ M A T E M A T I C Ă CLASA A IX-A CICLUL INFERIOR AL LICEULUI Aprobată prin ordin al ministrului nr. / Bucureşti, 2009 NOTĂ DE PREZENTARE În

Mai mult

Analiză statică Analiza fluxului de date 23 octombrie 2014

Analiză statică Analiza fluxului de date 23 octombrie 2014 Analiză statică Analiza fluxului de date 23 octombrie 2014 Analiză statică: definiție O analiză a codului sursă (fără a executa programul), cu scopul de a determina proprietăți ale programului sursă. (in

Mai mult

Teoreme cu nume 1. Problema (Năstăsescu IX, p 147, propoziţia 5) Formula lui Chasles Pentru orice puncte M, N şi P avem MN + NP = MP.

Teoreme cu nume 1. Problema (Năstăsescu IX, p 147, propoziţia 5) Formula lui Chasles Pentru orice puncte M, N şi P avem MN + NP = MP. Teoreme cu nume Problema (Năstăsescu IX, p 47, propoziţia 5) Formula lui hasles Pentru orice puncte M, N şi P avem MN + NP = MP 2 Problema (Năstăsescu IX, p 68, teoremă) Vectorul de poziţie al centrului

Mai mult

Examenul de bacalaureat 2012

Examenul de bacalaureat 2012 PROGRAMA PENTRU SIMULAREA EXAMENULUI DE BACALAUREAT 2019 LA DISCIPLINA MATEMATICĂ În cadrul examenului de Bacalaureat 2019, Programele de examen la disciplina Matematica se diferenţiază în funcţie de filiera,

Mai mult

Examenul de bacalaureat 2012

Examenul de bacalaureat 2012 INSPECTORATUL Ș C O L A R J U D E Ț E A N C O V A S N A PROGRAMA PENTRU SIMULAREA EXAMENULUI DE BACALAUREAT 2015 LA DISCIPLINA MATEMATICĂ În cadrul examenului de Bacalaureat 2015, Programele de examen

Mai mult

ALGEBRA PENTRU INFORMATICĂ GEORGE CIPRIAN MODOI Cuprins Bibliografie 2 1. Mulţimi, Funcţii, Relaţii Preliminarii logice 3 Exerciţii la Prelimin

ALGEBRA PENTRU INFORMATICĂ GEORGE CIPRIAN MODOI Cuprins Bibliografie 2 1. Mulţimi, Funcţii, Relaţii Preliminarii logice 3 Exerciţii la Prelimin ALGEBRA PENTRU INFORMATICĂ GEORGE CIPRIAN MODOI Cuprins Bibliografie 2 1. Mulţimi, Funcţii, Relaţii 3 1.1. Preliminarii logice 3 Exerciţii la Preliminarii logice 3 1.2. Mulţimi 3 Operaţii cu mulţimi 4

Mai mult

Microsoft Word - matem_aplicate in Economie aa FD Bala.doc

Microsoft Word - matem_aplicate in Economie aa FD Bala.doc FIŞA DISCIPLINEI ANUL UNIVERSITAR 05-06. DATE DESPRE PROGRAM. Instituţia de învăţământ superior UNIVERSITATEA DIN CRAIOVA. Facultatea Economie și Administrarea Afacerilor.3 Departamentul Management, Marketing

Mai mult

Sinteza lucrarii Algebre Hopf, omologie ciclica si categorii monoidale Proiect Idei (Cod 69), contract nr. 560/2009 Director: prof. dr. Dragos STEFAN

Sinteza lucrarii Algebre Hopf, omologie ciclica si categorii monoidale Proiect Idei (Cod 69), contract nr. 560/2009 Director: prof. dr. Dragos STEFAN Sinteza lucrarii Algebre Hopf, omologie ciclica si categorii monoidale Proiect Idei (Cod 69), contract nr. 560/2009 Director: prof. dr. Dragos STEFAN (Universitatea Bucuresti) Rezultatele obtinute in vederea

Mai mult

Analiză de flux de date 29 octombrie 2012

Analiză de flux de date 29 octombrie 2012 Analiză de flux de date 29 octombrie 2012 Analiză statică: definiţie O analiză a codului sursă (fără a executa programul), cu scopul de a determina proprietăţi ale programului sursă. (in principal corectitudinea,

Mai mult

Programarea şi utilizarea calculatoarelor

Programarea şi utilizarea calculatoarelor Universitatea Constantin Brâncuşi din Târgu-Jiu Facultatea de Inginerie Departamentul de Automatică, Energie şi Mediu Programarea calculatoarelor Lect.dr. Adrian Runceanu Curs 3 Elemente introductive ale

Mai mult

Pachete de lecţii disponibile pentru platforma AeL

Pachete de lecţii disponibile pentru platforma AeL Pachete de lecţii disponibile pentru platforma AeL -disciplina Matematică- Nr. crt Nume pachet clasa Nr. momente Nr.Recomandat de ore 1 Corpuri geometrice V 6 1 2 Fracţii V 14 5 3 Măsurarea lungimilor.

Mai mult