Sistemi veštačke inteligencije primer 1

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "Sistemi veštačke inteligencije primer 1"

Transcript

1 Sistemi veštačke inteligencije primer 1 1. Na jeziku predikatskog računa formalizovati rečenice: a) Miloš je slikar. b) Sava nije slikar. c) Svi slikari su umetnici. Uz pomoć metode rezolucije dokazati da postoji neko ko je umetnik. 2. Odrediti NOU za sledeće skupove literala a) {Q(g(Y), X, a), Q(g(a), f(y,z), a)} b) {P(a, g(y), X), P(X, Z, Y)} c) {S(X, g(z)), S(Y, Z)} Ovde su: X,Y,Z oznake promenljivih; a oznaka konstante; f,g oznake funkcija; Q, P, S oznake predikata. 3. Uz pomoć zaključivanja vođenog ciljem dokazati (nacrtati graf) da program terminira, stanje_programa(end), ako su data pravila i činjenice: Pravila: P1: veće(f,80) manje(g,20) jednako(c,100) P2: manje(d,0) manje(e,3) manje(b,50) P3: veće(h,200) veće(a,30) P4: manje(b,50) veće(a,30) jednako(c,100) stanje_programa(end) Činjenice: C1: veće(h,200) C2: manje(e,3) C3: manje(d,0) C4: manje(g,20) Cilj: stanje_programa(end) 4. Na programskom jeziku PROLOG formalizovati bazu znanja o vlasnicima stanova koja sadrži: naziv vlasnika, kvadraturu stana, cenu po kvadratnom metru, godinu izgradnje stana. Napisati pravilo koje izdvaja nazive vlasnika stanova koji su izgrađeni pre 1970 godine ili posle 2000 godine. Napisati pravilo koje izdvaja nazive vlasnika stanova koji su izgrađeni 1985 godina, a cena je veća od Na programskom jeziku PROLOG napisati program koji odredjuje treći član rekurzivnog niza: g(0)=1, g(1)=1, g(n)=4*g(n-1)+g(n-2), za n>1. Postaviti test pitanje. 1

2 REŠENJA primer slikar(milos) 2. not(slikar(sava)) 3. ( X)(slikar(X) umetnik(x)) 4 ( X)(umetnik(X)) Tvrđenje 1. slikar(milos) 2. not(slikar(sava)) 3. slikar(x) umetnik(x) 4. umetnik(x) Negacija tvrđenja 5. slikar(x) R:3,4 6. R:1,5 {milos/x} 2. a) A = {Q(g(Y), X, a), Q(g(a), f(y,z), a)} B 0 = {Y, a} θ 1 = θ 0 {a/y} = {a/y} Aθ 1 = {Q(g(a), X, a), Q(g(a), f(a,z), a)} B 1 = {X, f(a,z)} θ 2 = θ 1 {f(a,z)/x} = {a/y, f(a,z)/x} Aθ 2 = {Q(g(a), f(a,z), a), Q(g(a), f(a,z), a)} = {Q(g(a), f(a,z), a)} NOU = θ 2 = {a/y, f(a,z)/x)} b) A = {P(a, g(y), X), P(X, Z, Y)} B 0 = {a, X} θ 1 = θ 0 {a/x} = {a/x} Aθ 1 = {P(a, g(y), a), P(a, Z, Y)} B 1 = {g(y), Z} θ 2 = θ 1 {g(y)/z} = {a/x, g(y)/z} Aθ 2 = {P(a, g(y), a), P(a, g(y), Y)} B 2 = {a,y} k = 3 θ 3 = θ 2 {a/y} = {a/x, g(a)/z, a/y} Aθ 3 = {P(a, g(a), a), P(a, g(a), a)} = {P(a, g(a), a)} NOU = θ 3 = {a/x, g(a)/z, a/y} c) A = {S(X, g(z)), S(Y, Z)} B 0 = {X, Y} θ 1 = θ 0 {X/Y} Aθ 1 = {S(X, g(z)), S(X, Z)} B 1 = {g(z), Z} NOU ne postoji jer funkcija g zavisi od promenljive Z. 2

3 3. 4. stan( Simic Milos, 58, 1200, 1987). stan( Markovic Ljiljana, 83, 1700, 1992). stan( Milosev Branka, 98, 2100, 1995). izdvoj1(x):-stan(x, _, _, Y), (Y<1970; Y>2000). izdvoj2(x):-stan(x, Y, Z, 1985), C is Y*Z, C> g(0,1). g(1,1). g(n, Rez):- N>1, N1 is N-1, N2 is N-2, g(n2, Rez2), g(n1, Rez1), Rez is 4*Rez1+Rez2.?-g(3, X). 3

4 Sistemi veštačke inteligencije primer 2 1. Na jeziku predikatskog računa I reda formalizovati rečenice: 1. Dedal je muško. 2. Ikar je Dedalovo dete. 3. Za sve osobe važi da ako je osoba X dete osobe Y i osoba Y je muškog roda, tada je osoba Y otac osobe X. Uz pomoć metode rezolucije dokazati tvrđenje: Dedal je Ikarov otac. 2. Odrediti NOU za sledeće skupove literala: a) {R(f(g(X), X), g(y), f(b,g(a))), R(f(g(b), b), Z, f(x,z))} b) {P(Y, a, h(g(b)),g(a)), P(X, a, h(z), Z)} c) {Q(X, g(y), b, f(g(a), X)), Q(c, Z, b, f(g(a), U))} Ovde su: X,Y,Z,U oznake promenljivih; f,g,h oznake funkcija; a,b,c oznake konstanti i R,P,Q oznake predikata. 3. Uz pomoć zaključivanja vođenog ciljem dokazati (nacrtati graf) da je preduzeće «MegaTrade» u dobitku ako je dato: Baza znanja: P1: ima_sirovina(x) mašine_ispravne(x) ima_radnika(x) u_dobitku(x) P2: obezbedjen_serviser(x) garancija_na_mašine(x) mašine_ispravne(x) P3:obezbedjen_prevoznik(X) obezbedjen_nabavljač(x) ima_sirovina(x) P4:poseduje_sopstveni_prevoz(X) ugovor_sa_transportnim_preduzećem(x) obezbedjen_prevoznik(x) Činjenice: C1: garancija_na_mašine(megatrade) C2: ima_radnika(megatrade) C3: poseduje_sopstveni_prevoz(megatrade) C4: obezbedjen_nabavljač(megatrade) Cilj: u_dobitku(megatrade) 4. Na programskom jeziku Prolog napisati program koji određuje: a) da li su elementi celobrojne liste u opadajućem poretku, b) koja je dužina liste. 5. Na programskom jeziku Prolog napisati program za određivanje proizvoda prvih n prirodnih brojeva. 4

5 REŠENJA primer musko(dedal) 2. dete(ikar,dedal) 3. ( X)( Y) ((dete(x,y) musko(y)) otac(y,x)) 4.otac(dedal,ikar) Tvrđenje 1. musko(dedal) 2. dete(ikar,dedal) 3. (dete(x,y) musko(y)) otac(y,x)) 4. otac(dedal,ikar) Negacija tvrđenja 1. musko(dedal) 2. dete(ikar,dedal) 3. dete(x,y) musko(y) otac(y,x) 4. otac(dedal,ikar) Negacija tvrđenja 5. dete(ikar,dedal) musko(dedal) R:(3,4) {dedal/y, ikar/x} 6. dete(ikar,dedal) R:(1,5) 7. R:(2,6) 2. a) A = {R(f(g(X), X), g(y), f(b,g(a))), R(f(g(b), b), Z, f(x,z))} B 0 = {b, X} θ 1 = θ 0 {b/x} = {b/x} Aθ 1 = {R(f(g(b), b), g(y), f(b,g(a))), R(f(g(b), b), Z, f(b, Z))} B 1 = {g(y), Z} θ 2 = θ 1 {g(y)/z } = {b/x, g(y)/z} Aθ 2 = {R(f(g(b), b), g(y), f(b,g(a))), R(f(g(b), b), g(y), f(b, g(y)))} B 2 = {a, Y} k = 3 θ 3 = θ 2 {a/y} = {b/x, g(a)/z, a/y} Aθ 3 = {R(f(g(b), b), g(a), f(b,g(a))), R(f(g(b), b), g(a), f(b, g(a)))} Aθ 3 = {R(f(g(b), b), g(a), f(b,g(a)))} NOU = θ 3 = {b/x, g(a)/z, a/y} b) A = {P(Y, a, h(g(b)),g(a)), P(X, a, h(z), Z)} B 0 = {X, Y} θ 1 = θ 0 {X/Y} = {X/Y} Aθ 1 = {P(X, a, h(g(b)),g(a)), P(X, a, h(z), Z)} B 1 = {g(b), Z} θ 2 = θ 1 {g(b)/z } = {X/Y, g(b)/z} Aθ 2 = {P(X, a, h(g(b)), g(a)), P(X, a, h(g(b)), g(b))} B 2 = {a, b} NOU ne postoji jer su a i b dve različite konstante. 5

