Formule. Termeni. Definiţia 2.7. Formule. Formule. Propoziţia 2.8 (Inducţia pe formule)
|
|
- Sorana Ene
- 3 ani în urmă
- Vzualizari:
Transcriere
1 Termeni Definiţia 2.4 Termenii lui L sunt expresiile definite astfel: (T0) Orice variabilă este termen. (T1) Orice simbol de constantă este termen. (T2) Dacă m 1, f 2F m ş i t 1,...,t m sunt termeni, atunci ft 1...t m este termen. (T3) Numai expresiile obţinute aplicând regulile (T0), (T1), (T2) sunt termeni. Notaţii: I Mulţimea termenilor se notează Term L. I Termeni: t, s, t 1, t 2, s 1, s 2,... I Var(t) estemulţimeavariabilelorcareaparîntermenult. Definiţia 2.5 Un termen t se numeşte î n c h i s dacă Var(t) =;. Definiţia 2.6 le atomice ale lui L sunt expresiile de forma: I (s = t), undes, t sunt termeni; I (Rt 1...t m ),under 2R m ş i t 1,...,t m sunt termeni. Definiţia 2.7 le lui L sunt expresiile definite astfel: (F0) Orice formulă atomică este formulă. (F1) Dacă ' este formulă, atunci ( ') este formulă. (F2) Daca ' ş i sunt formule, atunci ('! ) este formulă. (F3) Dacă ' este formulă, atunci (8x') este formulă pentru orice variabilă x. (F4) Numai expresiile obţinute aplicând regulile (F0), (F1), (F2), (F3) sunt formule. 5 6 Notaţii I Mulţimea formulelor se notează Form L. I : ',,,.... I Var(') estemulţimeavariabilelorcareaparînformula'. Convenţie De obicei renunţăm la parantezele exterioare, le punem numai atunci când sunt necesare. Atunci când nu e pericol de confuzie, scriem s = t î n l o c d e ( s = t), Rt 1...t m î n l o c d e ( Rt 1...t m ), 8x' î n l o c d e ( 8x'), etc.. Propoziţia 2.8 (Inducţia pe formule) Fie I I o mulţime de formule care are următoarele proprietăţi: conţine toate formulele atomice; este închisă la,! ş i 8x (pentru orice variabilă x). Atunci =Form L. Este folosită pentru a demonstra că toate formulele satisfac o proprietate P: definim cafiindmulţimeatuturorformulelorcare satisfac P şi aplicăm inducţia pe formule pentru a obţine că =Form L. 7 8
2 Convenţii Conectori derivaţi Conectorii _, ^, $ ş i cuantificatorul existenţial 9 sunt introduşi prin următoarele abrevieri: ' _ := (( ')! ) ' ^ := ('! ( ))) ' $ := (('! ) ^ (! ')) 9x' := ( 8x( ')). I În practică, renunţăm la parantezele exterioare, le punem numai atunci când sunt necesare. Astfel, scriem ', '!, dar scriem ('! )!. I Pentru a mai reduce din folosirea parantezelor, presupunem că I are precedenţă mai mare decât ceilalţi conectori; I ^, _ au precedenţă mai mare decât!, $. I Prin urmare, formula ((('! ( _ )) ^ (( ) $ ( _ ))) va fi scrisă ('! _ ) ^ ( $ _ ). I Cuantificatorii 8, 9 au precedenţă mai mare decât ceilalţi conectori. I Aşadar, 8x'! este (8x')! ş i n u 8x('! ) Notaţii L-structura Definiţia 2.9 O L-structură este un cvadruplu De multe ori identificăm un limbaj L cu mulţimea simbolurilor sale non-logice şi scriem L =(R, F, C). I Scriem de multe ori f (t 1,...,t m ) în loc de ft 1...t m ş i R(t 1,...,t m ) în loc de Rt 1...t m. I Pentru simboluri f de operaţii binare scriem t 1 ft 2 î n l o c d e ft 1 t 2. I Analog pentru simboluri R de relaţii binare: scriem t 1 Rt 2 î n loc de Rt 1 t 2. unde I A este o mulţime nevidă; A =(A, F A, R A, C A ) I F A = {f A f 2F}este o mulţime de operaţii pe A; dacăf are aritatea m, atuncif A : A m! A; I R A = {R A R 2R}este o mulţime de relaţii pe A; dacăr are aritatea m, atuncir A A m ; I C A = {c A 2 A c 2C}. 11 I A se numeşte universul structurii A. Notaţie: A = A I f A (respectiv R A, c A )senumeştedenotaţia sau interpretarea lui f (respectiv R, c) în A. 12
3 Exemple - Limbajul egalităţii L = Exemple - Limbajul aritmeticii L ar L = =(R, F, C), unde I R = F = C = ; I acest limbaj este potrivit doar pentru a exprima proprietăţi ale egalităţii I L = -structurile sunt mulţimile nevide Exemple de formule: egalitatea este simetrică: 8x8y(x = y! y = x) universul are cel puţin trei elemente: 9x9y9z( (x = y) ^ (y = z) ^ (z = x)) L ar =(R, F, C), unde I R = { <}; < este simbol de relaţie binară, adică are aritatea 2; I F = { +,, Ṡ}; +, sunt simboluri de operaţii binare şi Ṡ este simbol de operaţie unar (adică are aritatea 1); I C = { 0}. Scriem L ar =( <; +,, Ṡ; 0) sau L ar =( <, +,, Ṡ, 0). Exemplul natural de L ar -structură: N := (N,<,+,, S, 0), unde S : N! N, S(m) =m +1 este funcţia succesor. Prin urmare, < N =<, + N =+, N =, Ṡ N = S, 0 N =0. Alt exemplu de L ar -structură: A =({0, 1},<,_, ^,, 1) Exemplu - Limbajul cu un simbol de relaţie binar Exemple - Limbajul grupurilor L Gr L R =(R, F, C), unde I R = {R}; R simbol binar I F = C = ; I L-structurile sunt mulţimile nevide împreună cu o relaţie binară I Dacă suntem interesaţi de mulţimi parţial ordonate (A, apple), folosim simbolul apple î n l o c d e R şi notăm limbajul cu L apple. I Dacă suntem interesaţi de mulţimi strict ordonate (A,<), folosim simbolul < î n l o c d e R şi notăm limbajul cu L <. I Dacă suntem interesaţi de grafuri G =(V, E), folosim simbolul E î n l o c d e R şi notăm limbajul cu L Graf. I Dacă suntem interesaţi de structuri (A, 2), folosim simbolul 2 î n l o c d e R şi notăm limbajul cu L 2. L Gr =(R, F, C), unde I R = ;; I F = {, 1 }; simbol binar, 1 simbol unar I C = {ė}. Scriem L Gr =(;;, 1 ;ė) saul Gr =(, 1, ė). Exemple naturale de L Gr -structuri sunt grupurile: G =(G,, 1, e). Prin urmare, G =, 1 G = 1, ė G = e. Pentru a discuta despre grupuri abeliene (comutative), este tradiţional să se folosească limbajul L AbGr =(R, F, C), unde I R = ;; I F = { +, }; + simbol binar, simbol unar; I C = { 0}. Scriem L AbGr =( +,, 0)
4 Interpretare (evaluare) Fie L un limbaj de ordinul I şi A o L-structură. SEMANTICA Definiţia 2.10 O interpretare sau evaluare a(variabilelor)luil î n A este o funcţie e : V! A. În continuare, e : V! A este o interpretare a lui L in A. Definiţia 2.11 (Interpretarea termenilor) Prin inducţie pe termeni se defineşte interpretarea t A (e) 2 A a termenului t sub evaluarea e: I dacă t = x 2 V,atuncit A (e) :=e(x); I dacă t = c 2C,atuncit A (e) :=c A ; I dacă t = ft 1...t m,atuncit A (e) :=f A (t A 1 (e),...,ta m(e)) Prin inducţie pe formule se defineşte interpretarea a formulei ' sub evaluarea e. (s = t) A (e) = (Rt 1...t m ) A (e) = ' A (e) 2{0, 1} 1 dacă s A (e) =t A (e) 1 dacă R A (t1 A(e),...,tA m(e)) Negaţia şi implicaţia I ( ') A (e) =1 ' A (e); I ('! ) A (e) =' A (e)! A (e), unde,!: {0, 1} {0, 1}!{0, 1}, Prin urmare, I ( ') A (e) =1 () ' A (e) = 0. p q p! q I ('! ) A (e) =1 () ' A (e) =0sau A (e) =
5 Relaţia de satisfacere Notaţie Pentru orice variabilă x 2 V ş i o r i c e a 2 A, definim o nouă interpretarea e x a : V! A prin e(v) dacă v 6= x e x a (v) = a dacă v = x. (8x') A (e) = ( 1 dacă ' A (e x a )=1pentruoricea 2 A Fie A o L-structură şi e : V! A ointerpretarealuil î n A. Definiţia 2.12 Fie ' oformulă.spunemcă: I e satisface ' î n A dacă ' A (e) =1. Notaţie: A '[e]. I e nu satisface ' î n A dacă ' A (e) =0. Notaţie: A6 '[e]. Corolar 2.13 Pentru orice formule ', ş i o r i c e v a r i a b i l ă x, (i) A '[e] () A 6 '[e]. (ii) A ('! )[e] () A '[e] implică A [e] () A 6 '[e] sau A [e]. (iii) A (8x')[e] () pentru orice a 2 A, A '[e x a ]. Dem.: Exerciţiu uşor Relaţia de satisfacere Relaţia de satisfacere Fie ', formule şi x ovariabilă. Propoziţia 2.14 (i) (' _ ) A (e) =' A (e) _ A (e); (ii) (' ^ ) A (e) =' A (e) ^ A (e); (iii) (' $ ) A (e) =' A (e) $ A (e); ( (iv) (9x') A 1 dacă există a 2 A a.î. ' A (e x a )=1 (e) = Dem.: Exerciţiu uşor. Arătăm, de exemplu, (iv). (9x') A (e) =1 () ( 8x ') A (e) =1 () (8x ') A (e) =0 () există a 2 A a.î. ( ') A (e x a )=0 () există a 2 A a.î. ' A (e x a )=1. Corolar 2.15 (i) A (' ^ )[e] () A '[e] ş i A [e]. (ii) A (' _ )[e] () A '[e] sau A [e]. (iii) A (' $ )[e] () A '[e] ddacă A [e]. (iv) A (9x')[e] () există a 2 A a.î. A '[e x a ]
6 Semantică Semantică Fie ' formulă a lui L. Fie ' formulă a lui L. Definiţia 2.16 Spunem că ' este satisfiabilă dacă există o L-structură A ş i o evaluare e : V! A a.î. A '[e]. Spunem şi că (A, e) este un model al lui '. Atenţie! Este posibil ca atât ' cât şi ' să fie satisfiabile. Exemplu: ' := x = y î n L =. Definiţia 2.17 Spunem că ' este adevărată î n t r - o L-structură A dacă pentru orice evaluare e : V! A, A '[e]. Spunem şi că A satisface ' sau că A este un model al lui '. Notaţie: A ' Definiţia 2.18 Spunem că ' este formulă universal adevărată sau (logic) validă dacă pentru orice L-structură A, 25 Notaţie: ' A '. 26 Semantică Echivalenţe şi consecinţe logice Fie ', formule ale lui L. Definiţia 2.19 ' şi sunt logic echivalente dacă pentru orice L-structură A şi orice evaluare e : V! A, Notaţie: ' Definiţia 2.20 A '[e] () A [e]. este consecinţă semantică a lui' dacă pentru orice L-structură A ş i o r i c e e v a l u a r e e : V! A, Notaţie: ' Observaţie (i) ' ddacă '!. (ii) ' A '[e] ) A [e]. ddacă ( ' ş i ' ) ddacă $ '. 27 Pentru orice formule ', ş i o r i c e v a r i a b i l e x, y, 9x' 8x ' (1) 8x' 9x ' (2) 8x(' ^ ) 8x' ^8x (3) 8x' _8x 8x(' _ ) (4) 9x(' ^ ) 9x' ^9x (5) 9x(' _ ) 9x' _9x (6) 8x('! ) 8x'!8x (7) 8x('! ) 9x'!9x (8) 8x' 9x' (9) 28
7 Echivalenţe şi consecinţe logice ' 9x' (10) 8x' ' (11) 8x8y' 8y8x' (12) 9x9y' 9y9x' (13) 9y 8x' 8x9y'. (14) Dem.: Exerciţiu. Propoziţia 2.21 Pentru orice termeni s, t, u, (i) t = t; (ii) s = t! t = s; (iii) s = t ^ t = u! s = u. Dem.: Exerciţiu uşor. 29
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 multLOGICA 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 multNotiuni de algebra booleana
Noţiuni de algebră booleană (în lucru) 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
Mai multCurs 10 Aplicaţii ale calculului diferenţial. Puncte de extrem 10.1 Diferenţiale de ordin superior S¼a trecem acum la de nirea diferenţialelor de ordi
Curs 0 Aplicaţii ale calculului diferenţial. Puncte de extrem 0. Diferenţiale de ordin superior S¼a trecem acum la de nirea diferenţialelor de ordin superior. De niţia 0.. Fie n 2; D R k o mulţime deschis¼a
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 Definiţie. Şiruri mărginite. Şiruri monotone. Subşiruri ale
Mai multProbleme 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 multPrelegerea 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 multPrelegerea 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 multRetele 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 multRetele Petri si Aplicatii
Reţele Petri şi Aplicaţii Curs 3 RPA (2019) Curs 3 1 / 48 Conţinutul cursului 1 Arbori de acoperire 2 Probleme de decizie în reţele Petri 3 Invarianţi tranziţie RPA (2019) Curs 3 2 / 48 Arbori de acoperire
Mai multElemente 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 multD.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 multFacultatea 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 multLogică ș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 multLogică ș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 multDistanţ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 multLogică computațională O introducere practică pentru studenți la informatică Note de curs Adrian Crăciun 24 ianuarie
Logică computațională O introducere practică pentru studenți la informatică Note de curs Adrian Crăciun adrian.craciun@e-uvt.ro 24 ianuarie 2019 1 Cuprins I. Introducere 2 1. Rezolvare problemelor prin
Mai multParadigme de programare
Curs 9 Logica propozițională. Logica cu predicate de ordinul întâi. Context Scop: modelarea raționamentelor logice ca procese de calcul efectuate pe mașini de calcul Abordare Descrierea proprietăților
Mai multMicrosoft 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 multMicrosoft Word - _arbori.docx
ARBORI Să presupunem că o firmă doreşte să conecteze la TV, prin cablu, cele n case ale unui sat. Cum vor fi conectate casele la cablu? Logic, va trebui ca fiecare casă să fie conectată. Apoi, la o casă
Mai multMicrosoft 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 multPowerPoint 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 multL4. 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 multMicrosoft 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 multI. INTRODUCERE 1. Necesitatea studiului logicii Teodor DIMA În activitatea noastră zilnică, atunci când învăţăm, când încercăm să fundamentăm o părere
I. INTRODUCERE 1. Necesitatea studiului logicii Teodor DIMA În activitatea noastră zilnică, atunci când învăţăm, când încercăm să fundamentăm o părere proprie sau o idee, când comunicăm anumite impresii
Mai multE_d_Informatica_sp_SN_2014_bar_10_LRO
Examenul de bacalaureat naţional 2014 Proba E. d) Informatică Varianta 10 Toate subiectele sunt obligatorii. Se acordă 10 puncte din oficiu. Timpul de lucru efectiv este de 3 ore. În rezolvările cerute,
Mai multAnaliz¼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 multTEORIA 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 multMicrosoft PowerPoint - Curs_SDA_9_RO_2019_v2.pptx
SDA (PC2) Curs 9 Liste / Grafuri / Arbori Iulian Năstac Lista dublu înlănțuită Recapitulare Într-o astfel de listă fiecare nod conţine doi pointeri: unul spre nodul următor şi unul spre nodul precedent.
Mai multAnaliză 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 multTiberiu 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 multCursul 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 multLogică ș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 multPROGRAMA 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 multMicrosoft Word - Mihailesc Dan_Test logica (1).doc
Variantă subiecte bacalaureat 2018 Proba E. d) Logică, argumentare şi comunicare Conform modelului publicat Toate subiectele sunt obligatorii. Se acordă 10 puncte din oficiu. Timpul de lucru efectiv este
Mai multAnaliză 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 multAcest 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 multGrafuri neorinetate Aplicatii 1 Care este numărul maxim de componente conexe pe care le poate avea un graf neorientat cu 20 noduri şi 12 muchii? a. 6
Grafuri neorinetate Aplicatii 1 Care este numărul maxim de componente conexe pe care le poate avea un graf neorientat cu 20 noduri şi 12 muchii? a. 6 b. 12 c. 10 d. 15 2 Câte grafuri neorientate, distincte,
Mai multComan 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 multMicrosoft 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 multCursul 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 multEntrepreneurship and Technological Management
Platformă e e-learning și urriulă e-ontent pentru învățământul uperior tehni Proietarea Algoritmilor 23. Flux. Rețele e flux. Operații u fluxuri. Rețele reziuale. Biliografie [1] C. Giumale Introuere in
Mai multMicrosoft 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 multMicrosoft 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 multLimbaje 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 multCursul 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 multGheorghe 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 multAero-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 multLogică ș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 multExamenul 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 multClasa 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 multProbleme rezolvate informatica: Probleme rezolvate grafuri si a
Mai multe Creați blog Autentificare LUNI, 11 MARTIE 2013 Probleme rezolvate grafuri si arbori Probleme rezolvate de catre : Ginghina Cristian Onica Viorel Neculai Alexandru Anton Cosmin INFORMATICA Teorie
Mai multOperatorii 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 multCLP_UTCN-grila-2012.dvi
Liceul: Numele: Punctaj: Prenumele: Concursul liceelor partenere cu Universitatea Tehnică din Cluj-Napoca Test grilă Ediţia a treia mai 0 Clasa a X-a În casuţa din stânga întrebării se va scrie litera
Mai multExamView 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 multExamenul 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 multExamenul 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 multBAC 2007 Pro Didactica Programa M1 2 Rezolvarea variantei 61 versiune finală Redactia Pro Didactica Suportul pe net:
BAC 7 Pro Didactica Programa M Rezolvarea variantei 6 versiune finală Redactia Pro Didactica Suportul pe net: http://www./ CAPITOLUL Varianta 6. Subiectul I. (a) Coordonatele punctelor C şi D satisfac
Mai multALGORITMII Ş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 mult8.1. Elemente de Aritmetică. 8. Aplicatii (15 aprilie 2019) Lema 8.1. Fie (A, +) un grup abelian şi H, K A. Atunci H K şi H + K = {h + k h H şi k K} s
8.1. Elemente de Aritmetică. 8. Aplicatii (15 aprilie 2019) Lema 8.1. Fie (A, +) un grup abelian şi H, K A. Atunci H K şi H + K = {h + k h H şi k K} sunt sungrupuri ale lui A. Propoziţia 8.2. Considerăm
Mai multcurs 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 multLogică și structuri discrete Logică propozițională Marius Minea marius/curs/lsd/ 27 octombrie 2014
Logică și structuri discrete Logică propozițională Marius Minea marius@cs.upt.ro http://www.cs.upt.ro/ marius/curs/lsd/ 27 octombrie 2014 Logica stă la baza informaticii circuite logice: descrise în algebra
Mai multDAN 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 multCursul 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 multNoț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 multMicrosoft PowerPoint - Curs_SDA_4_RO_2019_v2.pptx
Curs SDA (PC2) Curs 4 Structuri de date (continuare) Iulian Năstac 10. Funcţii pentru alocarea dinamică a memoriei (Recapitulare) Alocarea dinamică este caracteristica prin care un program poate obţine
Mai multCAPITOLUL 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 mult1
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 multSECURITATE ȘI CRIPTOGRAFIE
Noțiuni de bază ale criptografiei Criptografia este studiul metodelor matematice legate de securitatea informației, capabile să asigure confidențialitatea, autentificarea și non-repudierea mesajelor, precum
Mai multMicrosoft PowerPoint - Curs_SDA_10_RO_2019_v1.pptx
SDA (PC2) Curs 10 Arbori Iulian Năstac Definiția 1: Arbori Recapitulare Arborele este un graf orientat, aciclic și simplu conex. Definiția 2: Un arbore este un ansamblu de structuri de date de natură recursivă
Mai multSlide 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 multCapitole Speciale de Informatica - Curs 5: Extragerea informatiilor prin feedback de relevanta. Metode probabiliste de extragere a informatiilor
Curs 5: Extragerea informaţiilor prin feedback de relevanţă. Metode probabiliste de extragere a informaţiilor 25 octombrie 2018 Extragerea informaţiilor prin feedback de relevanţă Idee de bază 1 Utilizatorul
Mai multLogică și structuri discrete Logica predicatelor Casandra Holotescu
Logică și structuri discrete Logica predicatelor Casandra Holotescu casandra@cs.upt.ro https://tinyurl.com/lectureslsd Logică: recapitulare Folosim logica pentru a exprima riguros (formaliza) raționamente.
Mai multINDICATORI AI REPARTIŢIEI DE FRECVENŢĂ
STATISTICA DESCRIPTIVĂ observarea Obiective: organizarea sintetizarea descrierea datelor Analiza descriptivă a datelor Analiza statistică descriptivă reperezintă un tip de analiză ce servește la descrierea,
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 multMicrosoft 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 multFacultatea de Științe Politice, Administrative și ale Comunicării Str. Traian Moșoiu nr. 71 Cluj-Napoca, RO Tel.: Fax:
Documentație pentru accesarea platformei e-learning de către studenți Pentru facilitarea demersurilor necesare bunei desfășurări a cursurilor se folosește platforma de e-learning a facultății (care se
Mai multParadigme de programare
Curs 4 Transparență referențială. Legare statică / dinamică. Modelul contextual de evaluare. Transparență referențială Cuprins Efecte laterale Transparență referențială 2 Efecte laterale Efecte laterale
Mai multGeometrie 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{ 3x + 3, x < 1 Exemple. 1) Fie f : R R, f(x) = 2x + 4, x 1. Funcţia f este derivabilă pe R\{1} (compunere de funcţii elementare), deci rămâne să stud
{ 3 + 3, < Eemple. ) Fie f : R R, f() + 4,. Funcţia f este derivabilă pe R\{} (compunere de funcţii elementare), deci rămâne să studiem derivabilitatea în a. Atunci f s() 3+3 6,< 3, f d f() f() (),> funcţia
Mai multMicrosoft Word - Curs_08.doc
Partea a II-a. Proiectarea bazelor de date Capitolul 6. Tehnici de proiectare şi modele În capitolele precedente s-au analizat modele de baze de date şi limbaje, presupunând în cele mai multe cazuri că
Mai multMicrosoft Word - Mapa 0.doc
ACADEMIA ROMÂNĂ INSTITUTUL DE FILOSOFIE ŞI PSIHOLOGIE CONSTANTIN RĂDULESCU-MOTRU PROBLEME DE LOGICĂ VOL. XIII Dragoş POPESCU Coordonatori: Ştefan-Dominic GEORGESCU EDITURA ACADEMIEI ROMÂNE Bucureşti, 2010
Mai multLimbaje de Programare Curs 6 – Functii de intrare-iesire
Limbaje de Programare Curs 6 Funcţii de intrare-ieşire Dr. Casandra Holotescu Universitatea Politehnica Timişoara Ce discutăm azi... 1 Citire formatată 2 Citirea şirurilor de caractere 3 Citirea unor linii
Mai multMicrosoft 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 multCURBE BÉZIER În CAGD se utilizează adesea curbele polinomiale, adică acele curbe definite de o parametrizare polinomială: C : [a, b] R 3 C(t) = (x(t),
CURE ÉZIER În CAGD se utilizează adesea curbele polinomiale, adică acele curbe definite de o parametrizare polinomială: C : [a, b] R 3 C(t) = (x(t), y(t), z(t)) cu x, y, z polinoame de grad n. Maximul
Mai multmatematica
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 multMD.09. Teoria stabilităţii 1
MD.09. Teoria stabilităţii 1 Capitolul MD.09. Teoria stabilităţii Cuvinte cheie Soluţie stabilă spre +, instabilă si asimptotic stabilă, punct de echilibru, soluţie staţionară, stabilitatea soluţiei banale,
Mai multProgramarea calculatoarelor. Note de curs Marius Minea 1 Introducere în programarea în C 1.1 Funcţii în limbajul C Calcule şi funcţii La origine, rolu
1 Introducere în programarea în C 1.1 Funcţii în limbajul C Calcule şi funcţii La origine, rolul programelor e de a efectua în principal calcule matematice. Discutăm de aceea structura programelor făcând
Mai mult15. Logică matematică cu aplicații în informatică - MI 3
FIȘA DISCIPLINEI 1. Date despre program 1.1. Instituția de învățământ superior Universitatea de Vest din Timișoara 1.2. Facultatea Matematică și Informatică 1.3. Departamentul Matematică 1.4. Domeniul
Mai multPerformanta 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 multFIŞ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 multProbleme 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 multBAC 2007 Pro Didactica Programa M1 2 Rezolvarea variantei 36 versiune finală Redactia Pro Didactica Suportul pe net:
BAC 27 Pro Didactica Programa M1 2 Rezolvarea variantei 36 versiune finală Redactia Pro Didactica Suportul pe net: http://www./ CAPITOLUL 1 Varianta 36 1. Subiectul I. (a) Avem 2 ( ) 2+ ( ) 2= 7i = 2 7
Mai multMicrosoft Word - a5+s1-5.doc
Unitatea şcolară: Şcoala cu cls. I-VIII Sf. Vineri Profesor: Gh. CRACIUN Disciplina: Matematică Clasa a V-a / 4 ore pe săpt./ Anul şcolar 007-008 PROIECTAREA DIDACTICĂ ANUALĂ Număr săptămâni: 35 Număr
Mai multPROGRAMARE ORIENTATA PE OBIECTE
Curs 2 Principiile Programării Orientate pe Obiecte Programare Orientată pe Obiecte Tehnici de programare Programarea procedurală Modul în care este abordată programarea, din punct de vedere al descompunerii
Mai multUNIVERSITATEA 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 multBARAJ NR. 1 JUNIORI FRANŢA ianuarie Fie x şi y două numere întregi astfel încât 5x + 6y şi 6x + 5y să fie pătrate perfecte. Arătaţi că
BARAJ NR. 1 JUNIORI FRANŢA 019 9 ianuarie 019 1. Fie x şi y două numere întregi astfel încât 5x + 6y şi 6x + 5y să fie pătrate perfecte. Arătaţi că x şi y sunt divizibili cu 11.. Fie Γ un cerc de centru
Mai multCapitolul MD. 10 Metoda funcţiilor Liapunov Fie sistemul diferenţial x = f (t, x), t t 0, x D R n. (10.1) Presupunem că x = 0 este punct de echilibru,
Capitolul MD. 10 Metoda funcţiilor Liapunov Fie sistemul diferenţial x = f (t, x), t t 0, x D R n. (10.1) Presupunem că x = 0 este punct de echilibru, adică f (t, 0) = 0, t t 0. In acest paragraf, funcţia
Mai multMicrosoft Word - Curs_09.doc
Capitolul 7. Proiectarea conceptuală Scop: reprezentarea cerinţelor informale ale aplicaţiei în termenii descrierii complete şi formale dar independent de criteriul folosit pentru reprezentare în sistemul
Mai mult