Mantık ve İspatların Temelleri

Ebat: px
Şu sayfadan göstermeyi başlat:

Download "Mantık ve İspatların Temelleri"

Transkript

1 Matık ve İsatlaı Temellei Ayık Yaıla Öemele Matığı Öeme, doğu veya yalış bildiim ifadesidi. Akaa, Tükiye'i başketidi. Tooto Kaada ı başketidi. 1+1= +=3 Doğu Yalış Doğu Yalış Öeme olmaya duumla; Saat kaç? Ali tou at! x+1 = K. Busch - LSU des otlaıda çeviilmişti 1

2 = Bu gü Peşembe di. Doğuluk tablosu T F F T K. Busch - LSU des otlaıda çeviilmişti 3 Kesişim: = Bu gü Peşembe di. = Bu gü yağmu yağıyo. Doğuluk tablosu T T T T F F F T F F F F K. Busch - LSU des otlaıda çeviilmişti 4

3 = Bu gü Peşembe di. = Bu gü Cuma dı. Bileşme: Doğuluk tablosu T T T T F T F T T F F F K. Busch - LSU des otlaıda çeviilmişti 5 XOR: = Bu gü Peşembe di. = Bu gü Cuma dı. Sadece bii doğu ise doğu Doğuluk Tablosu T T F T F T F T T F F F K. Busch - LSU des otlaıda 6 3