6 c) A = {Q(X, g(y), b, f(g(a), X)), Q(c, Z, b, f(g(a), U))} B 0 = {c, X} θ 1 = θ 0 {c/x} = {c/x} Aθ 1 = {Q(c, g(y), b, f(g(a), c)), Q(c, Z, b, f(g(a), U))} B 1 = {g(y), Z} θ 2 = θ 1 {g(y)/z} = {c/x, g(y)/z} Aθ 2 = {Q(c, g(y), b, f(g(a), c)), Q(c, g(y), b, f(g(a), U))} B 2 = {c, U} k = 3 θ 3 = θ 2 {c/u} = {c/x, g(y)/z, c/u} Aθ 3 = {Q(c, g(y), b, f(g(a), c)), Q(c, g(y), b, f(g(a), c))} = {Q(c, g(y), b, f(g(a), c))} NOU = θ 3 = {c/x, g(y)/z, c/u} 3. u_dobitku(megatrade) P1 ima_sirovina(megatrade) mašine_ispravne(megatrade) ima_radnika(megatrade) C2, TACNO P3 obezbedjen_prevoznik(megatrade) obezbedjen_nabavljac(megatrade) P2 P4 C4, TACNO poseduje_sopstveni_prevoz(megatrade) obezbedjen_serviser(megatrade) C3, TACNO ugovor_sa_transportnim_preduzecem(megatrade) garancija_na_mašine(megatrade) C1, TACNO poredak([_]). poredak([x,y O]):-X>=Y, poredak([y ]O). duzina([],0). duzina([_ Ost], N):-duzina(Ost, M), N is M+1. proizvod(1,1). proizvod(n,r):-n>1, N1 is N-1, proizvod(n1,r1), R is N*R1. 6

IZVODI ZADACI (I deo)

IZVODI ZADACI (I deo) IZVODI ZADACI (I deo) Najpre da se podsetimo tablice i osnovnih pravila:. C`=0. `=. ( )`= 4. ( n )`=n n-. (a )`=a lna 6. (e )`=e 7. (log a )`= 8. (ln)`= ` ln a (>0) 9. = ( 0) 0. `= (>0) (ovde je >0 i a

Διαβάστε περισσότερα

(P.I.) PRETPOSTAVKA INDUKCIJE - pretpostavimo da tvrdnja vrijedi za n = k.

(P.I.) PRETPOSTAVKA INDUKCIJE - pretpostavimo da tvrdnja vrijedi za n = k. 1 3 Skupovi brojeva 3.1 Skup prirodnih brojeva - N N = {1, 2, 3,...} Aksiom matematičke indukcije Neka je N skup prirodnih brojeva i M podskup od N. Ako za M vrijede svojstva: 1) 1 M 2) n M (n + 1) M,

Διαβάστε περισσότερα

HY118- ιακριτά Μαθηµατικά

HY118- ιακριτά Μαθηµατικά HY118- ιακριτά Μαθηµατικά Παρασκευή, 27/02/2015 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/1/2015

Διαβάστε περισσότερα

ΔΙΑΚΡΙΣΑ ΜΑΘΗΜΑΣΙΚΑ. Καηηγορημαηικός Λογιζμός

ΔΙΑΚΡΙΣΑ ΜΑΘΗΜΑΣΙΚΑ. Καηηγορημαηικός Λογιζμός ΔΙΑΚΡΙΣΑ ΜΑΘΗΜΑΣΙΚΑ Καηηγορημαηικός Λογιζμός Μοπθέρ Θεωπημάηων Υπάξρεη έλα αληηθείκελν ώζηε λα ηζρύεη θάηη. Υπαξμηαθόο πνζνδείθηεο Γηα θάζε αληηθείκελν ηζρύεη όηη θάηη. Καζνιηθόο πνζνδείθηεο 2 Καηηγοπήμαηα

Διαβάστε περισσότερα

18. listopada listopada / 13

18. listopada listopada / 13 18. listopada 2016. 18. listopada 2016. 1 / 13 Neprekidne funkcije Važnu klasu funkcija tvore neprekidne funkcije. To su funkcije f kod kojih mala promjena u nezavisnoj varijabli x uzrokuje malu promjenu

Διαβάστε περισσότερα

Osnovni primer. (Z, +,,, 0, 1) je komutativan prsten sa jedinicom: množenje je distributivno prema sabiranju

Osnovni primer. (Z, +,,, 0, 1) je komutativan prsten sa jedinicom: množenje je distributivno prema sabiranju RAČUN OSTATAKA 1 1 Prsten celih brojeva Z := N + {} N + = {, 3, 2, 1,, 1, 2, 3,...} Osnovni primer. (Z, +,,,, 1) je komutativan prsten sa jedinicom: sabiranje (S1) asocijativnost x + (y + z) = (x + y)

Διαβάστε περισσότερα

MATRICE I DETERMINANTE - formule i zadaci - (Matrice i determinante) 1 / 15

MATRICE I DETERMINANTE - formule i zadaci - (Matrice i determinante) 1 / 15 MATRICE I DETERMINANTE - formule i zadaci - (Matrice i determinante) 1 / 15 Matrice - osnovni pojmovi (Matrice i determinante) 2 / 15 (Matrice i determinante) 2 / 15 Matrice - osnovni pojmovi Matrica reda

Διαβάστε περισσότερα

Jednodimenzionalne slučajne promenljive

Jednodimenzionalne slučajne promenljive Jednodimenzionalne slučajne promenljive Definicija slučajne promenljive Neka je X f-ja def. na prostoru verovatnoća (Ω, F, P) koja preslikava prostor el. ishoda Ω u skup R realnih brojeva: (1)Skup {ω/

Διαβάστε περισσότερα

radni nerecenzirani materijal za predavanja R(f) = {f(x) x D}

radni nerecenzirani materijal za predavanja R(f) = {f(x) x D} Matematika 1 Funkcije radni nerecenzirani materijal za predavanja Definicija 1. Neka su D i K bilo koja dva neprazna skupa. Postupak f koji svakom elementu x D pridružuje točno jedan element y K zovemo funkcija

Διαβάστε περισσότερα

Φυλλάδια 2&3: Κατηγορηµατική Λογική

Φυλλάδια 2&3: Κατηγορηµατική Λογική ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Φυλλάδια 2&3: Κατηγορηµατική Λογική ΕΚΕΜΒΡΙΟΣ 2007 ΣΗΜΕΙΩΣΗ: ΟΙ ΛΥΣΕΙΣ ΠΟΥ ΑΚΟΛΟΥΘΟΥΝ ΕΧΟΥΝ ΟΘΕΙ ΑΠΟ ΣΥΝΑ ΕΛΦΟΥΣ ΣΑΣ ΤΩΝ ΟΠΟΙΩΝ ΤΑ ΟΝΟΜΑΤΑ ΑΝΑΓΡΑΦΟΝΤΑΙ. A.

Διαβάστε περισσότερα

Zadaci iz Osnova matematike

Zadaci iz Osnova matematike Zadaci iz Osnova matematike 1. Riješiti po istinitosnoj vrijednosti iskaza p, q, r jednačinu τ(p ( q r)) =.. Odrediti sve neekvivalentne iskazne formule F = F (p, q) za koje je iskazna formula p q p F

Διαβάστε περισσότερα

Zadaci sa prethodnih prijemnih ispita iz matematike na Beogradskom univerzitetu

Zadaci sa prethodnih prijemnih ispita iz matematike na Beogradskom univerzitetu Zadaci sa prethodnih prijemnih ispita iz matematike na Beogradskom univerzitetu Trigonometrijske jednačine i nejednačine. Zadaci koji se rade bez upotrebe trigonometrijskih formula. 00. FF cos x sin x

Διαβάστε περισσότερα

Prvi pismeni zadatak iz Analize sa algebrom novembar Ispitati znak funkcije f(x) = tgx x x3. 2. Naći graničnu vrednost lim x a

Prvi pismeni zadatak iz Analize sa algebrom novembar Ispitati znak funkcije f(x) = tgx x x3. 2. Naći graničnu vrednost lim x a Testovi iz Analize sa algebrom 4 septembar - oktobar 009 Ponavljanje izvoda iz razreda (f(x) = x x ) Ispitivanje uslova Rolove teoreme Ispitivanje granične vrednosti f-je pomoću Lopitalovog pravila 4 Razvoj

Διαβάστε περισσότερα

Verovatnoća i Statistika I deo Teorija verovatnoće (zadaci) Beleške dr Bobana Marinkovića

Verovatnoća i Statistika I deo Teorija verovatnoće (zadaci) Beleške dr Bobana Marinkovića Verovatnoća i Statistika I deo Teorija verovatnoće zadaci Beleške dr Bobana Marinkovića Iz skupa, 2,, 00} bira se na slučajan način 5 brojeva Odrediti skup elementarnih dogadjaja ako se brojevi biraju

Διαβάστε περισσότερα

Zadaci iz trigonometrije za seminar

Zadaci iz trigonometrije za seminar Zadaci iz trigonometrije za seminar FON: 1. Vrednost izraza sin 1 cos 6 jednaka je: ; B) 1 ; V) 1 1 + 1 ; G) ; D). 16. Broj rexea jednaqine sin x cos x + cos x = sin x + sin x na intervalu π ), π je: ;

Διαβάστε περισσότερα

I.13. Koliki je napon između neke tačke A čiji je potencijal 5 V i referentne tačke u odnosu na koju se taj potencijal računa?

I.13. Koliki je napon između neke tačke A čiji je potencijal 5 V i referentne tačke u odnosu na koju se taj potencijal računa? TET I.1. Šta je Kulonova sila? elektrostatička sila magnetna sila c) gravitaciona sila I.. Šta je elektrostatička sila? sila kojom međusobno eluju naelektrisanja u mirovanju sila kojom eluju naelektrisanja

Διαβάστε περισσότερα

a M a A. Može se pokazati da je supremum (ako postoji) jedinstven pa uvodimo oznaku sup A.

a M a A. Može se pokazati da je supremum (ako postoji) jedinstven pa uvodimo oznaku sup A. 3 Infimum i supremum Definicija. Neka je A R. Kažemo da je M R supremum skupa A ako je (i) M gornja meda skupa A, tj. a M a A. (ii) M najmanja gornja meda skupa A, tj. ( ε > 0)( a A) takav da je a > M

Διαβάστε περισσότερα

Zadatak 2 Odrediti tačke grananja, Riemann-ovu površ, opisati sve grane funkcije f(z) = z 3 z 4 i objasniti prelazak sa jedne na drugu granu.

Zadatak 2 Odrediti tačke grananja, Riemann-ovu površ, opisati sve grane funkcije f(z) = z 3 z 4 i objasniti prelazak sa jedne na drugu granu. Kompleksna analiza Zadatak Odrediti tačke grananja, Riemann-ovu površ, opisati sve grane funkcije f(z) = z z 4 i objasniti prelazak sa jedne na drugu granu. Zadatak Odrediti tačke grananja, Riemann-ovu

Διαβάστε περισσότερα

Geometrija (I smer) deo 1: Vektori

Geometrija (I smer) deo 1: Vektori Geometrija (I smer) deo 1: Vektori Srdjan Vukmirović Matematički fakultet, Beograd septembar 2013. Vektori i linearne operacije sa vektorima Definicija Vektor je klasa ekvivalencije usmerenih duži. Kažemo

Διαβάστε περισσότερα

POTPUNO RIJEŠENIH ZADATAKA PRIRUČNIK ZA SAMOSTALNO UČENJE

POTPUNO RIJEŠENIH ZADATAKA PRIRUČNIK ZA SAMOSTALNO UČENJE **** MLADEN SRAGA **** 011. UNIVERZALNA ZBIRKA POTPUNO RIJEŠENIH ZADATAKA PRIRUČNIK ZA SAMOSTALNO UČENJE SKUP REALNIH BROJEVA α Autor: MLADEN SRAGA Grafički urednik: BESPLATNA - WEB-VARIJANTA Tisak: M.I.M.-SRAGA

Διαβάστε περισσότερα

radni nerecenzirani materijal za predavanja

radni nerecenzirani materijal za predavanja Matematika 1 Funkcije radni nerecenzirani materijal za predavanja Definicija 1. Kažemo da je funkcija f : a, b R u točki x 0 a, b postiže lokalni minimum ako postoji okolina O(x 0 ) broja x 0 takva da je

Διαβάστε περισσότερα

DIMENZIONISANJE PRAVOUGAONIH POPREČNIH PRESEKA NAPREGNUTIH NA PRAVO SLOŽENO SAVIJANJE

DIMENZIONISANJE PRAVOUGAONIH POPREČNIH PRESEKA NAPREGNUTIH NA PRAVO SLOŽENO SAVIJANJE TEORIJA ETONSKIH KONSTRUKCIJA T- DIENZIONISANJE PRAVOUGAONIH POPREČNIH PRESEKA NAPREGNUTIH NA PRAVO SLOŽENO SAVIJANJE 3.5 f "2" η y 2 D G N z d y A "" 0 Z a a G - tačka presek koja određje položaj sistemne

Διαβάστε περισσότερα

1 ISKAZNA I PREDIKATSKA LOGIKA Zadaci Rešenja SKUPOVI Zadaci RELACIJE Zadaci Rešenja...

1 ISKAZNA I PREDIKATSKA LOGIKA Zadaci Rešenja SKUPOVI Zadaci RELACIJE Zadaci Rešenja... Sadržaj 1 ISKAZNA I PREDIKATSKA LOGIKA 3 1.1 Zadaci............................... 6 1.2 Rešenja.............................. 8 2 SKUPOVI 13 2.1 Zadaci............................... 16 2.2 Rešenja..............................

Διαβάστε περισσότερα

Ministarstvo prosvete i sporta Republike Srbije Druxtvo matematiqara Srbije OPXTINSKO TAKMIQENjE IZ MATEMATIKE Prvi razred A kategorija

Ministarstvo prosvete i sporta Republike Srbije Druxtvo matematiqara Srbije OPXTINSKO TAKMIQENjE IZ MATEMATIKE Prvi razred A kategorija 18.1200 Prvi razred A kategorija Neka je K sredixte teжixne duжi CC 1 trougla ABC ineka je AK BC = {M}. Na i odnos CM : MB. Na i sve proste brojeve p, q i r, kao i sve prirodne brojeve n, takve da vaжi

Διαβάστε περισσότερα

Skupovi, relacije, funkcije

Skupovi, relacije, funkcije Chapter 1 Skupovi, relacije, funkcije 1.1 Skup, torka, multiskup 1.1.1 Skup Pojam skupa ne definišemo eksplicitno. Intuitivno skup prihvatamo kao konačnu ili beskonačnu kolekciju objekata (ili elemenata)u

Διαβάστε περισσότερα

http://www.mathematica.gr/forum/viewtopic.php?f=109&t=15584