4 (hiotez (çıkaım Koşullu ifade: if the imlies follows fom oly if is sufficiet fo Doğuluk Tablosu T T T T F F F T T F F T K. Busch - LSU des otlaıda çeviilmişti 7 Koşullu ifade: Zıt ozitif: Eşdeğe (ayı doğuluk tablosu Zıt: Tes: Eş değe K. Busch - LSU des otlaıda çeviilmişti 8 4

5 Çift yölü koşullu ifade: if ad oly if iff If the ad covesely is ecessay ad sufficiet fo Doğuluk tablosu T T T T F F F T F F F T K. Busch - LSU des otlaıda çeviilmişti 9 Bileşik öemele T T F T T T T F T T F F F T F F F T F F T T F F Oeatölei öceliği Yüksek Düşük K. Busch - LSU des otlaıda çeviilmişti 10 5

6 Öemelei dilsel ifadesi s K. Busch - LSU des otlaıda çeviilmişti 11 Logic ad Bit Oeatios Boolea değişkelei OR AND XOR x y x y x y x y T 1 F 0 Bit dizisi bit duzey OR bit duzey AND bit duzey XOR K. Busch - LSU des otlaıda çeviilmişti 1 6

7 Bileşik öeme: Öemelede eşitlik Totoloji (tutalılık : Geellikle doğu Çelişki: Geellikle yalış totoloji çelişki T F T F F T T F Olasılık:Totoloji yoksa ve Çelişki yoksa K. Busch - LSU des otlaıda çeviilmişti 13 Matıksal eşitlik; Bileşik öeme: Totolojidi. Ayı doğuluk tablosua sahiti. Öek: x x y x y x x T T F T T T F F F F F T T T T F F T T T y y x y K. Busch - LSU des otlaıda çeviilmişti 14 7

8 De Moga kuallaı ( ( ( T T T F F F F T F T F F T F F T T F T F F F F F T T T T K. Busch - LSU des otlaıda çeviilmişti 15 Taımlayıcı yasala T F Ayılık yasalaı Domiat yasala T T F F Tesleme yasalaı T F Çift tesleme yasalaı ( K. Busch - LSU des otlaıda çeviilmişti 16 8

9 9 K. Busch - LSU des otlaıda 17 Değişme yasası Bileşme yasası Dağılma yasası Yutma yasası K. Busch - LSU des otlaıda çeviilmişti 18 ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( Koşullu öemele Çift yölü koşullu öemele

10 Matıksal deklikle ( ( ( sice x y x y ( (De Moga s laws Tamlama özelliği K. Busch - LSU des otlaıda çeviilmişti 19 Yüklem ve Niteleyicile değişke Pedicate; (yüklem Öeme foksiyolaı P( : x 3 Q( x, y : x y 3 R( x, y, z : x y z K. Busch - LSU des otlaıda çeviilmişti 0 10

11 Yüklem matığı A( CS1 T A( CS F A( MATH1 T B( CS1 F B( CS T B( MATH1 F K. Busch - LSU des otlaıda 1 Yüklem matığı yüklem -ay edicate P( : x 3 Q( x, y : x y 3 3-ay edicate R( x, y, z : x y z P(1 F P(4 T Q(4,1 T Q(3, F R(1,1, T R(,1,1 F -ay edicate P( x, x,, x 1 K. Busch - LSU des otlaıda çeviilmişti 11

12 Uivesal uatifie (Geel iteleyicile: P x P( ( (domaideki he elema içi : x 1 x fo all x it holds P(x x P( is tue x i he sayısal değei içi Q ( : x 0 (domaideki he elema içi x Q( x is ot tue i he sayısal değei içi Zıt öek: Q(0 F K. Busch - LSU des otlaıda çeviilmişti 3 Existetial uatifie (Vaoluşsal Niteleyicile: x x P( thee is such that P(x P( : x 3 x P( is tue because P(4 T Q( : x 1 1 x 0 x Q( is ot tue K. Busch - LSU des otlaıda 4 1

13 Fo fiite domai (Solu domai içi { x, x,, x 1 } x x P( P( x P( P( x 1 P( P( x P( P( x 1 K. Busch - LSU des otlaıda çeviilmişti 5 Quatifies with esticted domai (Sıılı etkili iceleyicile x 0 ( x y 0 ( y z 0 ( z Oeatölei öceliği Yüksek düşük K. Busch - LSU des otlaıda 6 13

14 x( x y 1 Bağlı değişke Bağımsız değişke x( P( Q( xr( x i kasamıda x i kasamıda K. Busch - LSU des otlaıda 7 Nicelik ile matıksal deklikle x( P( Q( xp( xq( x( P( Q( xp( xq( x( P( Q( xp( xq(? x( P( Q( xp( xq(? False False K. Busch - LSU des otlaıda çeviilmişti 8 14

15 Nicelikle içi De Moga kualı xp( xp( xp( xp( K. Busch - LSU des otlaıda 9 Öek: x( P( Q( x( P( Q( x( P( Q( Hatılatma: ( K. Busch - LSU des otlaıda 30 15

16 Matıksal ifadelei dilsel döüşümü P(=x bi siek kuşudu. Q(=x büyük kuştu. R(=x balda yaşıyo S(=x egaekti. Bütü siek kuşlaı egaekti Büyük olmaya kuşla balda yaşa Balda yaşamaya kuşla az eklidi Siek kuşlaı küçüktü x( P( S( x( Q( R( x( R( S( x( P( Q( K. Busch - LSU des otlaıda çeviilmişti 31 Nested Quatifies (İç içe iceleyicile Additive ivese (Tes katkı xy( x y 0 Commutative law fo additio (Ek içi bileşme yasası xy( x y y Associative law fo additio (Ek içi bileşme yasası xyz( x ( y z ( x y z K. Busch - LSU des otlaıda 3 16

17 Ode of uatifies (Niceleyicilei ode xyp( x, y yxp( x, y xyp( x, y yxp( x, y K. Busch - LSU des otlaıda 33 Niceleyicilei sıalaması geelde değişmez xyp( x, y yxp( x, y? tue xy( x y 0 yx false ( x y 0 yxp( x, y xyp( x, y Tesi doğu değildi K. Busch - LSU des otlaıda çeviilmişti 34 17

18 Matematiksel ifadelede geçiş İki ozitif tam sayıı tolamı geellikle ozitifti xy(( x 0 ( y 0 ( x y 0 Sıfı haiç he geçek sayıı çaımıa göe tesi vadı. x(( x 0 y( xy 1 K. Busch - LSU des otlaıda çeviilmişti 35 Dilsel geçişle x( C( y( C( y F( x, y He öğecii bi bilgisayaı vadı veya bi bilgisaya sahibi olala akadaştı K. Busch - LSU des otlaıda çeviilmişti 36 18

19 xyz(( F( x, y F( x, z ( y z F( y, z Bi bii ile akadaş ola hiç bi öğeci yoktu K. Busch - LSU des otlaıda çeviilmişti 37 Matıksal ifadelei dilsel döüşümü Eğe bi kişi baya ve ebevey ise bu kişi biii aesidi x(( F( P( ym ( x, y Baya ebevey i aesi y K. Busch - LSU des otlaıda 38 19

20 Hekesi geçek bi dostu vadı xy( B( x, y z(( z y B( x, z Geçek dost K. Busch - LSU des otlaıda 39 Çıkaım kuallaı If se bi asswode sahise, the se etwoke giiş yaabilisi Se bi asswode sahise O halde; Se etwoke giiş yaabilisi Geçeli göüş: if Ali iyagoyu kazaısa the aaba alacak. Ali iyagoyu kazadı, o halde Ali aaba alacak. Modus Poes K. Busch - LSU des otlaıda çeviilmişti 40 0

21 If 1, the 1 We kow that 1 (tue Theefoe, 1 1 Geçeli duum; Souç doğudu. (tue K. Busch - LSU des otlaıda çeviilmişti 41 If 3 3, the We kow that 3 (false Theefoe, Geçeli duum, Souç yalış (false K. Busch - LSU des otlaıda çeviilmişti 4 1

22 Modus Poes (( If ad the K. Busch - LSU des otlaıda çeviilmişti 43 Modus Poes Çıkaım kuallaı Modus Tolles Vasayımsal kıyas Ayıcı kıyas K. Busch - LSU des otlaıda çeviilmişti 44

23 Ekleme Çıkaım kuallaı Sadeleştime Bağlaç Çözüm K. Busch - LSU des otlaıda 45 Şimdi, ka yağıyo. Bua göe, ya ka yağa, ya da yağmu yağa. Ekleme K. Busch - LSU des otlaıda çeviilmişti 46 3

24 ka yağa, ve yağmu yağa. Bu göe, Şimdi ka yağıyo. Basitleştime K. Busch - LSU des otlaıda çeviilmişti 47 If bu gü yağmu yağıyosa, the biz bu gü babekü yaamayacağız If biz bu gü babekü yaamazsak the biz yaı babekü yaaız. Bua göe, if bu gü yağmu yağasa, the biz yaı babekü yaacağız Vasayımsal kıyas K. Busch - LSU des otlaıda çeviilmişti 48 4

25 Ka yağmıyo. o Jasmie kayak kayıyo. Ka yağıyo. o Bat hockey oyuyo. Bua göe, Jasmie kayak yaıyo o Bat hockey oyuyo. Çözüm: K. Busch - LSU des otlaıda 49 Hiotez: Bu gü öğlede soa güeşli değil ad düde daha soğuk olacak. Biz yüzmeye gideceğiz oly if Güeşli Souç: t s s t If Biz yüzmeye gidemezsek, the Biz kao gezisie gideceğiz. If biz kao gezisi yaasak, the biz gü batımıa evde olacağız. Biz gü batımıa evde olacağız. s s t K. Busch - LSU des otlaıda çeviilmişti 50 5

26 s s s t t Hiotez 1 de sadeleşmişi Hiotez,3 de Modus tolles Hiotez 4,5 de Modus oes Hiotez 6,7 de Modus oes K. Busch - LSU des otlaıda çeviilmişti 51 Souç doğulamaı yaılgısı If bu kitataki bütü oblemlei yaasa the Kesikli matematiği öğeeceksiiz. Se kesikli matematiği öğediiz Bu yüzde, Se bu kitataki he souyu yatı. K. Busch - LSU des otlaıda çeviilmişti 5 6

27 Hiotezi ika yaılgısı If bu kitataki bütü oblemlei yaasa the Kesikli matematiği öğeeceksiiz. Se bu kitataki he oblemi yamazsa Bu yüzde, Se kesikli matematiği öğeemeyeceksi K. Busch - LSU des otlaıda çeviilmişti 53 Nicelikle içi çıkaım kuallaı Evesel Öeklem xp( P( c fo ay c Evesel Geelleme P( c fo abitay c xp( Vaoluşçu Öekleme xp( P( c fo some c Vaoluşçu Geelleme xp( K. Busch - LSU des otlaıda çeviilmişti P( c fo some c 54 7

28 Öceki duum: C( B( Sııftaki bi öğeci kita okuyamaz. x( C( B( C( P( Sııftaki he hagi bii ilk sıavı geçti. x( C( P( Souç: P( B( İlk sıavı geçe hehagi bii kita okuyamaz. x( P( B( K. Busch - LSU des otlaıda x( C( B( C( a B( a C( a x( C( P( C( a P( a P( a B( a P( a B( a x( P( B( Öcül 1 de vaoluşçu öeklem de sadeleştime Öcül 1 de evesel ökelem 3-5 de Modus Poes de sadeleştime 6-7 de ilişkiledime 8 de vaoluşçu geelleme K. Busch - LSU des otlaıda çeviilmişti 56 8

29 Evesel Modus Poes x( P( Q( P( a, fo some aticula a i domai Q( a P( Q( He ozitif if the x 4 x x x içi; x( P( Q( Böylece, P(100 Q(100 K. Busch - LSU des otlaıda çeviilmişti 57 İsatla Teoem: isat edilmek istee esas souç Lemma (yadımcı teoem: teoemi isat etmek içi kullaıla ya souç Aksiyom: temel geçek Coollay (souç: bi teoemi doğu soucu Cojectue (vasayım: isatlaacak duum K. Busch - LSU des otlaıda çeviilmişti 58 9

30 İsatlamak istesek; x( P( Q( İsat tekiği; c' i bazı keyfi duumla içi; P( c Q( c ve geel iteleyicilee uygulasak. K. Busch - LSU des otlaıda çeviilmişti 59 Diek isat: P( c Q( c Tesi ile isat: Q( c P( c Tesi ile isat: P( c ( Eğe isatlamak istesek: P(c K. Busch - LSU des otlaıda çeviilmişti 60 30

31 Taımlama: itege itege is eve k k is odd k k 1 Bi tam sayı ya tekti yada çiftti. K. Busch - LSU des otlaıda çeviilmişti 61 Teoem: Eğe bi çift tam sayı ise, de çiftti. P( Q( İsat: (diekt isat P( Q( is eve k k (k 4k (k Bu edele, çiftti. K. Busch - LSU des otlaıda çeviilmişti İsatı sou 6 31

32 Teoem: Eğe tek tam sayı ise, de tek sayıdı. is odd P( Q( İsat: (Diekt isat P( Q( is odd k k 1 (k 1 4k 4k 1 (k k 1 Bu ede, tekti. İsatı sou K. Busch - LSU des otlaıda çeviilmişti 63 Teoem: Eğe çift tam sayı ise, de çiftti. P( Q( İsat: (Tes ile isat Q( P( Q( P( is odd is odd (so isata bakıız P( Q( Bu edele: İsatı sou K. Busch - LSU des otlaıda çeviilmişti 64 3

33 Teoem: Eğe tek tam sayı ise, de tekti. P( Q( İsat: (Zıttı ile isat Q( P( Q( P( is eve is eve P( Q( Bu edeel: İsatı sou K. Busch - LSU des otlaıda çeviilmişti 65 Teoem: iasyoel ise P İsat: (Zıttı ile isat P ( P : Rasyoel olduğu vasayılısa : m ve m i 1 de büyük otak bölei yoktu. Bu edele: P K. Busch - LSU des otlaıda çeviilmişti 66 33

34 m m m k 1 ( m is eve m 4k1 k1 k ( is eve : m k k 1 otak böledi. Bu edele: P K. Busch - LSU des otlaıda çeviilmişti 67 Bu edele: P P ( P P ( ( P çelişki Bağlaç K. Busch - LSU des otlaıda 68 34

35 Bu edele: P ( ( ( P P Modus Tolles K. Busch - LSU des otlaıda çeviilmişti İsatı sou 69 Zıt öek Yalış duum: He ozitif tam sayı, iki tamsayıı kaeleii tolamıdı. x 0 yz( x y z Zıt öek x Bi başka kombiasyo 3 de daha büyük tolam olabili. K. Busch - LSU des otlaıda çeviilmişti 70 35

36 İsatlamak istesek Duumlaı kaıtı: Biliyouz ki; 1 Buu yeie, biz he duum içi isatlayabiliiz 1 ( 1 ( ( Duum 1 Duum Duum K. Busch - LSU des otlaıda çeviilmişti 71 Teoem: Eğe tamsayı ise Duum 1 Duum Duum 3 İsat: is itege ( 0 ( 1 ( -1 Duum 1: Duum : 1 1 Duum 3: 1 0 İsat sou K. Busch - LSU des otlaıda çeviilmişti 7 36

37 Vaoluş isatlaı Teoem: İki faklı şekildeki kü tolamı olaak yazılabile bi ozitif tam sayı vadı. İsat: (Olumlu vaoluş isatı İsat sou K. Busch - LSU des otlaıda çeviilmişti 73 Teoem: x y x, asyoel ise i iasyoel bi sayıla vadı. y İsat: (Olumsuz vaoluş isatı Biliyouz ki: iasyoeldi. If is atioal x, y If is iatioal x, y x y 1 İsat sou Rasyoel K. Busch - LSU des otlaıda çeviilmişti 74 37

Bölüm 5 Olasılık ve Olasılık Dağılışları. Doç.Dr. Suat ŞAHİNLER

Bölüm 5 Olasılık ve Olasılık Dağılışları. Doç.Dr. Suat ŞAHİNLER Bölüm 5 Olasılık ve Olasılık Dağılışlaı Doç.D. Suat ŞAHİNLE Olasılık ve Olasılık Dağılışlaı Olasılık: Eşit saşla meydaa gele tae olayda A taesi A olayı olsu. Bu duumda A olayıı meydaa gelme olasılığı;

Detaylı

Öğr. Elemanı: Dr. Mustafa Cumhur AKBULUT

Öğr. Elemanı: Dr. Mustafa Cumhur AKBULUT Üite 9: Koelasyo Öğ. Elemaı: D. Mustafa Cumhu AKBULUT 9.Üite Koelasyo 2 Üitede Ele Alıa Koula 9. Koelasyo 9.1. Değişkele Aasıdaki İlişkile 9.2. Koelasyo katsayısı 9.Üite Koelasyo 3 Koelasyo Buda öceki

Detaylı

Tümevarım ve Özyineleme

Tümevarım ve Özyineleme Tümevaım ve Özyieleme CSC-59 Ayı Yapıla Kostati Busch - LSU Tümevaım Tümevaım ço ullaışlı bi ispat teiğidi. Bilgisaya bilimleide, tümevaım algoitmalaıı özellileii aıtlama içi ullaılı. Tümevaım ve öz yieleme

Detaylı

ÖĞRETMENLİK ALAN BİLGİSİ MATEMATİK

ÖĞRETMENLİK ALAN BİLGİSİ MATEMATİK ÖABT ÖĞRETMENLİK ALAN BİLGİSİ MATEMATİK DENEME SINAVI ÇÖZÜMLERİ ÖĞRETMENLİK ALAN BİLGİSİ DENEME SINAVI / çözümlei. DENEME. Veile öemelede yalız III kesi olaak doğudu. Bu edele doğu cevap seçeeği B di..

Detaylı

Kutu Poblemlei (Tekalı Kombiasyo) c) faklı dağıtılabili! Özdeş üç kutuya pay, pay, pay dağıtımı yapılısa; pay ala kutuu diğeleiyle ola özdeşliği bozul

Kutu Poblemlei (Tekalı Kombiasyo) c) faklı dağıtılabili! Özdeş üç kutuya pay, pay, pay dağıtımı yapılısa; pay ala kutuu diğeleiyle ola özdeşliği bozul Kutu Poblemlei (Tekalı Kombiasyo) KUTU PROBLEMLERİ Bu kouyu öekle üzeide iceleyeek geellemele elde edelim Öek a) faklı ese, kutuya pay, kutuya pay ve kutuya pay olacak şekilde kaç faklı dağıtılabili? b)

Detaylı

REEL ANALĐZ UYGULAMALARI

REEL ANALĐZ UYGULAMALARI www.uukcevik.com REE NĐZ UYGUMRI Sou : (, Α, µ ) ölçü uzayı olsu. = N, Α= ( N ) ve µ ( E) olduğuu östeiiz. N üzeide alması içi eek ve yete koşul < di. Gösteiiz. µ oksiyouu veile taımıı uyulayalım; µ (

Detaylı

MEKANİK TİTREŞİMLER. (Dynamics of Machinery, Farazdak Haideri, 2007)

MEKANİK TİTREŞİMLER. (Dynamics of Machinery, Farazdak Haideri, 2007) MEKANİK TİTREŞİMLER TİTREŞİM ÖLÇÜMÜ: Titeşim ölçümü oldukça kapsamlı bi koudu ve mekaik, elektik ve elektoik bilgisi içeiklidi. Titeşim ölçümleide titeşim geliği (ye değiştime-displacemet, hız-velocity

Detaylı

BM202 AYRIK İŞLEMSEL YAPILAR. Yrd. Doç. Dr. Mehmet ŞİMŞEK

BM202 AYRIK İŞLEMSEL YAPILAR. Yrd. Doç. Dr. Mehmet ŞİMŞEK BM202 AYRIK İŞLEMSEL YAPILAR Yrd. Doç. Dr. Mehmet ŞİMŞEK Önermelerin Eşdeğerlikleri Section 1.3 Totoloji, Çelişkiler, ve Tesadüf Bir totoloji her zaman doğru olan bir önermedir. Örnek: p p Bir çelişki

Detaylı

YZM 3217 YAPAY ZEKA DERS#6: MANTIK

YZM 3217 YAPAY ZEKA DERS#6: MANTIK YZM 3217 YAPAY ZEKA DERS#6: MANTIK Önermeler Doğru veya yanlış değer alabilen ifadelerdir Bir önerme hem doğru hem de yanlış olamaz Bir önerme kısmen doğru yada kısmen yanlış olamaz Örnekler: Dünya yuvarlaktır.

Detaylı

POLİNOMLAR Test I m P x 3 2x x 4x. P x x 5 II. III. A) 13 B) 12 C) 11 D) 10 E) 9

POLİNOMLAR Test I m P x 3 2x x 4x. P x x 5 II. III. A) 13 B) 12 C) 11 D) 10 E) 9 POLİNOMLAR Test -. I. P x x 5 II. III. P x x P x ifadelerinden hangileri polinom belirtir? 6. P x x x x 7 polinomunun katsayılar toplamı A) B) C) D) 0 E) 9 A) Yalnız I B) Yalnız II C) I ve II D) I ve III

Detaylı

Boole Cebri. Muhammet Baykara

Boole Cebri. Muhammet Baykara Boole Cebri Boolean Cebri, Mantıksal Bağlaçlar, Lojik Kapılar ve Çalışma Mantıkları, Doğruluk Tabloları, Boole Cebri Teoremleri, Lojik İfadelerin Sadeleştirilmeleri Muhammet Baykara mbaykara@firat.edu.tr

Detaylı

DUAL KUATERNİYONLAR ÜZERİNDE SİMPLEKTİK GEOMETRİ E. ATA

DUAL KUATERNİYONLAR ÜZERİNDE SİMPLEKTİK GEOMETRİ E. ATA DÜ Fe Blmle Esttüsü Degs Dual Kuateyola 6. Sayı (Em l004) Üzede Smlet Geomet DUAL KUATERNİYONLAR ÜZERİNDE SİMLEKTİK GEOMETRİ E. ATA Özet Bu maalede dual uateyola üzede smlet gu, smlet etö uzayı e smlet

Detaylı

LYS MATEMATİK DENEME - 2

LYS MATEMATİK DENEME - 2 LYS MATEMATİK DENEME - BU SORULAR FİNAL EĞİTİM KURUMLARI TARAFINDAN SAĞLANMIŞTIR. İZİNSİZ KOPYALANMASI VE ÇOĞALTILMASI YASAKTIR, YAPILDIĞI TAKDİRDE CEZAİ İŞLEM UYGULANACAKTIR. LYS MATEMATİK TESTİ. Bu testte

Detaylı

İKTİSATÇILAR İÇİN MATEMATİK

İKTİSATÇILAR İÇİN MATEMATİK Kostadi Teçevski Aeta Gatsovska Naditsa İvaovska Yovaka Teçeva Smileski İKTİSATÇILAR İÇİN MATEMATİK DÖRT YILLIK MESLEKİ OKULLARA AİT SINIF IV İKTİSAT - HUKUK MESLEĞİ EKONOMİ TEKNİSYENİ Deetleyele: D. Bilyaa

Detaylı

BMT 206 Ayrık Matematik. Yük. Müh. Köksal GÜNDOĞDU 1

BMT 206 Ayrık Matematik. Yük. Müh. Köksal GÜNDOĞDU 1 BMT 206 Ayrık Matematik Yük. Müh. Köksal GÜNDOĞDU 1 Ayrık Matematik Yük. Müh. Köksal GÜNDOĞDU 2 Önermeler Yük. Müh. Köksal GÜNDOĞDU 3 Önermeler Önermeler Mantığı, basit ifadelerden mantıksal bağlaçları

Detaylı

OLASILIK SAYMA PROBLEMLERİ:

OLASILIK SAYMA PROBLEMLERİ: OLASILIK SAYMA PROBLEMLERİ: TOPLAMA YÖNTEMİ: Bi E olayı E veya E olaylaıda biii geçekleşmesiyle oluşuyo, E olayı içi seçeek, E olayı içi m seçeek vasa, E olayı içi +m seçeek vadı. E=E E ve E E =Ø içi:

Detaylı

KUYRUK SİSTEMİ VE BİLEŞENLERİ SİSTEM SİMULASYONU KUYRUK SİSTEMİ VE BİLEŞENLERİ ÖRNEKLER BİR KUYRUK SİSTEMİNİN ÖRNEKLER

KUYRUK SİSTEMİ VE BİLEŞENLERİ SİSTEM SİMULASYONU KUYRUK SİSTEMİ VE BİLEŞENLERİ ÖRNEKLER BİR KUYRUK SİSTEMİNİN ÖRNEKLER KUYRUK SİSTEMİ VE SİSTEM SİMULASYONU 5. KUYRUK SİSTEMLERİ Bi kuyuk sistemi; hizmet veen bi veya biden fazla sevise sahipti. Sisteme gelen müşteile tüm sevislei dolu bulusa, sevisin önündeki kuyuğa ya da

Detaylı

Örnek...2 : Örnek...3 : Örnek...1 : MANTIK 1. p: Bir yıl 265 gün 6 saattir. w w w. m a t b a z. c o m ÖNERMELER- BİLEŞİK ÖNERMELER

Örnek...2 : Örnek...3 : Örnek...1 : MANTIK 1. p: Bir yıl 265 gün 6 saattir. w w w. m a t b a z. c o m ÖNERMELER- BİLEŞİK ÖNERMELER Terim: Bir bilim dalı içerisinde konuşma dilinden farklı anlamı olan sözcüklerden her birine o bilim dalının bir terimi denir. Önermeler belirtilirler. p,q,r,s gibi harflerle Örneğin açı bir geometri terimi,

Detaylı

2013 2013 LYS LYS MATEMATİK Soruları

2013 2013 LYS LYS MATEMATİK Soruları LYS LYS MATEMATİK Soulaı. LYS 5. LYS ( + a ) = 8 < < olmak üzee, olduğuna öe, a kaçtı? I. A) D) II. + III. (.) ifadeleinden hanileinin değei neatifti? A) Yalnız I Yalnız II Yalnız III D) I ve III II ve

Detaylı

AYRIK YAPILAR ARŞ. GÖR. SONGÜL KARAKUŞ- FIRAT ÜNİVERSİTESİ TEKNOLOJİ FAKÜLTESİ YAZILIM MÜHENDİSLİĞİ BÖLÜMÜ, ELAZIĞ

AYRIK YAPILAR ARŞ. GÖR. SONGÜL KARAKUŞ- FIRAT ÜNİVERSİTESİ TEKNOLOJİ FAKÜLTESİ YAZILIM MÜHENDİSLİĞİ BÖLÜMÜ, ELAZIĞ AYRIK YAPILAR P r o f. D r. Ö m e r A k ı n v e Y r d. D o ç. D r. M u r a t Ö z b a y o ğ l u n u n Ç e v i r i E d i t ö r l ü ğ ü n ü ü s t l e n d i ğ i «A y r ı k M a t e m a t i k v e U y g u l a

Detaylı

MUTLAK DEĞER Test -1

MUTLAK DEĞER Test -1 MUTLAK DEĞER Test -. < x < olduğuna göre, x x ifadesinin eşiti aşağıdakilerden 7 B) 7 x C) x 7 D) x 7 E) 7 x 5. y < 0 < x olduğuna göre, y x x y x y ifadesinin eşiti aşağıdakilerden xy B) xy C) xy D) xy

Detaylı

PROBLEM SET I KASIM = 50 p ML + M + L = [50 p ML + M + L] Q = Q

PROBLEM SET I KASIM = 50 p ML + M + L = [50 p ML + M + L] Q = Q PROBLEM SET I - 4 11 KASIM 009 Sou 1 (Besanko ve Baeutigam, s. 56 (00)): Aşa¼g daki gibi bi üetim fonksiyonu veilsin: = 50 p ML + M + L a - Bu üetim fonksiyonunun ölçe¼ge göe getiisini bulunuz. He iki

Detaylı

BOOLEAN İŞLEMLERİ Boolean matematiği sayısal sistemlerin analizinde ve anlaşılmasında kullanılan temel sistemdir.

BOOLEAN İŞLEMLERİ Boolean matematiği sayısal sistemlerin analizinde ve anlaşılmasında kullanılan temel sistemdir. BOOLEAN MATEMATİĞİ İngiliz matematikçi George Bole tarafından 1854 yılında geliştirilen BOOLEAN matematiği sayısal devrelerin tasarımında ve analizinde kullanılması 1938 yılında Claude Shanon tarafından

Detaylı

BÖLÜM 3 YER ÖLÇÜLERİ. Doç.Dr. Suat ŞAHİNLER

BÖLÜM 3 YER ÖLÇÜLERİ. Doç.Dr. Suat ŞAHİNLER BÖLÜM 3 YER ÖLÇÜLERİ İkici bölümde verileri frekas tablolarıı hazırlaması ve grafikleri çizilmesideki esas amaç; gözlemleri doğal olarak ait oldukları populasyo dağılışıı belirlemek ve dağılışı geel özelliklerii

Detaylı

BSM 101 Bilgisayar Mühendisliğine Giriş

BSM 101 Bilgisayar Mühendisliğine Giriş BSM 101 Bilgisayar Mühendisliğine Giriş Bool Cebri Hazırlayan: Ben kimim? www.sakarya.edu.tr/~fdikbiyik Lisans: İstanbul Üniversitesi Yüksek Lisans ve Doktora: University of California, Davis, ABD Öğretim:

Detaylı

LİSE 1 MANTIK KONU ANLATIM FASİKÜLÜ

LİSE 1 MANTIK KONU ANLATIM FASİKÜLÜ LİSE 1 MANTIK KONU ANLATIM FASİKÜLÜ 1 ÖNERMELER Kesin olarak doğru ya da yanlış hüküm bildiren ifadelere önerme denir. Önermeler p ve q gibi harflerle ifade edilirler.bir önerme doğru ise, doğruluk değeri

Detaylı

BİL 201 Boole Cebiri ve Temel Geçitler (Boolean Algebra & Logic Gates) Bilgisayar Mühendisligi Bölümü Hacettepe Üniversitesi

BİL 201 Boole Cebiri ve Temel Geçitler (Boolean Algebra & Logic Gates) Bilgisayar Mühendisligi Bölümü Hacettepe Üniversitesi BİL 201 Boole Cebiri ve Temel Geçitler (Boolean Algebra & Logic Gates) Bilgisayar Mühendisligi Bölümü Hacettepe Üniversitesi Temel Tanımlar Kapalılık (closure) Birleşme özelliği (associative law) Yer değiştirme

Detaylı

BAĞINTI VE FONKSİYON

BAĞINTI VE FONKSİYON BAĞINTI VE FONKSİYON SIRALI N-Lİ x, x, x,..., x tae elema olsu. ( x, x, x,..., x ) yazılışıda elemaları sırası öemli ise x, x, x,..., x ) e sıralı -li deir. x, x, x,..., x ) de ( x (, x, x ( x, ) sıralı

Detaylı

KÜMELER VE MANTIK KESİLİ MATEMATİKSEL YAPILAR

KÜMELER VE MANTIK KESİLİ MATEMATİKSEL YAPILAR KÜMELER VE MANTIK KESİLİ MATEMATİKSEL YAPILAR Kümeler Koşullu ve Mantıksal Denklik Kümeler Kümeler Ayrık Kümeler De-Morgan Kuralı Z (Zahlen; alm.) tamsayılar kümesi Z negatif tamsayılar kümesi, Z nonneg

Detaylı

Özet. Geçerli Tartışmalar ve Çıkarım Kuralları İspat Yöntemleri İspat Stratejileri

Özet. Geçerli Tartışmalar ve Çıkarım Kuralları İspat Yöntemleri İspat Stratejileri Özet Geçerli Tartışmalar ve Çıkarım Kuralları İspat Yöntemleri İspat Stratejileri Bölüm 1.6 Bölüm Özeti Geçerli Tartışmalar Önermeler Mantığı İçin Çıkarım Kuralları Çıkarım Kurallarını Kullanarak Tartışma

Detaylı

SİSTEM SİMULASYONU KUYRUK SİSTEMİ VE BİLEŞENLERİ KUYRUK SİSTEMİ VE BİLEŞENLERİ

SİSTEM SİMULASYONU KUYRUK SİSTEMİ VE BİLEŞENLERİ KUYRUK SİSTEMİ VE BİLEŞENLERİ SİSTEM SİMULASYONU KUYRUK SİSTEMLERİ KUYRUK SİSTEMİ VE BİLEŞENLERİ Bi kuyuk sistemi; hizmet veen bi veya biden fazla sevise sahipti. Sisteme gelen müşteile tüm sevislei dolu bulusa, sevisin önündeki kuyuğa

Detaylı

POLİNOMLAR. reel sayılar ve n doğal sayı olmak üzere. n n. + polinomu kısaca ( ) 2 3 n. ifadeleri polinomun terimleri,

POLİNOMLAR. reel sayılar ve n doğal sayı olmak üzere. n n. + polinomu kısaca ( ) 2 3 n. ifadeleri polinomun terimleri, POLİNOMLAR Taım : a0, a, a,..., a, a reel sayılar ve doğal sayı olmak üzere P x = a x + a x +... + a x + a x + a biçimideki ifadelere x e bağlı reel katsayılı poliom (çok terimli) deir. 0 a 0 ax + a x

Detaylı

MATM 133 MATEMATİK LOJİK. Dr. Doç. Çarıyar Aşıralıyev

MATM 133 MATEMATİK LOJİK. Dr. Doç. Çarıyar Aşıralıyev MATM 133 MATEMATİK LOJİK Dr. Doç. Çarıyar Aşıralıyev 1.KONU Sembolik Mantık; Önermeler, Niceyiciler, Olumsuzluk, İspat yöntemleri KAYNAKLAR 1. Akkaş, S., Hacısalihoğlu, H.H., Özel, Z., Sabuncuoğlu, A.,

Detaylı

YZM 3217 YAPAY ZEKA DERS#6: MANTIK

YZM 3217 YAPAY ZEKA DERS#6: MANTIK YZM 3217 YAPAY ZEKA DERS#6: MANTIK Önermeler Doğru veya yanlış değer alabilen ifadelerdir Bir önerme hem doğru hem de yanlış olamaz Bir önerme kısmen doğru yada kısmen yanlış olamaz Örnekler: Dünya yuvarlaktır.

Detaylı

PROJE RAPORU. PROJENİN ADI: Karmaşık Sayıların n. Dereceden Kökler Toplamı ve Trigonometrik Yansımaları

PROJE RAPORU. PROJENİN ADI: Karmaşık Sayıların n. Dereceden Kökler Toplamı ve Trigonometrik Yansımaları PROJE RAPORU PROJENİN ADI: Karmaşık Sayıları. Derecede Kökler Toplamı ve Trigoometrik Yasımaları PROJENİN AMACI: Karmaşık sayıı karekökleri toplamı sıfırdır. Peki. derecede kök toplamı içi de geçerli miydi?

Detaylı

Matematik Ders Föyü. Uygulayalım. Terim. Önerme. Doğruluk Değeri. Ortaöğretim Alanı MF - 01 NOT NOT. 1. Aşağıdaki tabloyu tanımlı veya tanımsız

Matematik Ders Föyü. Uygulayalım. Terim. Önerme. Doğruluk Değeri. Ortaöğretim Alanı MF - 01 NOT NOT. 1. Aşağıdaki tabloyu tanımlı veya tanımsız Ortaöğretim Alanı MF - 01 Matematik Ders Föyü Terim Bir sözcüğün bilim, spor, sanat, meslek vb. içerisinde kazandığı özel anlama terim denir. NOT Küp Matematik Ova Coğrafya Asit Kimya Mercek Fizik Sol

Detaylı

5 ÖABT / MTL ORTAÖĞRETİM MATEMATİK ÖĞRETMENLİĞİ TG. 678 ( sin + cos )( sin- cos )( sin+ cos ) lim sin- cos " = lim ( sin+ cos ) = bulunu. ". # # I = sin d = sin sin d sin = u sin d = dv du = sin : cos

Detaylı

TG 8 ÖABT İLKÖĞRETİM MATEMATİK

TG 8 ÖABT İLKÖĞRETİM MATEMATİK KAMU PERSONEL SEÇME SINAVI ÖĞRETMENLİK ALAN İLGİSİ TESTİ İLKÖĞRETİM MATEMATİK ÖĞRETMENLİĞİ TG ÖAT İLKÖĞRETİM MATEMATİK u testlein he hakkı saklıdı. Hangi amaçla olusa olsun, testlein tamamının veya bi

Detaylı

Lisans. Ayrık Matematik Yüklemler ve Kümeler. Konular. Tanım. Tanım çalışma evreni: U izin verilen seçenekler kümesi örnekler:

Lisans. Ayrık Matematik Yüklemler ve Kümeler. Konular. Tanım. Tanım çalışma evreni: U izin verilen seçenekler kümesi örnekler: Lisans Ayrık Matematik Yüklemler ve Kümeler H. Turgut Uyar Ayşegül Gençata Yayımlı Emre Harmancı 2001-2013 You are free: to Share to copy, distribute and transmit the work to Remix to adapt the work c

Detaylı

BÖLÜM IV. olsa r s(mod p) bulunur ki, bu mümkün değildir. Ayrıca bu sayı takımındaki hiçbir sayı p tarafından bölünmez.

BÖLÜM IV. olsa r s(mod p) bulunur ki, bu mümkün değildir. Ayrıca bu sayı takımındaki hiçbir sayı p tarafından bölünmez. BÖLÜM IV (KÜÇÜK FERMAT VE WİLSON TEOREMLERİ Teorem 4. (Fermat Teoremi F a olan bir asal sayı olsun. Bu durumda a (mod İsat: a sayısının a a a K ( a gibi ilk ( katından oluşan sayı takımını gözönüne alalım.

Detaylı

(3) Eğer f karmaşık değerli bir fonksiyon ise gerçel kısmı Ref Lebesgue. Ref f. (4) Genel karmaşık değerli bir fonksiyon için. (6.

(3) Eğer f karmaşık değerli bir fonksiyon ise gerçel kısmı Ref Lebesgue. Ref f. (4) Genel karmaşık değerli bir fonksiyon için. (6. Problemler 3 i Çözümleri Problemler 3 i Çözümleri Aşağıdaki özellikleri kaıtlamaızı ve buu yaıda daha fazla soyut kaıt vermeizi isteyeceğiz. h.h. eşitliğii ölçümü sıfır ola bir kümei tümleyei üzeride eşit

Detaylı

1. ÜNİTE: MANTIK. Bölüm 1.1. Önermeler ve Bileşik Önermeler

1. ÜNİTE: MANTIK. Bölüm 1.1. Önermeler ve Bileşik Önermeler . ÜNİTE: MANTIK . ÜNİTE: MANTIK... Önerme Tanım (Önerme) BÖLÜM.. - Doğru ya da yanlış kesin bir hüküm bildiren ifadelere önerme adı veriler. Örneğin Bir hafta 7 gündür. (Doğru) Eskişehir Türkiye'nin başkentidir.

Detaylı

8. f( x) 9. Almanca ve İngilizce dillerinden en az birini bilenlerin

8. f( x) 9. Almanca ve İngilizce dillerinden en az birini bilenlerin . MAEMAİK çapıldığıda, çapım olu? 6 ifadesi aşağıdakilede hagisi ile ) 6 + ifadesie eşit ) D) 6 + 8. f( ) ile taımlı f foksiouu e geiş taım kümesi aşağıdaki sg( ) lede hagisidi? 6,@ ) 6,@ ) ^, h, ^, +

Detaylı

1. GRUPLAR. c (Birleşme özelliği) sağlanır. 2) a G için a e e a a olacak şekilde e G (e ye birim eleman denir) vardır.

1. GRUPLAR. c (Birleşme özelliği) sağlanır. 2) a G için a e e a a olacak şekilde e G (e ye birim eleman denir) vardır. 1. GRUPLAR Tanım 1.1. G boş olmayan bir küme ve, G de bir ikili işlem olsun. (G yapısına aşağıdaki aksiyomları sağlıyorsa bir grup denir., ) cebirsel 1) a b cg,, için a( bc) ( ab) c (Birleşme özelliği)

Detaylı

SİSTEM MODELLEME VE OTOMATİK KONTROL FİNAL/BÜTÜNLEME SORU ÖRNEKLERİ

SİSTEM MODELLEME VE OTOMATİK KONTROL FİNAL/BÜTÜNLEME SORU ÖRNEKLERİ SİSTEM MODELLEME VE OTOMATİK KONTROL FİNAL/BÜTÜNLEME SORU ÖRNEKLERİ.Gup: Vize sou önekleindeki son gup (Routh-Huwitz testi) soula dahildi. Bunla PID soulaıyla bilikte de soulabili..) Tansfe fonksiyonu

Detaylı

YX = b X +b X +b X X. YX = b X +b X X +b X. katsayıları elde edilir. İlk olarak denklem1 ve denklem2 yi ele alalım ve b

YX = b X +b X +b X X. YX = b X +b X X +b X. katsayıları elde edilir. İlk olarak denklem1 ve denklem2 yi ele alalım ve b Kadelen Bisküvi şiketinin on şehideki eklam statejisi Radyo-TV ve Gazete eklamı olaak iki şekilde geçekleşmişti. Bu şehiledeki satış, Radyo-TV ve Gazete eklam veilei izleyen tabloda veilmişti. Şehi No

Detaylı

TEST 1 ÇÖZÜMLER BASİT MAKİNELER

TEST 1 ÇÖZÜMLER BASİT MAKİNELER ES ÇÖÜER BASİ AİNEER. ( ) Sis tem den ge de ol du ğu na gö e, nok ta sı na gö e tok alı sak; ( ). 4 +.. +. 8 4 + 4 0 4 olu. CEVA A yi de ğiş ti me den eşit li ği sağ la mak için, a kü çül tül meli di.

Detaylı

İÇİNDEKİLER. Önsöz...2. Önermeler ve İspat Yöntemleri...3. Küme Teorisi Bağıntı Fonksiyon İşlem...48

İÇİNDEKİLER. Önsöz...2. Önermeler ve İspat Yöntemleri...3. Küme Teorisi Bağıntı Fonksiyon İşlem...48 İÇİNDEKİLER Önsöz...2 Önermeler ve İspat Yöntemleri...3 Küme Teorisi...16 Bağıntı...26 Fonksiyon...38 İşlem...48 Sayılabilir - Sonlu ve Sonsuz Kümeler...56 Genel Tarama Sınavı...58 Önermeler ve İspat Yöntemleri

Detaylı

KAMU PERSONEL SEÇME SINAVI ÖĞRETMENLİK ALAN BİLGİSİ TESTİ ORTAÖĞRETİM MATEMATİK ÖĞRETMENLİĞİ TG ÖABT ORTAÖĞRETİM MATEMATİK Bu testlein he hakkı saklıdı. Hangi amaçla olusa olsun, testlein tamamının veya

Detaylı

Matematik Ders Föyü. Uygulayalım. Terim. Önerme. Doğruluk Değeri. Ortaöğretim Alanı MF - 01 NOT NOT. 1. Aşağıdaki tabloyu tanımlı veya tanımsız

Matematik Ders Föyü. Uygulayalım. Terim. Önerme. Doğruluk Değeri. Ortaöğretim Alanı MF - 01 NOT NOT. 1. Aşağıdaki tabloyu tanımlı veya tanımsız Ortaöğretim Alanı MF - 01 Matematik Ders Föyü Terim Bir sözcüğün bilim, spor, sanat, meslek vb. içerisinde kazandığı özel anlama terim denir. NOT Küp Matematik Ova Coğrafya Asit Kimya Mercek Fizik Sol

Detaylı

TG 2 ÖABT ORTAÖĞRETİM MATEMATİK

TG 2 ÖABT ORTAÖĞRETİM MATEMATİK KAMU PERSONEL SEÇME SINAVI ÖĞRETMENLİK ALAN BİLGİSİ TESTİ ORTAÖĞRETİM MATEMATİK ÖĞRETMENLİĞİ TG ÖABT ORTAÖĞRETİM MATEMATİK Bu testlei he hakkı saklıdı. Hagi amaçla olusa olsu, testlei tamamıı veya bi kısmıı

Detaylı

YENİ BİR BORÇ ÖDEME MODELİ A NEW LOAN AMORTIZATION MODEL

YENİ BİR BORÇ ÖDEME MODELİ A NEW LOAN AMORTIZATION MODEL Süleyma Demel Üvestes Sosyal Blmle Esttüsü DegsYıl: 203/, Sayı:7 Joal of Süleyma Demel Uvesty Isttte of Socal ScecesYea: 203/, Nme:7 YENİ Bİ BOÇ ÖDEME MODELİ ÖZET Allah EOĞLU Bakala taafıa e çok kllaıla

Detaylı

BÖLÜM 5 İDEAL AKIŞKANLARDA MOMENTUMUN KORUNUMU

BÖLÜM 5 İDEAL AKIŞKANLARDA MOMENTUMUN KORUNUMU BÖLÜM 5 İDEAL AKIŞKANLARDA MOMENTUMUN KORUNUMU Linee İmpuls-Momentum Denklemi Haeket halinde bulunan bi cismin hehangi bi andaki doğusal hızı, kütlesi m olsun. Eğe dt zaman aalığında cismin hızı değişiyosa,

Detaylı

ÇEMBERİN ANALİTİK İNCELENMESİ

ÇEMBERİN ANALİTİK İNCELENMESİ ÇEMBERİN ANALİTİK İNCELENMESİ Öncelikle çembein tanımını hatılayalım. Neydi çembe? Çembe, düzlemde bi noktaya eşit uzaklıkta bulunan noktala kümesiydi. O halde çembein analitik incelenmesinde en önemli

Detaylı

FİZ101 FİZİK-I. Ankara Üniversitesi Fen Fakültesi Kimya Bölümü B Grubu 3. Bölüm (Doğrusal Hareket) Özet

FİZ101 FİZİK-I. Ankara Üniversitesi Fen Fakültesi Kimya Bölümü B Grubu 3. Bölüm (Doğrusal Hareket) Özet FİZ11 FİZİK-I Ankaa Üniesitesi Fen Fakültesi Kimya Bölümü B Gubu 3. Bölüm (Doğusal Haeket) Özet.1.14 Aysuhan Ozansoy Haeket Nedi? Mekanik; kuetlei e onlaın cisimle üzeine etkileini inceleyen fizik dalıdı

Detaylı

ASTRONOTİK DERS NOTLARI 2014

ASTRONOTİK DERS NOTLARI 2014 YÖRÜNGE MEKANİĞİ Yöüngeden Hız Hesabı Küçük bi cismin yöüngesi üzeinde veilen hehangi bi noktadaki hızı ve bu hızın doğultusu nedi? Uydu ve çekim etkisinde bulunan cisim (Ye, gezegen, vs) ikili bi sistem

Detaylı

5. P(x). Q(x) polinomunun derecesi 9, P(x) Q(x) 7. P(x) = (3m 1)x 3 4x 2 (n + 1) x+ k ve. Q(x) = 17x 3

5. P(x). Q(x) polinomunun derecesi 9, P(x) Q(x) 7. P(x) = (3m 1)x 3 4x 2 (n + 1) x+ k ve. Q(x) = 17x 3 , 006 MC Cebir Notları Gökhan DEMĐR, gdemir@yahoo.com.tr Polinomlar TEST I 1. Aşağıdakilerden hangisi bir polinomdur? A) = 4 x5 4x 4 5 + 7 x 4 5.. polinomunun derecesi 9, polinomunun derecesi 5 olduğuna

Detaylı

5. ( 8! ) 2 ( 6! ) 2 = ( 8! 6! ). ( 8! + 6! ) Cevap E. 6. Büyük boy kutu = 8 tane. Cevap A dakika = 3 saat 15 dakika olup Göksu, ilk 3 saatte

5. ( 8! ) 2 ( 6! ) 2 = ( 8! 6! ). ( 8! + 6! ) Cevap E. 6. Büyük boy kutu = 8 tane. Cevap A dakika = 3 saat 15 dakika olup Göksu, ilk 3 saatte Deneme - / Mat MTEMTİK DENEMESİ Çözümle. 7 7 7, 0, 7, + + = + + 03, 00,, 3 0 0 7 0 0 7 =. +. +. 3 = + + = 0 bulunu.. Pa ve padaa eklenecek saı olsun. a- b+ b =- a+ b+ a & a - ab+ a =-ab-b -b & a + b =

Detaylı

AYRIK YAPILAR ARŞ. GÖR. SONGÜL KARAKUŞ- FIRAT ÜNİVERSİTESİ TEKNOLOJİ FAKÜLTESİ YAZILIM MÜHENDİSLİĞİ BÖLÜMÜ, ELAZIĞ

AYRIK YAPILAR ARŞ. GÖR. SONGÜL KARAKUŞ- FIRAT ÜNİVERSİTESİ TEKNOLOJİ FAKÜLTESİ YAZILIM MÜHENDİSLİĞİ BÖLÜMÜ, ELAZIĞ AYRIK YAPILAR P r o f. D r. Ö m e r A k ı n v e Y r d. D o ç. D r. M u r a t Ö z b a y o ğ l u n u n Ç e v i r i E d i t ö r l ü ğ ü n ü ü s t l e n d i ğ i «A y r ı k M a t e m a t i k v e U y g u l a

Detaylı

Lisans. Ayrık Matematik Tanıtlama. Kaba Kuvvet Yöntemi. Konular. Temel Kurallar

Lisans. Ayrık Matematik Tanıtlama. Kaba Kuvvet Yöntemi. Konular. Temel Kurallar Lisans Ayrık Matematik Tanıtlama H. Turgut Uyar Ayşegül Gençata Yayımlı Emre Harmancı 001-013 You are free: to Share to copy, distribute and transmit the work to Remix to adapt the work c 001-013 T. Uyar,

Detaylı

Katı Cismin Uç Boyutlu Hareketi

Katı Cismin Uç Boyutlu Hareketi Katı Cismin Uç outlu Haeketi KĐNEMĐK 7/2 Öteleme : a a a ɺ ɺ ɺ ɺ ɺ / / /, 7/3 Sabit Eksen Etafında Dönme : Hız : wx bwe bwe wx be he x we wx bwe e d b be d be he b h O n n n ɺ ɺ θ θ θ θ θ ( 0 Đme : d d

Detaylı

1 MATEMATİKSEL MANTIK

1 MATEMATİKSEL MANTIK 1 MATEMATİKSEL MANTIK Bu bölümde ilk olarak önerne tanımıverilip ispatlarda kullanılan düşünce biçimi incelenecektir. Tanım 1 Bir hüküm bildiren ve hakkında doğru veya yanlış denilmesi anlamlı olan ifadelere

Detaylı

Bölüm 5 Manyetizma. Prof. Dr. Bahadır BOYACIOĞLU

Bölüm 5 Manyetizma. Prof. Dr. Bahadır BOYACIOĞLU ölüm 5 Manyetizma Pof. D. ahadı OYACOĞLU Manyetizma Manyetik Alanın Tanımı Akım Taşıyan İletkene Etkiyen Kuvvet Düzgün Manyetik Alandaki Akım İlmeğine etkiyen Tok Yüklü bi Paçacığın Manyetik Alan içeisindeki

Detaylı

Sembolik gösterim matematiğin yarısıdır. Bertrand Russef

Sembolik gösterim matematiğin yarısıdır. Bertrand Russef MANTIK İnsanlık, tarihi boyunca doğru düşünmenin ve doğru sonuca ulaşmanın yol ve yöntemlerini araştırmıştır. Bu araştırmalar sonucunda farklı sistematik yaılar oluşmuştur. Oluşan sistematik yaıların başında

Detaylı

Fizik II Elektrik ve Manyetizma Manyetik Alan Kaynakları-2

Fizik II Elektrik ve Manyetizma Manyetik Alan Kaynakları-2 Des Hakkında Fizik-II Elektik ve Manyetizma Desinin Amacı u desin amacı, fen ve mühendislik öğencileine elektik ve manyetizmanın temel kanunlaını lisans düzeyinde öğetmekti. Desin İçeiği Hafta Konu 1.

Detaylı

VEKTÖRLER 1. BÖLÜM. Vektörel Büyüklüğün Matematiksel Tanımı : u = AB yada u ile gösterilir.

VEKTÖRLER 1. BÖLÜM. Vektörel Büyüklüğün Matematiksel Tanımı : u = AB yada u ile gösterilir. . BÖLÜM VEKTÖRLER Tanım:Matematik, istatistik, mekanik, gibi çeşitli bilim dallaında znlk, alan, hacim, yoğnlk, kütle, elektiksel yük, gibi büyüklükle, cebisel kallaa göe ifade edilile. B tü çoklklaa Skale

Detaylı

Aritmetik Fonksiyonlar

Aritmetik Fonksiyonlar BÖÜM V Aiteti osiyola Taı 5. Taı üesi oğal sayıla ola, : N C, şeliei osiyolaa aiteti osiyola ei., içi.. oşuluu sağlaya aiteti osiyolaa ise çaısal osiyola ei. Öe He N içi, ve 3 0 şelie taılaa osiyola bie

Detaylı

harfi almanca kökenli (Zahlen) Z X bir sonlu küme ise, X = X deki öğelerin sayısını gösterir

harfi almanca kökenli (Zahlen) Z X bir sonlu küme ise, X = X deki öğelerin sayısını gösterir BÖLÜM 1 Kümeler harfi almanca kökenli (Zahlen) Z X bir sonlu küme ise, X = X deki öğelerin sayısını gösterir Tanım 1.1.1: X ve Y herhangi iki küme olsunlar. Eğer X Y= ise, X ve Y kümelerine ayrıktırlar

Detaylı

SAYI SİSTEMLERİ ve BOOLE CEBİRİ 1+1=1 ÖĞR.GÖR. GÜNAY TEMÜR - TEKNOLOJİ F. / BİLGİSAYAR MÜH.

SAYI SİSTEMLERİ ve BOOLE CEBİRİ 1+1=1 ÖĞR.GÖR. GÜNAY TEMÜR - TEKNOLOJİ F. / BİLGİSAYAR MÜH. SAYI SİSTEMLERİ ve BOOLE CEBİRİ 1+1=1 Ders Konusu 1854 yılında George Boole tarafından özellikle lojik devrelerde kullanılmak üzere ortaya konulmuş bir matematiksel sistemdir. İkilik Sayı Sistemi Çoğu

Detaylı

DRC. 5. ab b = 3 b ( a 1 ) = Deponun hacmi 24x olsun, 3. y = 6 için = 3. 7 MATEMATİK DENEMESİ. a 9 b. a 2 b b = 12 b ( a 2 1 ) = 12.

DRC. 5. ab b = 3 b ( a 1 ) = Deponun hacmi 24x olsun, 3. y = 6 için = 3. 7 MATEMATİK DENEMESİ. a 9 b. a 2 b b = 12 b ( a 2 1 ) = 12. MTEMTİK DENEMESİ Çözümle.. ab b = b ( a ) = a 9 b a b b = b ( a ) =. c d 7,,,,,, 7,, 9 + +... + 9 = : = a + + = a = b =, c = + 7 + d = d = = 7 < < & > > 7 & > > 7 =,,,, olup in alabileceği faklı değelein

Detaylı

Mekanik olayları ölçmekte ya da değerlendirmekte kullanılan matematiksel büyüklükler:

Mekanik olayları ölçmekte ya da değerlendirmekte kullanılan matematiksel büyüklükler: VEKTÖRLER KT 1 Mekanik olaylaı ölçmekte ya da değelendimekte kullanılan matematiksel büyüklükle: Skale büyüklük: sadece bi sayısal değei tanımlamakta kullanılı, pozitif veya negatif olabili. Kütle, hacim

Detaylı

Basit Makineler Çözümlü Sorular

Basit Makineler Çözümlü Sorular Basit Makinele Çözümlü Soula Önek 1: x Çubuk sabit makaa üzeinde x kada haeket ettiilise; makaa kaç tu döne? x = n. n = x/ olu. n = sabit makaanın dönme sayısı = sabit makaanın yaıçapı Önek : x Çubuk x

Detaylı

BASAMAK TİPİ DEVRE YAPISI İLE ALÇAK GEÇİREN FİLTRE TASARIMI

BASAMAK TİPİ DEVRE YAPISI İLE ALÇAK GEÇİREN FİLTRE TASARIMI BASAMAK TİPİ DEVRE YAPISI İE AÇAK GEÇİREN FİTRE TASARIMI Adnan SAVUN 1 Tugut AAR Aif DOMA 3 1,,3 KOÜ Mühendislik Fakültesi, Elektonik ve abeleşme Müh. Bölümü 41100 Kocaeli 1 e-posta: adnansavun@hotmail.com

Detaylı

Atatürk Anadolu. Temel Kavramlar Üzerine Kısa Çalışmalar

Atatürk Anadolu. Temel Kavramlar Üzerine Kısa Çalışmalar Atatürk Anadolu Lisesi M A T E M A T İ K Temel Kavramlar Üzerine Kısa Çalışmalar KONYA \ SELÇUKLU 01 MATEMATİK 1. TEMEL KAVRAMLAR 1.1. RAKAM Sayıların yazılmasında kullanılan sembollere rakam denir. Onluk

Detaylı

MATEMATİK ADF. Önermeler - I ÜNİTE 1: MANTIK. Önerme. örnek 2. Bir önermenin değili (olumsuzu) örnek 3. Doğruluk Tablosu. örnek 1.

MATEMATİK ADF. Önermeler - I ÜNİTE 1: MANTIK. Önerme. örnek 2. Bir önermenin değili (olumsuzu) örnek 3. Doğruluk Tablosu. örnek 1. MATEMATİK ÜNİTE 1: MANTIK Önermeler - I ADF 01 Önerme Doğru ya da yanlış kesin bir hüküm bildiren ifadelere... denir. R Doğru hüküm bildiren önermeye..., Yanlış hüküm bildiren önermeye... denir. R Önermelerin

Detaylı

4. f ( x ) = x m x + m. Cevap C. m açılımındaki bir terim, x. 5. cx 3 + Cevap D. 6. x 2 + ( a + 4 ) x + 3a + 3 ifadesinin tam kare olması için

4. f ( x ) = x m x + m. Cevap C. m açılımındaki bir terim, x. 5. cx 3 + Cevap D. 6. x 2 + ( a + 4 ) x + 3a + 3 ifadesinin tam kare olması için Deneme - / YT / MT MTMTİ DNMSİ Çözümle. < n < 0. f ( ) m + m p ve q asal saıla olmak üzee, n p. q vea p şeklinde olmalıdı. n {.,.,. 7,.,.,. 7,. 9,.,. 9,.,. 7,.,.,. 7,. 9,. 7,.,, } 9 tane bulunu.. { 7,,,

Detaylı

ASAL SAYILAR. www.unkapani.com.tr

ASAL SAYILAR. www.unkapani.com.tr ASAL SAYILAR ve kendisinden aşka pozitif öleni olmayan den üyük doğal sayılara asal sayı denir.,, 5, 7,,, 7, 9, sayıları irer asal sayıdır. En küçük asal sayı dir. den aşka çift asal sayı yoktur. den aşka

Detaylı

OLASILIK ve KURAMSAL DAĞILIMLAR

OLASILIK ve KURAMSAL DAĞILIMLAR OLASILIK ve KURAMSAL DAĞILIMLAR Kuramsal Dağılımlar İstatistiksel çözümlemelerde; değişkenlerimizin dağılma özellikleri, çözümleme yönteminin seçimi ve sonuçlarının yorumlanmasında önemlidir. Dağılma özelliklerine

Detaylı

Ğ Ğ ş ç ş ç ç ç ş ç ç Ş ç «ş ş Ö Ş Ş ş ş ç Ö Ş ş Ü ç ç ş ş ş ç Ş ş ç ç ç ş ç ş ş ş ç ç ç ş Ç ş ş ç ş ç ş ş Ş ş ç ş ç ç ş ç ş ç ç ş ç ç ş Ü ş çş ş ş Çş Ç Ü çş ş Ç çş ç ş Ş Ö Ö ş ç ç ç ş ç ç ç ş ş ç ç ş

Detaylı

ç ç Ö Ç Ş Ç ç Ç ç ç ç Ö ç Ç Ş ç ç Ş Ç Ş Ö Ö Ş ç Ö ç ç ç ç Ş Ö Ç Ç Ş ç ç Ş Ş Ş Ö ç ç ç ç Ö Ş Ç Ö Ö ç «Ö ç Ş ç Ç «ÇŞ Ş Ö Ç ç Ö ç Ç Ş Ö Ö ç ç ç Ö Ş Ö ç Ö ç Ç Ş Ç «ç Ö Ç Ş ç ç ç «ç Ç Ş Ö Ö Ç ç ç Ş ç ç Ö ç

Detaylı

Bölüm 6: Dairesel Hareket

Bölüm 6: Dairesel Hareket Bölüm 6: Daiesel Haeket Kaama Soulaı 1- Bi cismin süati değişmiyo ise hızındaki değişmeden bahsedilebili mi? - Hızı değişen bi cismin süati değişi mi? 3- Düzgün daiesel haekette cismin hızı değişi mi?

Detaylı

BM202 AYRIK İŞLEMSEL YAPILAR. Yrd. Doç. Dr. Mehmet ŞİMŞEK

BM202 AYRIK İŞLEMSEL YAPILAR. Yrd. Doç. Dr. Mehmet ŞİMŞEK BM202 AYRIK İŞLEMSEL YAPILAR Yrd. Doç. Dr. Mehmet ŞİMŞEK Derse Genel Bakış Dersin Web Sayfası http://www.mehmetsimsek.net/bm202.htm Ders kaynakları Ödevler, duyurular, notlandırma İletişim bilgileri Akademik

Detaylı

İSTANBUL III. BİLİM OLİMPİYATI

İSTANBUL III. BİLİM OLİMPİYATI İSTANBUL III. BİLİM OLİMPİYATI MATEMATİK SBELIAN Bu çalışma notunda İstanbul Bilim Olimpiyatı matematik sorularının bir bölümünün soru metinleri ve çözümleri verilmiştir. Soruların tamamının yayın hakkı

Detaylı

AYRIK YAPILAR ARŞ. GÖR. SONGÜL KARAKUŞ- FIRAT ÜNİVERSİTESİ TEKNOLOJİ FAKÜLTESİ YAZILIM MÜHENDİSLİĞİ BÖLÜMÜ, ELAZIĞ

AYRIK YAPILAR ARŞ. GÖR. SONGÜL KARAKUŞ- FIRAT ÜNİVERSİTESİ TEKNOLOJİ FAKÜLTESİ YAZILIM MÜHENDİSLİĞİ BÖLÜMÜ, ELAZIĞ AYRIK YAPILAR P r o f. D r. Ö m e r A k ı n v e Y r d. D o ç. D r. M u r a t Ö z b a y o ğ l u n u n Ç e v i r i E d i t ö r l ü ğ ü n ü ü s t l e n d i ğ i «A y r ı k M a t e m a t i k v e U y g u l a

Detaylı

İşlenmemiş veri: Sayılabilen yada ölçülebilen niceliklerin gözlemler sonucu elde edildiği hali ile derlendiği bilgiler.

İşlenmemiş veri: Sayılabilen yada ölçülebilen niceliklerin gözlemler sonucu elde edildiği hali ile derlendiği bilgiler. OLASILIK VE İSTATİSTİK DERSLERİ ÖZET NOTLARI İstatistik: verileri toplaması, aalizi, suulması ve yorumlaması ile ilgili ilkeleri ve yötemleri içere ve bu işlemleri souçlarıı probabilite ilkelerie göre

Detaylı

Önermeler. Önermeler

Önermeler. Önermeler Önermeler ers 1 1-1 Önermeler 1-2 1 Önerme Mantığı ve İspatlar Mantık önermelerin doğruluğunu kanıtlamak için kullanılır. Önermenin ne olduğu ile ilgilenmek yerine bazı kurallar koyar ve böylece önermenin

Detaylı

Parçacıkların Kinetiği Impuls-Momentum Yöntemi: Çarpışma

Parçacıkların Kinetiği Impuls-Momentum Yöntemi: Çarpışma Paçacıklaın Kinetiği Impuls-Momentum Yöntemi: Çapışma İki kütle bibii ile kısa süe içeisinde büyük impulsif kuvvetlee yol açacak şekilde temas edese buna çapışma (impact) deni. Çapışma 1. Diekt mekezcil

Detaylı

Madde ve Özellikleri

Madde ve Özellikleri Alıştımala 1. Sıvının acmi = a.b.c = 5.10.0 = 1000 cm = 1 dm = 1 L. K ÇÖZÜMLER Madde ve Özelliklei. Küp şeklindeki oyun amuunun acmi, küp = a = = 6 cm 1 tane küesel cismin acmi, küe = π =..(1) = cm Çocuğun

Detaylı

Cevap C. 400 / 0 ( mod 8 ) A harfi. 500 / 4 ( mod 8 ) D harfi. Cevap C. 6. I. n tam sayı ise. n 2 = 4k 2 4k + 1 veya n 2 = 4k 2

Cevap C. 400 / 0 ( mod 8 ) A harfi. 500 / 4 ( mod 8 ) D harfi. Cevap C. 6. I. n tam sayı ise. n 2 = 4k 2 4k + 1 veya n 2 = 4k 2 MTMTİ NMSİ. 8 h + + h. ( a, b ) 0 h. + h h+ h h. + h + bulunu. 0... 7 sayısında asal çapanladan bie tane olduğundan pozitif bölen sayısı kada ( a, b ) sıalı ikilisi vadı. ( + ). ( + ). ( + ). ( + ) tane

Detaylı

Çözüm Kitapçığı Deneme-3

Çözüm Kitapçığı Deneme-3 KAMU PESONEL SEÇME SINAVI ÖĞETMENLİK ALAN İLGİSİ TESTİ İLKÖĞETİM MATEMATİK ÖĞETMENLİĞİ - OCAK 7 Çözüm Kitapçığı Deeme- u testlei he hakkı saklıdı. Hagi amaçla olusa olsu, testlei tamamıı vea i kısmıı Mekezimizi

Detaylı

İSTANBUL TEKNİK ÜNİVERSİTESİ FEN EDEBİYAT FAKÜLTESİ MATEMATİK MÜHENDİSLİĞİ PROGRAMI

İSTANBUL TEKNİK ÜNİVERSİTESİ FEN EDEBİYAT FAKÜLTESİ MATEMATİK MÜHENDİSLİĞİ PROGRAMI İSTANBUL TEKNİK ÜNİVERSİTESİ FEN EDEBİYAT FAKÜLTESİ MATEMATİK MÜHENDİSLİĞİ PROGRAMI ADİ TÜREVLİ DİFERANSİYEL DENKLEMLERİN BAŞLANGIÇ DEĞER PROBLEMLERİNİN CHEBYSHEV POLİNOMLARI İLE ÇÖZÜMÜ BİTİRME ÖDEVİ Sema

Detaylı

Boolean Kuralları ve Lojik İfadelerin Sadeleştirilmesi (Boolean Algebra and Logic Simplification)

Boolean Kuralları ve Lojik İfadelerin Sadeleştirilmesi (Boolean Algebra and Logic Simplification) BSE 207 Mantık Devreleri Boolean Kuralları ve Lojik İfadelerin Sadeleştirilmesi (Boolean Algebra and Logic Simplification) Sakarya Üniversitesi Amaçlar Lojik sistemlerin temeli olarak Booleron Matematiğini

Detaylı

MUTLAK DEĞER. Örnek...6 : 1 x > 1 y > 1 z. Örnek...7 : x=1 5, y= 5 2, ise x+y y x x =? Örnek...1 : =? Örnek...8 : Örnek...2 : =?

MUTLAK DEĞER. Örnek...6 : 1 x > 1 y > 1 z. Örnek...7 : x=1 5, y= 5 2, ise x+y y x x =? Örnek...1 : =? Örnek...8 : Örnek...2 : =? TANIM MUTLAK DEĞER Örnek...6 : 1 x > 1 y > 1 z ise x y x z z y =? Bir x reel sayısına karşılık gelen noktanın sayı doğrusunda 0 (sıf ır) a olan uzaklığına x sayısının mutlak değeri denir ve x şeklinde

Detaylı

Ders 2: Küme Teorisi, Örnek Uzay, Permütasyonlar ve Kombinasyonlar

Ders 2: Küme Teorisi, Örnek Uzay, Permütasyonlar ve Kombinasyonlar Ders 2: üme Teorisi, Örek Uzay, Permütasyolar ve ombiasyolar üme avramı üme İşlemleri Deey, Örek Uzay, Örek Nokta ve Olay avramları Örek Noktaları Sayma Permütasyolar ombiasyolar Parçalamalar (Partitio)

Detaylı

ASAL ÇARPANLARINA AYIRMA ÇÖZÜMLÜ SORULAR

ASAL ÇARPANLARINA AYIRMA ÇÖZÜMLÜ SORULAR ASAL ÇARPANLARINA AYIRMA ÇÖZÜMLÜ SORULAR 1) 60 sayısıı asal çarpalarıa ayrılmış şekli aşağıdakilerde hagisidir? A)..5 D)..5 B)..5 E)..5 C)..5 1.Yötem: 60 180 90 45 60..5 tir. 15 5 5 1.Yötem: Öğrecilerimizi1.Yötemde

Detaylı

4. DEVİRLİ ALT GRUPLAR

4. DEVİRLİ ALT GRUPLAR 4. DEVİRLİ ALT GRUPLAR Tım 4.1. M, bi G gubuu bi lt kümei olu. M yi kpy, G i bütü lt guplıı keitie M i üettiği (doğuduğu) lt gup dei ve M ile göteili. M i elemlı d M gubuu üeteçlei (doğuylı) dei. Öeme

Detaylı

Örnek...2 : Örnek...3 : Örnek...1 : MANTIK 1. p: Bir yıl 265 gün 6 saattir. tan ım lam ak denir. ya nlış ye rine 0 sim gesi kullan ılır.

Örnek...2 : Örnek...3 : Örnek...1 : MANTIK 1. p: Bir yıl 265 gün 6 saattir. tan ım lam ak denir. ya nlış ye rine 0 sim gesi kullan ılır. Terim: Bir bilim dalı içerisinde konuşma dilinden farklı anlam ı olan sözcüklerden her birine o bilim dalının bir terimi denir. Önermeler belirtilirler.,,r,s gibi harflerle Örneğin açı bir geometri terimi,

Detaylı

Ayrık Olasılık. Ayrık Olasılığa Giriş

Ayrık Olasılık. Ayrık Olasılığa Giriş Ayrık Olasılık CC-59 Ayrık Yaılar Konstantin Busch - LU Ayrık Olasılığa Giriş Hilesiz zar Örnek uzay: {,,3,4,5,6} Olası tüm sonuçlar olayının olasılığı: olay kümesinin buyuklugu örnek uzayin buyuklugu

Detaylı

Öğr. Elemanı: Dr. Mustafa Cumhur AKBULUT

Öğr. Elemanı: Dr. Mustafa Cumhur AKBULUT Ünite 10: Regresyon Analizi Öğr. Elemanı: Dr. Mustafa Cumhur AKBULUT 10.Ünite Regresyon Analizi 2 Ünitede Ele Alınan Konular 10. Regresyon Analizi 10.1. Basit Doğrusal regresyon 10.2. Regresyon denklemi

Detaylı

Örnek...6 : Örnek...1 : Örnek...7 : Örnek...2 : Örnek...3 : Örnek...4 : Örnek...8 : Örnek...5 : MANTIK 2 MATEMATİKSEL ARAÇLAR AÇIK ÖNERMELER

Örnek...6 : Örnek...1 : Örnek...7 : Örnek...2 : Örnek...3 : Örnek...4 : Örnek...8 : Örnek...5 : MANTIK 2 MATEMATİKSEL ARAÇLAR AÇIK ÖNERMELER MANTIK MATEMATİKSEL ARAÇLAR AÇIK ÖNERMELER İçerisinde değişken olan ve değişkenin değerlerine göre doğru ya da yanlış olabilen önermelere açık önerme denir. Açık önermeler değişkenine göre P( x), Q( a)

Detaylı