http://www.mathematica.gr/forum/viewtopic.php?f=109&t=15584 Επιμέλεια : xr.tsif Σελίδα 1 ΠΡΟΤΕΙΝΟΜΕΝΕΣ ΑΣΚΗΣΕΙΣ ΓΙΑ ΜΑΘΗΤΙΚΟΥΣ ΔΙΑΓΩΝΙΣΜΟΥΣ ΕΚΦΩΝΗΣΕΙΣ ΤΕΥΧΟΣ ΑΣΚΗΣΕΙΣ 101-00 Αφιερωμέν σε κάθε μαθητή πυ ασχλείται ή πρόκειται να ασχληθεί με Μαθηματικύς διαγωνισμύς

Διαβάστε περισσότερα

A N A L I S I S K U A L I T A S A I R D I K A L I M A N T A N S E L A T A N S E B A G A I B A H A N C A M P U R A N B E T O N

A N A L I S I S K U A L I T A S A I R D I K A L I M A N T A N S E L A T A N S E B A G A I B A H A N C A M P U R A N B E T O N I N F O T E K N I K V o l u m e 1 5 N o. 1 J u l i 2 0 1 4 ( 61-70) A N A L I S I S K U A L I T A S A I R D I K A L I M A N T A N S E L A T A N S E B A G A I B A H A N C A M P U R A N B E T O N N o v i

Διαβάστε περισσότερα

STATIČKE KARAKTERISTIKE DIODA I TRANZISTORA

STATIČKE KARAKTERISTIKE DIODA I TRANZISTORA Katedra za elektroniku Elementi elektronike Laboratorijske vežbe Vežba br. 2 STATIČKE KARAKTERISTIKE DIODA I TRANZISTORA Datum: Vreme: Studenti: 1. grupa 2. grupa Dežurni: Ocena: Elementi elektronike -

Διαβάστε περισσότερα

- pravac n je zadan s točkom T(2,0) i koeficijentom smjera k=2. (30 bodova)

- pravac n je zadan s točkom T(2,0) i koeficijentom smjera k=2. (30 bodova) MEHANIKA 1 1. KOLOKVIJ 04/2008. grupa I 1. Zadane su dvije sile F i. Sila F = 4i + 6j [ N]. Sila je zadana s veličinom = i leži na pravcu koji s koordinatnom osi x zatvara kut od 30 (sve komponente sile

Διαβάστε περισσότερα

Προβολές και Μετασχηματισμοί Παρατήρησης

Προβολές και Μετασχηματισμοί Παρατήρησης Γραφικά & Οπτικοποίηση Κεφάλαιο 4 Προβολές και Μετασχηματισμοί Παρατήρησης Εισαγωγή Στα γραφικά υπάρχουν: 3Δ μοντέλα 2Δ συσκευές επισκόπησης (οθόνες & εκτυπωτές) Προοπτική απεικόνιση (προβολή): Λαμβάνει

Διαβάστε περισσότερα

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Δείγμα Ενδιάμεσης Εξέτασης Λύσεις Άσκηση 1 [30 μονάδες] Να αποδείξετε τα πιο κάτω λογικά επακόλουθα χρησιμοποιώντας τα συστήματα

Διαβάστε περισσότερα

Diskretna matematika. Prof. dr Olivera Nikolić

Diskretna matematika. Prof. dr Olivera Nikolić Diskretna matematika Prof. dr Olivera Nikolić onikolic@singidunum.ac.rs 1 OSNOVNI POJMOVI MATEMATIČKE LOGIKE 2 1. Diskretna matematika 2. Kontinualna matematika 3 Pojam diskretne matematike Diskretna matematika

Διαβάστε περισσότερα

( ) π. I slučaj-štap sa zglobovima na krajevima F. Opšte rešenje diferencijalne jednačine (1): min

( ) π. I slučaj-štap sa zglobovima na krajevima F. Opšte rešenje diferencijalne jednačine (1): min Kritična sia izvijanja Kritična sia je ona najmanja vrednost sie pritisa pri ojoj nastupa gubita stabinosti, odnosno, pri ojoj štap iz stabine pravoinijse forme ravnoteže preazi u nestabinu rivoinijsu

Διαβάστε περισσότερα

Απόδειξη. Η ιδιότητα(vi) του ορισμού δεν ισχύει στην πράξη αυτή. Πράγματι, έχουμε. 1 (x, y, z) =(1 x, 1 y, 2 1 z) =(x, y, 2z)

Απόδειξη. Η ιδιότητα(vi) του ορισμού δεν ισχύει στην πράξη αυτή. Πράγματι, έχουμε. 1 (x, y, z) =(1 x, 1 y, 2 1 z) =(x, y, 2z) 1 ιανυσματικοί χώροι Άσκηση 1.1 Στο σύνολο R 3 όλων των διατεταγμένων τριάδων διατηρούμε την πρόσθεση, που ορίσαμε στο αντίστοιχο παράδειγμα, και ορίζουμε εξωτερικό πολλαπλασιασμό με τη σχέση λ(a 1,a 2,a

Διαβάστε περισσότερα

3n an = 4n3/2 +2n+ n 5n 3/2 +5n+2 n a 2 n = n 2. ( 2) n Dodatak. = 0, lim n! 2n 6n + 1

3n an = 4n3/2 +2n+ n 5n 3/2 +5n+2 n a 2 n = n 2. ( 2) n Dodatak. = 0, lim n! 2n 6n + 1 Nizovi 5 a = 5 +3+ + 6 a = 3 00 + 00 3 +5 7 a = +)+) ) 3 3 8 a = 3 +3+ + +3 9 a = 3 5 0 a = 43/ ++ 5 3/ +5+ a = + + a = + ) 3 a = + + + 4 a = 3 3 + 3 ) 5 a = +++ 6 a = + ++ 3 a = +)!++)! +3)! a = ) +3

Διαβάστε περισσότερα

Κατ οίκον Εργασία 2 Λύσεις

Κατ οίκον Εργασία 2 Λύσεις Κατ οίκον Εργασία 2 Λύσεις Άσκηση 1 Ακολουθεί η διατύπωση των προτάσεων στον προτασιακό λογισμό. (α) Κάθε ενεργός χρήστης είναι είτε διαχειριστής είτε κανονικός χρήστης του συστήματος. x [Ενεργός (x) Διαχειριστής(x)

Διαβάστε περισσότερα

ΑΡΙΘΜΗΤΙΚΗ ΑΝΑΛΥΣΗ, 2004, 3 Ο ΕΞΑΜΗΝΟ ΕΡΓΑΣΙΑ #5: ΑΡΙΘΜΗΤΙΚΗ ΟΛΟΚΛΗΡΩΣΗ

ΑΡΙΘΜΗΤΙΚΗ ΑΝΑΛΥΣΗ, 2004, 3 Ο ΕΞΑΜΗΝΟ ΕΡΓΑΣΙΑ #5: ΑΡΙΘΜΗΤΙΚΗ ΟΛΟΚΛΗΡΩΣΗ ΑΡΙΘΜΗΤΙΚΗ ΑΝΑΛΥΣΗ, 2004, 3 Ο ΕΞΑΜΗΝΟ ΕΡΓΑΣΙΑ #5: ΑΡΙΘΜΗΤΙΚΗ ΟΛΟΚΛΗΡΩΣΗ Επιμέλεια: ΓΙΑΝΝΗΣ ΛΥΧΝΑΡΟΠΟΥΛΟΣ Άσκηση 1 Δίνοντας το ολοκλήρωμα στη Mathematica παίρνουμε την τιμή του: 0 40 100 140558 z 2z 15

Διαβάστε περισσότερα

4 Numeričko diferenciranje

4 Numeričko diferenciranje 4 Numeričko diferenciranje 7. Funkcija fx) je zadata tabelom: x 0 4 6 8 fx).17 1.5167 1.7044 3.385 5.09 7.814 Koristeći konačne razlike, zaključno sa trećim redom, odrediti tačku x minimuma funkcije fx)

Διαβάστε περισσότερα

Veleučilište u Rijeci Stručni studij sigurnosti na radu Akad. god. 2011/2012. Matematika. Monotonost i ekstremi. Katica Jurasić. Rijeka, 2011.

Veleučilište u Rijeci Stručni studij sigurnosti na radu Akad. god. 2011/2012. Matematika. Monotonost i ekstremi. Katica Jurasić. Rijeka, 2011. Veleučilište u Rijeci Stručni studij sigurnosti na radu Akad. god. 2011/2012. Matematika Monotonost i ekstremi Katica Jurasić Rijeka, 2011. Ishodi učenja - predavanja Na kraju ovog predavanja moći ćete:,

Διαβάστε περισσότερα

POGLAVLJE 1 BEZUSLOVNA OPTIMIZACIJA. U ovom poglavlju proučavaćemo problem bezuslovne optimizacije:

POGLAVLJE 1 BEZUSLOVNA OPTIMIZACIJA. U ovom poglavlju proučavaćemo problem bezuslovne optimizacije: POGLAVLJE 1 BEZUSLOVNA OPTIMIZACIJA U ovom poglavlju proučavaćemo problem bezuslovne optimizacije: min f(x) (1.1) pri čemu nema dodatnih ograničenja na X = (x 1,..., x n ) R n. Probleme bezuslovne optimizacije

Διαβάστε περισσότερα

Τίτλος Υποέργου: Εφαρµογές Τεχνητής Νοηµοσύνης στην Τεχνολογία Λογισµικού και στην Ιατρική

Τίτλος Υποέργου: Εφαρµογές Τεχνητής Νοηµοσύνης στην Τεχνολογία Λογισµικού και στην Ιατρική Αρχιµήδης ΙΙ Ενίσχυση Ερευνητικών Οµάδων του ΤΕΙ Κρήτης Τίτλος Υποέργου: Εφαρµογές Τεχνητής Νοηµοσύνης στην Τεχνολογία Λογισµικού και στην Ιατρική Επιστηµονικός Υπεύθυνος: ρ Εµµανουήλ Μαρακάκης ραστηριότητα

Διαβάστε περισσότερα

ZBIRKA POTPUNO RIJEŠENIH ZADATAKA

ZBIRKA POTPUNO RIJEŠENIH ZADATAKA **** IVANA SRAGA **** 1992.-2011. ZBIRKA POTPUNO RIJEŠENIH ZADATAKA PRIRUČNIK ZA SAMOSTALNO UČENJE POTPUNO RIJEŠENI ZADACI PO ŽUTOJ ZBIRCI INTERNA SKRIPTA CENTRA ZA PODUKU α M.I.M.-Sraga - 1992.-2011.

Διαβάστε περισσότερα

2. KOLOKVIJ IZ MATEMATIKE 1

2. KOLOKVIJ IZ MATEMATIKE 1 2 cos(3 π 4 ) sin( + π 6 ). 2. Pomoću linearnih transformacija funkcije f nacrtajte graf funkcije g ako je, g() = 2f( + 3) +. 3. Odredite domenu funkcije te odredite f i njenu domenu. log 3 2 + 3 7, 4.

Διαβάστε περισσότερα

Fakultet tehničkih nauka, Softverske i informacione tehnologije, Matematika 2 KOLOKVIJUM 1. Prezime, ime, br. indeksa:

Fakultet tehničkih nauka, Softverske i informacione tehnologije, Matematika 2 KOLOKVIJUM 1. Prezime, ime, br. indeksa: Fakultet tehničkih nauka, Softverske i informacione tehnologije, Matematika KOLOKVIJUM 1 Prezime, ime, br. indeksa: 4.7.1 PREDISPITNE OBAVEZE sin + 1 1) lim = ) lim = 3) lim e + ) = + 3 Zaokružiti tačne

Διαβάστε περισσότερα

J J l 2 J T l 1 J T J T l 2 l 1 J J l 1 c 0 J J J J J l 2 l 2 J J J T J T l 1 J J T J T J T J {e n } n N {e n } n N x X {λ n } n N R x = λ n e n {e n } n N {e n : n N} e n 0 n N k 1, k 2,..., k n N λ

Διαβάστε περισσότερα

10. STABILNOST KOSINA

10. STABILNOST KOSINA MEHANIKA TLA: Stabilnot koina 101 10. STABILNOST KOSINA 10.1 Metode proračuna koina Problem analize tabilnoti zemljanih maa vodi e na određivanje odnoa između rapoložive mičuće čvrtoće i proečnog mičućeg

Διαβάστε περισσότερα

On predstavlja osnovni pojam, poput pojma tačke ili prave u geometriji. Suštinsko svojstvo skupa je da se on sastoji od elemenata ili članova.

On predstavlja osnovni pojam, poput pojma tačke ili prave u geometriji. Suštinsko svojstvo skupa je da se on sastoji od elemenata ili članova. Pojam skupa U matematici se pojam skup ne definiše eksplicitno. On predstavlja osnovni pojam, poput pojma tačke ili prave u geometriji. Suštinsko svojstvo skupa je da se on sastoji od elemenata ili članova.

Διαβάστε περισσότερα

Mαθηματική Λογική και Λογικός Προγραμματισμός

Mαθηματική Λογική και Λογικός Προγραμματισμός ΕΠΙΚΟΙΝΩΝΙΑΚΩΝ ΣΥΤΗΜΑΤΩΝ ΦΕΒΡΟΥΑΡΙΟΥ 2004 Θέμα 1 ο : Αποδείξτε με τον κανόνα της επίλυσης τα ακόλουθα Α. Η πρόταση (Α (Β C)) & (A B) & (A C) είναι μη επαληθεύσιμη Β. Η Β είναι αποδείξιμη από το Δ={ (Β

Διαβάστε περισσότερα

Odred eni integrali. Osnovne osobine odred enog integrala: f(x)dx = 0, f(x)dx = f(x)dx + f(x)dx.

Odred eni integrali. Osnovne osobine odred enog integrala: f(x)dx = 0, f(x)dx = f(x)dx + f(x)dx. Odred eni integrli Osnovne osobine odred enog integrl: fx), fx) fx) b c fx), fx) + c fx), 4 ) b αfx) + βgx) α fx) + β gx), 5 fx) F x) b F b) F ), gde je F x) fx), 6 Ako je f prn funkcij fx) f x), x R ),

Διαβάστε περισσότερα

Akvizicija tereta. 5660t. Y= masa drva, X=masa cementa. Na brod će se ukrcati 1733 tona drva i 3927 tona cementa.

Akvizicija tereta. 5660t. Y= masa drva, X=masa cementa. Na brod će se ukrcati 1733 tona drva i 3927 tona cementa. Akvizicija tereta. Korisna nosivost broda je 6 t, a na brodu ia 8 cu. ft. prostora raspoloživog za sještaj tereta pod palubu. Navedeni brod treba krcati drvo i ceent, a na palubu ože aksialno ukrcati 34

Διαβάστε περισσότερα

RAVAN. Ravan je osnovni pojam u geometriji i kao takav se ne definiše. Ravan je određena tačkom i normalnim vektorom.

RAVAN. Ravan je osnovni pojam u geometriji i kao takav se ne definiše. Ravan je određena tačkom i normalnim vektorom. RAVAN Ravan je osnovni pojam u geometiji i kao takav se ne definiše. Ravan je odeđena tačkom i nomalnim vektoom. nabc (,, ) π M ( x,, ) y z Da bi izveli jednačinu avni, poučimo sledeću sliku: n( A, B,

Διαβάστε περισσότερα

Λύσεις Σειράς Ασκήσεων 3

Λύσεις Σειράς Ασκήσεων 3 Άσκηση 1 Λύσεις Σειράς Ασκήσεων 3 Να εφαρμόσετε τον αλγόριθμο ενοποίησης (Διαφάνεια 4 23) για κάθε ένα από τα πιο κάτω ζεύγη όρων. Να δείξετε όλα τα ενδιάμεσα στάδια της εκτέλεσης του αλγόριθμου και καταλήγοντας

Διαβάστε περισσότερα

Μιχάλης Παπαδημητράκης. Μερικές Διαφορικές Εξισώσεις

Μιχάλης Παπαδημητράκης. Μερικές Διαφορικές Εξισώσεις Μιχάλης Παπαδημητράκης Μερικές Διαφορικές Εξισώσεις Περιεχόμενα 1 Γενικά. 1 1.1 Μερικές διαφορικές εξισώσεις............................ 1 1.2 Διαφορικοί τελεστές................................. 2 1.3

Διαβάστε περισσότερα

ANALIZA SA ALGEBROM I razred MATEMATI^KA LOGIKA I TEORIJA SKUPOVA. p q r F

ANALIZA SA ALGEBROM I razred MATEMATI^KA LOGIKA I TEORIJA SKUPOVA. p q r F ANALIZA SA ALGEBROM I razred MATEMATI^KA LOGIKA I TEORIJA SKUPOVA. Istinitosna tablica p q r F odgovara formuli A) q p r p r). B) q p r p r). V) q p r p r). G) q p r p r). D) q p r p r). N) Ne znam. Date

Διαβάστε περισσότερα

Λύσεις Σειράς Ασκήσεων 3

Λύσεις Σειράς Ασκήσεων 3 Λύσεις Σειράς Ασκήσεων 3 Άσκηση 1 Να υπολογίσετε την προτασιακή μορφή των πιο κάτω προτάσεων. (α) xyz [(P(x,y) Q(y,z)) Q(x,y)] x P(x,f(x)) Βήμα 1: Μετατροπή σε Κανονική Μορφή Prenex: xyz [(P(x,y) Q(y,z))

Διαβάστε περισσότερα

Determinante. Inverzna matrica

Determinante. Inverzna matrica Determinante Inverzna matrica Neka je A = [a ij ] n n kvadratna matrica Determinanta matrice A je a 11 a 12 a 1n a 21 a 22 a 2n det A = = ( 1) j a 1j1 a 2j2 a njn, a n1 a n2 a nn gde se sumiranje vrši

Διαβάστε περισσότερα

HY118- ιακριτά Μαθηµατικά. Νόµοι ισοδυναµίας. Κατηγορηµατικός Λογισµός. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο Παρασκευή, 24/02/2017

HY118- ιακριτά Μαθηµατικά. Νόµοι ισοδυναµίας. Κατηγορηµατικός Λογισµός. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο Παρασκευή, 24/02/2017 HY118- ιακριτά Μαθηµατικά Παρασκευή, 24/02/2017 Κατηγορηµατικός Λογισµός Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University

Διαβάστε περισσότερα

TAČKA i PRAVA. , onda rastojanje između njih računamo po formuli C(1,5) d(b,c) d(a,b)

TAČKA i PRAVA. , onda rastojanje između njih računamo po formuli C(1,5) d(b,c) d(a,b) TAČKA i PRAVA Najpre ćemo se upoznati sa osnovnim formulama i njihovom primenom.. Rastojanje između dve tačke Ako su nam date tačke Ax (, y) i Bx (, y ), onda rastojanje između njih računamo po formuli

Διαβάστε περισσότερα

LANCI & ELEMENTI ZA KAČENJE

LANCI & ELEMENTI ZA KAČENJE LANCI & ELEMENTI ZA KAČENJE 0 4 0 1 Lanci za vešanje tereta prema standardu MSZ EN 818-2 Lanci su izuzetno pogodni za obavljanje zahtevnih operacija prenošenja tereta. Opseg radne temperature se kreće

Διαβάστε περισσότερα

Μέγιστα & Ελάχιστα. ΗΥ111 Απειροστικός Λογισμός ΙΙ

Μέγιστα & Ελάχιστα. ΗΥ111 Απειροστικός Λογισμός ΙΙ ΗΥ-111 Απειροστικός Λογισμός ΙΙ Μέγιστα & Ελάχιστα 1 μεταβλητή: Τύπος Taylor Aν y=f(x) είναι καλή συνάρτηση f '( a) f ''( a) f ( a) f x f a x a x a x a R x 1!! n! n + 1 f ( c) n + 1 Rn ( x) = ( x a), a

Διαβάστε περισσότερα

Κεφάλαιο 8 Σημασιολογία λογικών προγραμμάτων

Κεφάλαιο 8 Σημασιολογία λογικών προγραμμάτων Κεφάλαιο 8 Σημασιολογία λογικών προγραμμάτων Σύνοψη Στο κεφάλαιο αυτό παρουσιάζεται η μοντελοθεωρητική σημασιολογία του λογικού προγραμματισμού, δηλαδή αυτή που βασίζεται σε ερμηνείες και μοντέλα, με τελικό

Διαβάστε περισσότερα

Granične vrednosti realnih nizova

Granične vrednosti realnih nizova Graiče vredosti realih izova Fukcija f : N R, gde je N skup prirodih brojeva a R skup realih brojeva, zove se iz realih brojeva ili reala iz. Opšti čla iza f je f(), N, i običo se obeležava sa f, dok se

Διαβάστε περισσότερα

POLINOMI I RACIONALNE FUNKCIJE Nastava u Matematiqkoj gimnaziji, Vladimir Balti

POLINOMI I RACIONALNE FUNKCIJE Nastava u Matematiqkoj gimnaziji, Vladimir Balti POLINOMI I RACIONALNE FUNKCIJE Nastava u Matematiqkoj gimnaziji, 004. Vladimir Balti Pojam polinoma. Prsten polinoma.. Dati su polinomi P (x) = x + x +, Q(x) = x 4 x +, R(x) = x x +. Proveriti da li za

Διαβάστε περισσότερα

Devizno tržište. Mart 2010 Ekonomski fakultet, Beograd Irena Janković

Devizno tržište. Mart 2010 Ekonomski fakultet, Beograd Irena Janković Devizno tržište Devizni urs i devizno tržište Devizni urs - cena jedne valute izražena u drugoj valuti Promene deviznog ursa utiču na vrednost ative i pasive oje su izražene u stranoj valuti Devizni urs

Διαβάστε περισσότερα

Ovo nam govori da funkcija nije ni parna ni neparna, odnosno da nije simetrična ni u odnosu na y osu ni u odnosu na

Ovo nam govori da funkcija nije ni parna ni neparna, odnosno da nije simetrična ni u odnosu na y osu ni u odnosu na . Ispitati tok i skicirati grafik funkcij = Oblast dfinisanosti (domn) Ova funkcija j svuda dfinisana, jr nma razlomka a funkcija j dfinisana za svako iz skupa R. Dakl (, ). Ovo nam odmah govori da funkcija

Διαβάστε περισσότερα

Unipolarni tranzistori - MOSFET

Unipolarni tranzistori - MOSFET nipolarni tranzistori - MOSFET ZT.. Prijenosna karakteristika MOSFET-a u području zasićenja prikazana je na slici. oboaćeni ili osiromašeni i obrazložiti. b olika je struja u točki, [m] 0,5 0,5,5, [V]

Διαβάστε περισσότερα

LEKCIJE IZ DISKRETNE MATEMATIKE

LEKCIJE IZ DISKRETNE MATEMATIKE LEKCIJE IZ DISKRETNE MATEMATIKE Igor Ž. Milovanović Ružica M. Stanković Emina I. Milovanović Branislav M. Randjelović Sadržaj 1 Elementi matematičke logike 5 1.1 Iskaz i predikat.............................

Διαβάστε περισσότερα

Λύσεις Σειράς Ασκήσεων 3

Λύσεις Σειράς Ασκήσεων 3 Λύσεις Σειράς Ασκήσεων 3 Άσκηση 1 Να εφαρμόσετε τη διαδικασία της επίλυσης στα πιο κάτω προτασιακά σύνολα. (α) { P(a,f(f(x))) }, { P(y,z), P(y, f(f(z))) }, {P(x,b), Q(x)}, {P(x,b),Q(x)} Η Μέθοδος της Επίλυσης

Διαβάστε περισσότερα

Iskazna logika se bavi rečenicama kao celinama, i ne zalazi u njihovu unutrašnju strukturu, ne razlikuje njihove posebne elemente.

Iskazna logika se bavi rečenicama kao celinama, i ne zalazi u njihovu unutrašnju strukturu, ne razlikuje njihove posebne elemente. Zadatak predikatske logike Iskazna logika se bavi rečenicama kao celinama, i ne zalazi u njihovu unutrašnju strukturu, ne razlikuje njihove posebne elemente. Zbog toga se pomoću iskaznih formula ne može

Διαβάστε περισσότερα

(G) = 4 1 (G) = 3 (G) = 6 6 W G G C = {K 2,i i = 1, 2,...} (C[, 2]) (C[, 2]) {u 1, u 2, u 3 } {u 2, u 3, u 4 } {u 3, u 4, u 5 } {u 3, u 4, u 6 } G u v G (G) = 2 O 1 O 2, O 3, O 4, O 5, O 6, O 7 O 8, O

Διαβάστε περισσότερα

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 7

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 7 Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 7 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδες Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2014/asi2014.html, https://sites.google.com/site/maths4edu/home/algdom114

Διαβάστε περισσότερα

2.7 Primjene odredenih integrala

2.7 Primjene odredenih integrala . INTEGRAL 77.7 Primjene odredenih integrala.7.1 Računanje površina Pořsina lika omedenog pravcima x = a i x = b te krivuljama y = f(x) i y = g(x) je b P = f(x) g(x) dx. a Zadatak.61 Odredite površinu

Διαβάστε περισσότερα

O SKUPOVIMA. Do pojma skupa može se vrlo lako doći empirijskim putem, posmatrajući razne grupe,

O SKUPOVIMA. Do pojma skupa može se vrlo lako doći empirijskim putem, posmatrajući razne grupe, O SKUPOVIM Do pojma skupa može se vrlo lako doći empirijskim putem, posmatrajući razne grupe, skupine, mnoštva neke vrste objekata, stvari, živih bića i dr. Tako imamo skup stanovnika nekog grada, skup

Διαβάστε περισσότερα

Λύσεις Σειράς Ασκήσεων 2

Λύσεις Σειράς Ασκήσεων 2 Άσκηση 1 Λύσεις Σειράς Ασκήσεων 2 Ακολουθεί η διατύπωση των προτάσεων στον Κατηγορηματικό Λογισμό. (α) Δεν υπάρχουν δύο διαφορετικές πτήσεις με τον ίδιο αριθμό. x 1, d 1, a 1, s 1, t 1, x 2, d 2, a 2,

Διαβάστε περισσότερα

OBLAST DEFINISANOSTI FUNKCIJE (DOMEN) Pre nego što krenete sa proučavanjem ovog fajla, obavezno pogledajte fajl ELEMENTARNE FUNKCIJE, jer se na

OBLAST DEFINISANOSTI FUNKCIJE (DOMEN) Pre nego što krenete sa proučavanjem ovog fajla, obavezno pogledajte fajl ELEMENTARNE FUNKCIJE, jer se na OBLAST DEFINISANOSTI FUNKCIJE (DOMEN) Prva tačka u ispitivanju toka unkcije je odredjivanje oblasti deinisanosti, u oznaci Pre nego što krenete sa proučavanjem ovog ajla, obavezno pogledajte ajl ELEMENTARNE

Διαβάστε περισσότερα

Funkcije. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 21. november Gregor Dolinar Matematika 1

Funkcije. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 21. november Gregor Dolinar Matematika 1 Matematika 1 Gregor Dolinar Fakulteta za elektrotehniko Univerza v Ljubljani 21. november 2013 Hiperbolične funkcije Hiperbolični sinus sinhx = ex e x 2 20 10 3 2 1 1 2 3 10 20 hiperbolični kosinus coshx

Διαβάστε περισσότερα

DISKRETNA MATEMATIKA

DISKRETNA MATEMATIKA Univerzitet singidunum Ivana Kovačević DISKRETNA MATEMATIKA SA ZBIRKOM ZADATAKA Treće izmenjeno i dopunjeno izdanje Beograd, 013. DISKRETNA MATEMATIKA SA ZBIRKOM ZADATAKA Autor: dr Ivana Kovačević Recezenti:

Διαβάστε περισσότερα

Μεθοδολογία για τις Συνήθεις Διαφορικές Εξισώσεις Από την Ενότητα του Ελληνικού Ανοικτού Πανεπιστημίου Σπουδές στις Φυσικές Επιστήμες

Μεθοδολογία για τις Συνήθεις Διαφορικές Εξισώσεις Από την Ενότητα του Ελληνικού Ανοικτού Πανεπιστημίου Σπουδές στις Φυσικές Επιστήμες Μεθοδολογία για τις Συνήθεις Διαφορικές Εξισώσεις Από την Ενότητα του Ελληνικού Ανοικτού Πανεπιστημίου Σπουδές στις Φυσικές Επιστήμες Ανέπτυξα την παρακάτω μεθοδολογία με υλικό από το ΕΑΠ που με βοήθησε

Διαβάστε περισσότερα

Glava 1. Vektori. Definicija 1.1. Dva vektora su jednaka ako su im jednaki pravac, smer i intenzitet.

Glava 1. Vektori. Definicija 1.1. Dva vektora su jednaka ako su im jednaki pravac, smer i intenzitet. Glava 1 Vektori U mnogim naukama proučavaju se vektorske i skalarne veličine. Skalarna veličina je odred ena svojom brojnom vrednošću u izabranom sistemu jedinica. Takve veličine su temperatura, težina

Διαβάστε περισσότερα

Ako prava q prolazi kroz koordinatni početak i gradi ugao φ [0, π) sa x osom tada je refleksija S φ u odnosu na tu pravu:

Ako prava q prolazi kroz koordinatni početak i gradi ugao φ [0, π) sa x osom tada je refleksija S φ u odnosu na tu pravu: Refleksija S φ u odnosu na pravu kroz koordinatni početak Ako prava q prolazi kroz koordinatni početak i gradi ugao φ [0, π) sa x osom tada je refleksija S φ u odnosu na tu pravu: ( ) ( ) ( ) x cos 2φ

Διαβάστε περισσότερα

4 Matrice i determinante

4 Matrice i determinante 4 Matrice i determinante 32 4 Matrice i determinante Definicija 1 Pod matricom tipa (formata) m n nad skupom (brojeva) P podrazumevamo funkciju koja preslikava Dekartov proizvod {1, 2,, m} {1, 2,, n} u

Διαβάστε περισσότερα

Dijagrami: Greda i konzola. Prosta greda. II. Dijagrami unutarnjih sila. 2. Popre nih sila TZ 3. Momenata savijanja My. 1. Uzdužnih sila N. 11.

Dijagrami: Greda i konzola. Prosta greda. II. Dijagrami unutarnjih sila. 2. Popre nih sila TZ 3. Momenata savijanja My. 1. Uzdužnih sila N. 11. Dijagrami:. Udužnih sia N Greda i konoa. Popre nih sia TZ 3. Momenata savijanja My. dio Prosta greda. Optere ena koncentriranom siom F I. Reaktivne sie:. M A = 0 R B F a = 0. M B = 0 R A F b = 0 3. F =

Διαβάστε περισσότερα

x M kazemo da je slijed ogranicen. Weierstrass-Bolzano-v teorem tvrdi da svaki ograniceni slijed ima barem jednu granicnu tocku.

x M kazemo da je slijed ogranicen. Weierstrass-Bolzano-v teorem tvrdi da svaki ograniceni slijed ima barem jednu granicnu tocku. 1. FUNKCIJE, LIMES, NEPREKINUTOST 1.1 Brojevi - slijed, interval, limes Slijed realnih brojeva je postava brojeva na primjer u obliku 1,,3..., nn, + 1... koji na realnoj osi imaju oznaceno mjesto odgovarajucom

Διαβάστε περισσότερα

Norme vektora i matrica

Norme vektora i matrica 2 Norme vektora i matrica Pojam norme u vektorskim prostorima se najčešće povezuje sa određenom merom veličine elemenata tog prostora. Tako je u prostoru realnih brojeva R, norma elementa x R najčešće

Διαβάστε περισσότερα

OSNOVI ELEKTRONIKE. Vežbe (2 časa nedeljno): mr Goran Savić

OSNOVI ELEKTRONIKE. Vežbe (2 časa nedeljno): mr Goran Savić OSNOVI ELEKTRONIKE Vežbe (2 časa nedeljno): mr Goran Savić savic@el.etf.rs http://tnt.etf.rs/~si1oe Termin za konsultacije: četvrtak u 12h, kabinet 102 Referentni smerovi i polariteti 1. Odrediti vrednosti

Διαβάστε περισσότερα

Univerzitet u Nišu Građevinsko-arhitektonski fakultet. Konstante, promenljive, identifikatori, operatori Biblioteka funkcija Milica Ćirić

Univerzitet u Nišu Građevinsko-arhitektonski fakultet. Konstante, promenljive, identifikatori, operatori Biblioteka funkcija Milica Ćirić Univerzitet u Nišu Građevinsko-arhitektonski fakultet Informatika 2 Mathematica Konstante, promenljive, identifikatori, operatori Biblioteka funkcija Milica Ćirić Mathematica Programski paket Mathematica

Διαβάστε περισσότερα

Teorija brojeva Okvirni program rada sa nadarenim učenicima osnovnih škola. Hasan Jamak Prirodno-matematički fakultet Sarajevo

Teorija brojeva Okvirni program rada sa nadarenim učenicima osnovnih škola. Hasan Jamak Prirodno-matematički fakultet Sarajevo Teorija brojeva Okvirni program rada sa nadarenim učenicima osnovnih škola Hasan Jamak Prirodno-matematički fakultet Sarajevo January 24, 2012 Uvod U Bosni i Hercegovini već pedesetak godina se organizuju

Διαβάστε περισσότερα

HY118- ιακριτά Μαθηµατικά

HY118- ιακριτά Μαθηµατικά HY118- ιακριτά Μαθηµατικά Παρασκευή, 24/02/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 2/24/2017

Διαβάστε περισσότερα

Γραμμική Άλγεβρα και Μαθηματικός Λογισμός για Οικονομικά και Επιχειρησιακά Προβλήματα

Γραμμική Άλγεβρα και Μαθηματικός Λογισμός για Οικονομικά και Επιχειρησιακά Προβλήματα Γραμμική Άλγεβρα και Μαθηματικός Λογισμός για Οικονομικά και Επιχειρησιακά Προβλήματα Ενότητα: Πραγματικές Συναρτήσεις Πολλών Μεταβλητών (μέρος 2) Ανδριανός Ε Τσεκρέκος Τμήμα Λογιστικής & Χρηματοοικονομικής

Διαβάστε περισσότερα

Διαφορικός Λογισμός πολλών μεταβλητών

Διαφορικός Λογισμός πολλών μεταβλητών Διαφορικός Λογισμός πολλών μεταβλητών Πρόχειρες σημειώσεις Μιχάλης Παπαδημητράκης Τμήμα Μαθηματικών Πανεπιστήμιο Κρήτης 1η εβδομάδα. Τα στοιχεία του R n είναι όλα τα n-διάστατα διανύσματα ή, ισοδύναμα,

Διαβάστε περισσότερα

-! " #!$ %& ' %( #! )! ' 2003

-!  #!$ %& ' %( #! )! ' 2003 -! "#!$ %&' %(#!)!' ! 7 #!$# 9 " # 6 $!% 6!!! 6! 6! 6 7 7 &! % 7 ' (&$ 8 9! 9!- "!!- ) % -! " 6 %!( 6 6 / 6 6 7 6!! 7 6! # 8 6!! 66! #! $ - (( 6 6 $ % 7 7 $ 9!" $& & " $! / % " 6!$ 6!!$#/ 6 #!!$! 9 /!

Διαβάστε περισσότερα

Tvrd enje 3: Ako su formule A i A B tautologije, onda je tautologija. Dokaz: Neka su A i A B tautologije.

Tvrd enje 3: Ako su formule A i A B tautologije, onda je tautologija. Dokaz: Neka su A i A B tautologije. Svojstva tautologija Tvrd enje 3: Ako su formule A i A B tautologije, onda je tautologija i formula B. Dokaz: Neka su A i A B tautologije. Pretpostavimo da B nije tautologija. Tada postoji valuacija v

Διαβάστε περισσότερα

ČVRSTOĆA 13. GEOMETRIJSKE KARAKTERISTIKE RAVNIH PRESJEKA ŠTAPA

ČVRSTOĆA 13. GEOMETRIJSKE KARAKTERISTIKE RAVNIH PRESJEKA ŠTAPA ČVRSTOĆA 13. GEOMETRIJSKE KARAKTERISTIKE RAVNIH PRESJEKA ŠTAPA STATIČKI MOMENTI I MOMENTI INERCIJE RAVNIH PLOHA Kao što pri aksijalnom opterećenju štapa apsolutna vrijednost naprezanja zavisi, između ostalog,

Διαβάστε περισσότερα

PRSKALICA - LELA 5 L / 10 L

PRSKALICA - LELA 5 L / 10 L PRSKALICA - LELA 5 L / 10 L UPUTSTVO ZA UPOTREBU. 1 Prskalica je pogodna za rasprsivanje materija kao sto su : insekticidi, fungicidi i sredstva za tretiranje semena. Prskalica je namenjena za kućnu upotrebu,

Διαβάστε περισσότερα

Geometrijske karakteristike poprenih presjeka nosaa. 9. dio

Geometrijske karakteristike poprenih presjeka nosaa. 9. dio Geometrijske karakteristike poprenih presjeka nosaa 9. dio 1 Sile presjeka (unutarnje sile): Udužna sila N Poprena sila T Moment uvijanja M t Moment savijanja M Napreanja 1. Normalno napreanje σ. Posmino

Διαβάστε περισσότερα

Γεωμετρικοί μετασχηματιμοί εικόνας

Γεωμετρικοί μετασχηματιμοί εικόνας Γεωμετρικοί μετασχηματιμοί εικόνας Μάθημα: Υπολογιστική Οραση 1 Γεωμετρικοί Μετασχηματισμοί Ορισμός σημείου στονευκλείδιοχώρο: p=[x p,y p,z p ] T, όπου x p, y p, z p πραγματικοί αριθμοί. ΕστωΕ 3 τοσύνολοτωνp.

Διαβάστε περισσότερα

Start. Vstup r. O = 2*π*r S = π*r*r. Vystup O, S. Stop. Start. Vstup P, C V = P*C*1,19. Vystup V. Stop

Start. Vstup r. O = 2*π*r S = π*r*r. Vystup O, S. Stop. Start. Vstup P, C V = P*C*1,19. Vystup V. Stop 1) Vytvorte algoritmus (vývojový diagram) na výpočet obvodu kruhu. O=2xπxr ; S=πxrxr Vstup r O = 2*π*r S = π*r*r Vystup O, S 2) Vytvorte algoritmus (vývojový diagram) na výpočet celkovej ceny výrobku s

Διαβάστε περισσότερα

ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ Η/Υ & ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ 2008-2009 1η Σειρά Ασκήσεων ΑΠΑΝΤΗΣΕΙΣ

ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ Η/Υ & ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ 2008-2009 1η Σειρά Ασκήσεων ΑΠΑΝΤΗΣΕΙΣ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ Η/Υ & ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ 2008-2009 1η Σειρά Ασκήσεων ΑΠΑΝΤΗΣΕΙΣ 1. Μετατρέψτε τις παρακάτω προτάσεις φυσικής γλώσσας (είτε τις Ελληνικές είτε τις Αγγλικές)

Διαβάστε περισσότερα

Program za tablično računanje Microsoft Excel

Program za tablično računanje Microsoft Excel Program za tablično računanje Microsoft Excel Teme Formule i funkcije Zbrajanje Oduzimanje Množenje Dijeljenje Izračun najveće vrijednosti Izračun najmanje vrijednosti 2 Formule i funkcije Naravno da je

Διαβάστε περισσότερα