Bildirişimli Matematiğin <T, 1, n> Q Sürü Bellekli 3D İnternet Sürüsü

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

Download "Bildirişimli Matematiğin <T, 1, n> Q Sürü Bellekli 3D İnternet Sürüsü"

Transkript

1 XVI. Türkiye'de İnternet Konferansı Bildirişimli Matematiğin <T, 1, n> Q Sürü Bellekli 3D I@I İnternet Sürüsü Matematik ve Bilgisayar Bilimleri, Ege Üniversitesi ve Yaşar Üniversitesi, İzmir Özet: I@I ve I@I + modeli tasarımında kullanılan Q ve Q + sürü bulut bellek T genetik altyapı elamanları Kaynak[13] içeriğinde tanıtılmıştır, Orada Q = Q@Q, bir bellek ortamı içine yayılmış sürü bulut bellek sürüsünden bir tümleşik sürü bulut bellek oluşturma modeli olarak tanımlanmıştır. Bu tümleşik bellek RCR formatında organize olmuştur. Kip[n] rakamları ile adlandırılmıştır. Tam 2n alıcı verici anten belleği vardır. Genelde m = 1 seçilerek 4n+1 birey tik bulut bellek sürüsünden oluşturulmuştur. Q + ise aynı yapısal özelliklere yenidenlikli olarak sahip olan RCR formatında oluşturulmuş farklı Q belleklerinin + küme kapanışıdır. Bu bildiride: 1. Her Q sürü bulut belliği bir P programlama yöntemi ile bir T genetik, 1 denetim değişkenli, Kip[n] biçimsel dilinde kodlu bildirişim yapan, ü[1, n] sayıda farklı RCR formatlı F fonksiyonuna dönüştürülmektedir. 2. Elde edilen ü[1, n] sayıda farklı RCR formatlı f F fonksiyon bilgisi bir I@I internet içinde internet modeli oluşturmada kullanılmaktadır. Anlatımda izlenen m ve n doğal sayılardır ve m = 1 ve n 2 şartlarını sağlamaktadırlar. 3. Kullanıcı genel olarak I@I ve I@I + içeriğinde yer alan F ve F + biçimsel mantık fonksiyonu sürülerinin sahip olduğu Q ve Q + sürü bulut bellekleri içeriğine bir P ve P + programı ile bir başka T-genetik f F ve f + F + fonksiyon bilgisi programlama özgürlüğüne sahiptirler. Yani Q + bulut belek sürüsü kapanışından gelişigüzel bir 3D <T, 1, n> Q bulut bellek sürüsü seçilebilmektedir. Seçilen 3D <T, 1, n> Q bulut bellek sürüsünden, ü[1, n] sayıda kopya elde edilerek, onlara ü[1, n] sayıda farklı T-genetik RCR formatlı f <T, 1, n> F biçimsel mantık fonksiyonu bir P programı ile anında programlanabilmektedir. Elde edilen her ürün kümesi bir 3D <T, 1, n> I@I modeli oluşturmaktadır. Söz konusu modelleri, bir T: TASIM biçimsel dilinde kodlayarak anlatan, BM adlı, günlük yaşantımıza girmiş olan bir bilim dalı vardır. Değişik üniversitelerde ders konusu olarak öğretilmiştir. LISP kökenli bu bilim dalının kurucusu yazardır. Buluşunun özünü Kaynak[4-13] aracılığında tanıtmıştır. Bu bildiride, BM ve onun içeriğinde yer alan m = 1 değerine karşılık gelen T genetik 1-denetim değişkenli Kip[n] bildirişimli RCR formatlı 3D <T, 1, n> I@I internet içinde internet BTN modelini oluşturan f <T, 1, n> F biçimsel mantık fonksiyonlarının P programları ile anında nasıl programlanabildikleri örneklerle anlatılacaktır. Yeterli kaynak, kaynaklar listesinde veya kaynakların kaynak listelerinde vardır, Kaynak[4-13]. Farklı düşünmeyi çağrıştıran T biçimsel dilinin mantıksal açılımları için gerekli olan kavramlar Kaynak[1-3] içeriğinde mevcuttur. Anahtar Sözcükler: BTN, bellek, programlama, fonksiyon, rator, cab, rand, RCR, RCR formatlı bellek sürüsü, Q, Q +, P, P +, F, F +, I@I ve I@I + modelleri. Bildirişimli Matematik. 23

2 Bildirişimli Matematiğin <T, 1, n> Q Sürü Bellekli 3D I@I İnternet Sürüsü 1. Giriş Yapay zekâ donanımlı I@I internet yaşamı 1, kendi varoluş alanı içeriğinde biçimsel ve T-genetik bildirişim yapabilen, tasımlar 6 bildirişim 2 yapmaya muktedir olduğu bulunmuştur. Kip[n] kavramı oluşturulmuştur. kesimin küçüklüğünü; onun içinde yaşarken, ortaya çıkan sorunları anında çözmede yetersizliğini; olayı bir grup oyunu gibi görüp kullanıcıları ile oyun oynarken düştüğü Gerektiğinde RCR formatlı 3D <T, m, n> Q BTN bellek oluşumlarını kullanan tasımlar onları T genetik bilgilerle, programlayarak; çok hızlı çözüm üretecek, RCR formatlı 3D <T, 1, yalnızlığı artık iyi algılamaktadır. n> F BTN mantık fonksiyonlarının yazılımsal Bilgisayar Bilimlerin içeriğinde, mevcut yongasını kalıcı biçiminde üretecektir. bilgisayarlarla bildirişim yapmada kullanılan; Bunun için bu yazıda çok önemli derleyecisi olan biçimsel dil modellerinden bulduğumuz T yaşam alanının gündemine, yeni her birine bir programlama dili dendiği araç getirilmektedir. T genetik, 1 denetim bilinmektedir. Kullanıcı kişi ile bilgisayar değişkenli, Kip[n] dilinde kendi tik alt BTN arasında bildirişim yapabilme yöntemlerini bileşenleri ile bildirişim kuran ve yapan; veya araçlarını oluşturmada kullanılır. tiklerin-tiki RCR formatlı 3D <T, 1, n> I@I Programlama dillerinin içeriğinde yer alan, BTN internet içinde internet model oluşturma dil yapıları ayrıntılı olarak incelendiğinde; bu yazı içeriğinde anlatılacaktır. Göz önünde akıllı yaşam için hazırlanmış olan yapıbilim, bulundurulan yaşam alanının arka planında ise; anlambilim ve kullanımbilim yönünden çok yapıbilim, anlambilim ve kullanımbilim onların önemli olan ortak dil özelliklerinin var oluşumlarını bir biçimsel dilbilimin çatısı olduğu görülür. Bu nedenle; T biçimsel altında denetlemekte olacaktır. Bu yazının dilinin, BNF 3 türü dilbilimi ile türetilebilir ve amacı, bu nedenle, her yönü ile yapay zekâ denetlenebilir yeni araçları bulunması dokulu olan I@I modelinin algılanması, önemlidir. Bulunan araçları kullanarak bu kurgulanması, tasarımı ve gerçekleştirilmesi üzerinde olacaktır. bildiride RCR formatlı 4 3D <T, 1, n> Q BTN bellek türü elde edilmiştir 5. RCR formatlı 3D <T, 1, n> Q BTN bellek türünün Kip[n] mantık değeri kuantumları ile programlanması yapılmıştır. Sonuçta ortaya çıkan bildirişim yapmaya muktedir olan RCR formatlı 3D <T, 1, n> F BTN fonksiyonlarının alt yapıları bulunmuştur. Kaynak[07-13]. T:TASIM, yıllarında, geliştirilmiştir. Durağan ve değişken BTN oluşumlu mantık değerleri ile programlanabilen 1 I@I: İnternet içinde İnternet yaşamı(hayatı). 2 Bildirişim: Yoğun, tıkız, çok katmanlı olarak yapılan biçimsel iletişim. 3 BNF: Backus-Naur Form. 4 RCR formatlı: Rator Cab Rand yapısında olan. 5 <T, 1, n> : Üç farklı anlam bileşeninden oluşan bir anlam vektörüdür. Anlmı < T-genetik, 1 kontrol değişkenli, Kip[n] kümesinden değer alan > demektir. 3D <T, 1, n> Q BTN kısaltmasının anlamı ise 3 boyutlu uzayda dolaşan, <T-genetik, 1 kontral değişkeni ile kontrol edilen, Kip[n] mantık değerleri kümesinde tanımlı olan ve Kip[n] kümesinden alınan değerlerle programlanabilen> Q BTN. 24 Burada BTN oluşturma bilimi olarak tanımlanan, BM içeriği özgün biçimde anlatılacaktır. 2.1 Anlatımda Kullanılacak Olan Yeni ve Önemli Kavramlar: 1. GBÖ: Genişleme Büzülme Özellikli. 2. EŞTAÇ: Elastik Şeffaf Torbada Azalan Çoğalan. 3. EŞTİY: Elastik Şeffaf Torba İçine Yerleşen. 4. TTBBSS: Tiklerin Tiki Bulut Bellek Sürülerinin Sürüsü. 5. BYO: Bellek Yapısında Olan. 6. BMD: Biçimsel Mantık Değeri. 7. BMTF: Biçimsel Mantık Tasarım Fonksiyonu. 6 Tasım: T : TASIM dilinde yazılmış Algoritma. 7 BM: Bildirişimli Matematik. Biçimsel iletişim yaparak bilgi işleyen yeni matematik modeli.

3 8. SM: Standard Matematik. Bu gün bildiğimiz matematik. 9. Özdevinim: Otomata. 10. Tik: Alt bileşenlerine kollay ayrılamayan. 11. YÇK: Yer Çekimi Kanunu. 12. BÇK: Bildirişim Çekimi Kanunu. 13. Q veya Q = Q@Q bellek: GBÖ EŞTAÇ EŞTİY TTBBSS BYO bellek türüdür. O oldukça sakin biçimde her ortamda var olabilir. Her tür biçimsel bilgiyi doğal olarak algılamaya programlanabilir. Kendisi ve alt tik yapıları YÇK ve BÇK altında değişik yönde hareket edebilir. Değişik biçimde gruplar oluşturarak 3D uzayında dağılıp toplanabilir. Verilmiş olsun. Kullanılmakta olan SM iyi bilinmektedir. Toplumun %99 lık bir kesimi onun günlük yaşamda, eğitim ve öğretimde önemli olduğunu düşünür. Kendi mantıksal çıkarımları ile düşüncelerini ortaya koyar ve savunur. Haklıdırlar. Derleyicisi olmayan yüksek aşamalı biçimsel dillerden sonra SM en biçimsel dildir. Bu nedenle bilim ve sanat tarihinin her evresinde var olmuştur. Günümüzde, SM uygulaması olarak üretilen teknoloji bağımlı çok sayıda yazılım ve donanım mevcuttur. Yeni oluşturulduğu düşünülen bulut bellek yongalı çok durumlu yazılım ve donanım tasarımında özdevinim kurgusu akıllı yaşamı her yönü ile değiştirirken yeni teknoloji üretmek için tetiklemektedir. Bu tetiklemenin karşısında SM yepyeni bir matematik üretti. BM adı ile adlandırdı. Güneşin doğduğu yerden BM, bir GBÖ EŞTAÇ ve sonra sahip olduğu torbası ile birlikte bir yeni EŞTİY TTBBSS BYO Q bulut sürüsü bellek BTN oluşturma bilimi olarak doğdu. Kip[n] = {0, 1, 2, n-1} BMD kuantumları(rakamları) kümesini bir mantık değerlri kümesi olarak tanımladı. 25 XVI. Türkiye'de İnternet Konferansı Kip[n] kuantumları ile bildirişim(biçimsel iletişim) kuran ve yapan 1 denetim değişkenli Q bellekli BTN oluşumu kuramsal(teorik) anlamda üretildi. Özel bir programlama tekniği ile programlandı. Kip[n] BMD kuantumlarından Kip[n] BMD kuantumları üreten Q bellekli F BMTF BTN oluşumları üretildi. Üretilen Q bellek F BMTF oluşumlarını kullanılarak her n değerli mantıkta yeni çıkarımlar yapmak mümkün oldu ve olacaktır. Çünkü her 1 den büyük sonlu sayıda BMD için m değişkenli n değerli BMTF bulundu. Bu yeni buluşun perde arkasında biçimsel bildirişim yapmaya muktedir olan Q bellekli BTN oluşumları yer almaktadır. Onlar basitce Kip[n] BMD kuantumları ile programlandı. Kullanılan programlama tekniği [6, 9] yaş gurubunda yer alan bir çocuğun kolayca anlayıp kullanabileceği biçimde yalındır(basittir). Yazar bu teknikleri biçimsel bildirişimle bilgi işleyen BM adlı BTN oluşturma bilimlerinin içeriğine koydu. BM bilimini kurmak için, o 1968 yılında beri çalışılmakta idi. Bu bildiride SM desteğinde oluşturulan BM içeriği, bilim ve sanat yapan bilim adamları ve adayları ile buluşturulacaktır. Orijinal buluşu destekleyen önemli yayın ve çalışma başlıklarından bazıları bu yazının Kaynaklar listesinde verilmiştir BM İçeriği, Amacı, Yapısı, Anlamı, Kullanımı ve Yüksek Teknoloji Üretme Gücü 1. BM, N doğal sayılar kümesini ve özelliklerini doğal biçimde algılar ve öğretir. Onun bir alt kümesi olarak özel tanımlı belitlerin 8 altında her n doğal sayısı için dönüşümlü biçimde üretilen Kip[n] = {0, 1, 2,..., n-1} BMD kuantumları(veya rakamları) kümesini sonlu sayıda belit kullanarak üretir ve kullanır 9. Kip[n] kümesi 8 Belit: Aksiyom. 9 BMD kuantumları: Biçimsel Mantık Değerlerini temsil eden en basit yapılı standard kod tikleri.

4 Bildirişimli Matematiğin <T, 1, n> Q Sürü Bellekli 3D I@I İnternet Sürüsü Mod[n] kümesinden farklı bir kümedir. Sözü edilen aksiyomlar yazar tarafından bulunmuştur. Yazılmıştır. Yayınlanacaktır. 2. BM, evren veya doğa varlıklarını, bir küre(veya konik) ortamında biçimsel küme yapmaya zorlayan, bir Yer Çekimi Kanunu(YÇK) olduğu gibi; onları daha güçlü biçimsel bildirişim kümeleri oluşturmaya zorlayan bir Bildirişim Çekimi Kanunu(BÇK) olduğunu düşünür, algılar ve ifade eder. Bu yeni kanunun aksiyomlarını bulur yapılandırır, anlamlandırır ve kullanır. Bilim dünyasına duyurur. Sözü edilen aksiyomlar yazar tarafından bulunmuştur. Yazılmıştır. Yayınlanacaktır. 3. BM, çıplak gözle görünen veya görünmeyen, her evren veya doğa varlığının; Kip[n] kuantumları ile bildirişim kuran ve yürüten bir Q bellekli BTN oluşumu olduğunu düşünür, algılar, yapılandırır ve anlatır. 4. BM, BTN tasarımlarının zaman kavramı içinde, her değişik yaşam ortamında, sürekli veya yenidenlikli dönüşümlerle daima başkalaştığını, evrimleştiğini ve yine tik BTN veya tok BTN oluşumlarına dönüştüğünü algılar, yapılandırır, anlamlandırır ve kullanır. Evren bu dönüşümlerin yer aldığı en geniş yaşam ortamıdır. 5. BM, her Kip[n] = Kip[n] = {0, 1, 2,..., n-1} kümesi üzerinde döngülü sayma sistemi kavramının evrenin her yerinde bir BTN oluşumunu yapılandırılırken, anlamlandırılırken, kullanılırken arka planda var olan bir gizemli kavram olduğunu algılar. Bu nedenle Kip[n] kuantumlarını veya rakamlarını kullanarak geliştirilen döngülü sayı sistemleri BM içeriğinin en önemli konusudur. 6. Kip[n] tabanlı sayı sistemlerini BTN oluşumu olarak algılar, yapılandırır, anlamlandırır ve kullanır. Bir sayma tekniği ile oluşturduğu kod(çetele) kümelerinin içinde veya üzerinde kurulan; en iyi biçimde bildirişim yapamaya muktedir olan; cebirsel, fonksiyonel, geometrik veya topolojik BTN oluşumlarının yapılarını, anlamlarını ve kullanımlarını amaçlarına en uygun biçimde çalışır, yapılandırır, anlamlandırır ve kullanır. Yazar geliştirdiği Kip[n] tabanlı biçimsel sayı dillerini geçmiş süreç içerisinde öğrencilerine yılları arasında öğretmiştir. 7. BM, günümüz matematiğini bir biçimsel dil olarak algılar. Onu olmazsa olmaz Standart Matematik(SM) modeli olarak kabul eder. SM içeriğini BM içeriğindeki m değişkenli ve n değerli biçimsel bildirişim yapmaya muktedir olan biçimsel mantık tasarımı modellerinin oluşturulmasında, yapılandırılmasında, anlamlandırılmasında, kullanılmasında ve gerçekleştirilmesinde anlatım dili olarak kullanır. 8. BM, Q belekli BTN oluşumlarını algılar, yapılandırır, anlamlandırır ve kullanır. Eniyilenmiş biçimde çok güçlü bildirişim yapmaya muktedir olan BTN oluşumu modellerini çalışır ve üretir. Bir biçimsel DB dilbilimin bir biçimsel D dilinde ürettiği biçimsel RCR formatlı değişik sistem oluşumlarını bilgi işlemeye anında yönlendiren tasımların kapanış kümelerini algılar, çalışır, geliştirir ve kullanıma sunar. 9. BM, her BTN oluşumunun Kip[n] BMD kuantum değerlerine duyarlı olduğunu bilir. Onları kullanarak bildirişim yapan, Q bellekli adlı BTN oluşumlarının tasarımlarını oluşturur. Onları yeniden yapılandırır, anlamlandır ve kullanır. Q bellek içine dağılmış sabit Q bellekli c kara delikler BTN oluşumlarının kendi aralarında örgütlenerek oluşturduğu ccc c küme oluşumunun bir kara delik kayıtsayar kütüğü BTN oluşumu olduğunu düşünür, algılar, yapılandırır, anlamlandırır ve kullanır. Çok önemli bulur, özelliklerini çalışır, yenidenlikli olarak oluşturulmuş olan yapılandırmalarını, çözümler, programlar ve kullanıma sunar. 10. YÇK ve BÇK kurallar altında yapılan her çoklu BTN örgütlenme oluşumunun yine bir BTN oluşumu olduğunu algılar. Bu oluşumların YÇK ve BÇK kuralları altında gelişmiş olan Yenidenlikli Fonksiyonlar 26

5 Teorisi kuralları altında oluşmuş olduğunu bilir. 11. BM, evrenin oluşumunda olduğu düşünülen Büyük Patlama sonrası YÇK ve BÇK kuralları altında oluşan her bilgi nesnesinin, bir biçimsel D dillinde bir biçimsel BD dilbilimi ile oluşturulmuş olduğunu bilir. Onnun biçimsel olarak Q bellekli BTN oluşumnu temsil eden(betimleyen) BM modeli bulur öğrenir ve öğretir. 12. BM, evrende ve doğada bildirişim yapmaya programlanmış yoğun Q bellekli kara delik içeren Q bellekli BTN oluşumları olduğunu bilir. Onların benzetim modellerini SM yöntemlerini kullanarak bulur. Öğrenir ve öğretir. Kip[n] BMD kuantumları ile bildirişim yaparak bilgi işleyen Q bellekli BTN oluşumlarını oluşturan tasimlar yazar tarafından bulunmuştur, programlanmıştır ve yayınlanmıştır. 13. Q bellekli BTN oluşumları içinde yer alan ccc...c karadelik kümeleri vardır. Onların Kip[n] BMD kuantumları ile programlanarak m değişkenli Kip[n] BMD kuantumlarına duyarlı olan Q bellekli F BMTF ürettiği bilinmektedir 10. Bu pek çok sayıda fonksiyonun anlamı ve kullanımı henüz bilinmemektedir. BM bu fonksiyonları algılar, ifade eder, yeniden yapılandırır, anlamını bulduklarını duyurur ve kullanır. 14. BM, en iyi biçimde biçimsel bildirişim yaparak bilgi işleyen(yani bilgiden bilgi üreten) algoritmaları biçimsel olarak algılar. Evrende büyük patlama sonrası oluşan bildirişim yapmaya muktedir tiklerin tiki Q bellekli BTN kapanışlarını yenidenlikli(recursive) olarak bulur, yeniden yapılandırır, anlamlandırır ve kullanır. 15. BM, algoritma(tasim) kavramını çok durumlu ve oldukça yoğun Q bellekli yazılım veya soyut donanım olarak algılar. Onları kolayca kodlayan T = TASIM benzeri 10 F BMTF: F adlı Biçimsel Mantık Tasarım Fonksiyonu. Kaynak[07]. 27 XVI. Türkiye'de İnternet Konferansı biçimsel dilleri algılar, tasarımlar, gerçekleştirir ve kullanır. 3. <T, 1. n> Q Bellekli I@I Modeli Bu kesimde <T, 1, n> Q bellekli I@I modeli tanıtılacaktır. 3.1 Tik Bileşenler 1. Bilgi: Verilen bir biçimsel D dilbiliminin(gramerin) kurallarını kullanarak, bir biçimsel L dilinin kelimesi olarak üretilmiş olan; bu nedenle yapısı, anlamı ve kullanımı %100 kesinlikle algılanan her imdiziye bilgi denir. 2. Rator: Operator. İşleç türü. 3. Rand: Operand. Bir işleç tarafından işlenen bilgi. 4. Tamra: Başlangıç durumunda bilgi salan iki durumlu anten veya anten sistemi. 5. Ramta: Bitiş durumunda bilgi salan iki durumlu anten sistemi. 6. i( : Bir i kimlik numaralı tamra anteni.: i kimlik numaralı tamra anteni. 7. ) i : bir i kimlik numaralı ramta anteni. 8. i(... ) i : i kimlik numaralı tamra ve ramta anten çifti eş tutusu. Bu eştutu bir biri ile bildirişim yapmak için yapılmıştır. Bildirişimin nasıl yapılacağı Kaynak[13] içeriğinde verildi. Kavramları biliniyor kabul edilmiş olsun. Tanım 1. (a) nr = 0( 1( k( n-2( n-1( BTN oluşumuna, k ϵ Kip[n] olmak üzere; bir Kip[n] bildirişimli tamra anten sistemi denir. (b) Rn = ) n-1 ) n-2 ) k ) 1 ) 0 BTN oluşuma, k ϵ Kip[n] olmak üzere; bir Kip[n] bildirişimli ramta anten sistemi denir. (c) n R = 0 ( 1 ( k ( n-2 ( n-1( x BTN oluşumuna, k ϵ Kip[n] olmak üzere; bir Kip[n] bildirişimli rator veya rator sistemi denir.

6 Bildirişimli Matematiğin <T, 1, n> Q Sürü Bellekli 3D I@I İnternet Sürüsü (d) R n ) 0 BTN oluşumuna k ϵ Kip[n] olmak üzere; bir Kip[n] bildirişimli rand veya rand sistemi denir. (e) Q = Q[m = 1, n] = RCR = n R R n = 0 ( 1 ( k( n-2 ( n-1( 0 BTN oluşumuna, k ϵ Kip[n] olmak üzere, bir T genetik, 1 değişkenli, Kip[n] BMD kuantumları ile bildirişim yapmaya muktedir olan ve RCR formatlı Q BTN bellek modeli denir. Anlatımlarda ona kısaca Q bellik denecektir. Örnek 1: a) Gökyüzünün her hangi bir bölgesinde uçan bulutsu kuş sürüsü topluluğunun birlikte oluşturduğu bellek bir Q bellektir. b) Bir dalgıcın denizin derininde yüzerken gözlediği bulutsu balık sürüsü topluluğunun belleklerini oluşturduğu bellek bir Q bellektir. c) Sonbaharda bir zeytin ağacında gözlenen zeytin taneleri topluluğunun oluşturduğu bellek bir Q belleğidir. Tanım 2:Bir Q bellek göz önüne alalım. Eğer bu belleğin en az bir alt bellek grubunun içeriği boş değil ise o Q bellek bir I@I internet içinde internet modelidir. 3.2 Önemli Kurallar 1. Belirtilmese dahi her Q bellek RCR formatlıdır. Bu formata Rator Cab Rand formatı denir. O, n + 1 tik elamandan oluşan bir birliktir. 2. <T, 1, n> Q bellek içinde 4n + 1 tik elaman olan bir birliktir. Bu birliğin: (a) Tam n tane ( tamra anteni ve 1 tane x işleç değişkeni elamanından oluşan bir n + 1 elamanlı rator birliği vardır. (b) Tam n i i c i ) i üçüz sabit birliği vardır. Bu 3n elamanlı birliğe bir rand birliği denir. 3. Birlikler 3D uzayında birlikte hareket ederler. Hareket halinde alt birlikler bildirişim yapabilecekleri bir alanda her biri farklı yönde ve hızda dağılıp yeniden toplanabilirler. Çünkü her birinin onlara erişebilmek için farklı kimlikleri vardır. 4. Kimlikli olan Q bellek alt elamanları istendiğinde kendilerini bulundukları 3D uzayında gizleyebilirler. 3D 28 uzayında kendilerini gizlemiş olan Q alt elamanları görünmezler ama kendilerine verilen görevleri yürütürler. cap merkezlerinde saklı tutulur. 5. Her <T, 1, n > Q bellek A = { (, c, ) } = ( c ) tik BTN oluşumundan oluşmuş tiklerin tiki oluşumlardır. Bir <T, 1, n> Q bellek her zaman < b 0 = başlık, b 1 = boyunluk, b 2 = bedenlik, b 3 = bacaklık > T 4n + 1 alt tik elamandan yenidenlikli biçimde oluşur. 6. (a) Her <T, 1, n> Q bellek bir BTN oluşumudur. (b) Her BTN oluşumu 3D uzayında n boyutlu bir vektör ile tanımlanmıştır. Bu vektörün her bileşeni bir BTN oluşumudur. 7. Bu bildiride her Q bellek bir BTN oluşumu olarak örneklenecektir. Bileşenler < b 0 = başlık, b 1 = boyunluk, b 2 = bedenlik, b 3 = bacaklık > T = < b 0, b 1, b 2, b 3 > T = bbbb T ile temsil edileceklerdir. Bu yapıların 3D uzayında görüntülenmesi bir başka yazımızda tanıtılacaktır. Ayrı olarak yayınlanacaktır. Bu bildiride sadece örnekler verilecektir. 8. Her <T, 1, n> Q bellek bir T:TASIM genetik biçimsel dilbilim ile üretilir. Böyle üretim örnekleri bir başka yazımızda verilecektir. 9. Bir tik Q bellek genelde bedenlik adı veya bedenlik ve bacaklık adları ile görüntülenir. Örnek 2: Bir <T, 1, 5> Q bellek açılımı Q = Q[m = 1, n] = 0 ( 1 ( 2 ( 3 ( 4 ( 0 dir. Burada x değişkeni dışında her tik bileşen bedenlik ve bacaklık bileşenleri ile görüntülenmiştir. Ama yalnız x değişkeni ayrıcalıklı olarak bedenlik bileşeni ile görüntülenmiştir. Tanım 2: Q = xccc...c BTN oluşumuna, antenleri ve cab'leri tam olarak gizlenmiş ve yalnız değişken ve sabitlerin bedenlik bileşenleri ile görüntülenmiş <T, 1, n> Q bellek oluşumu denir. Örnek 3: Q = xccccc bir <T, 1, 5> Q BTN görüntüsüdür. Burada her vektör sadece bedenlik bileşeni ile görüntülenmiştir. Görülmeyenler bir bulut perde arkasında saklıdırlar. Ama, orada yüklendikleri görevleri yürütme erkine sahiptirler.

7 XVI. Türkiye'de İnternet Konferansı Teorem 1: 3D uzayında her <T, 1, n> Q A6: Oluşturulan K x kurallarını x değerlerine bellek Kip[n] BMD kuantumları ile göre sıraya koy. bildirişim yapan, RCR formatlı, ü[1, n] farklı f ϵ F[x] BMTF üretir. A7: Bu sırada oluşan y değerlerini RCR formatlı 3D1 <T, 1, n> Q BTN sürü bulut İspat: 3D uzayında, Kip[n] BMD bellek tasarımının rand oluşumu içeriğinde kuantumları ile bildirişim yapan, bir Q = xccc...c belleği verilmiş olsun. Her c ϵ Kip[n] olduğundan ileri doğru sayma yöntemini kullanarak ccc...c nnn...n-1 nnn...n atamaları yapılabilir. Her atama bir f ϵ F[x] BMTF üretir. Böyle tam ü[1, n] sayıda f ϵ BMTF vardır. Teorem 2: Her f ϵ F = F[x] BMTF BTN oluşumunu RCR formatlı <T, 1, n> Q BTN bulutsu sürü bulut bellek BTN oluşumuna programlayan, bir algoritma vardır. İspat: Gelişigüzel geçilmiş, n 2 ve n ϵ N görülen ve Kip[n] rakamları ile sağdan sola sıralanmış olan; ccc c sabit belleklerinin içine sıra ile sağdan sola doğru yaz. A8: İçeriğine Kip[n] bilgileri yazılmış olan RCR formatlı 3D1 <T, 1, n> Q BTN sürü bulut bellek tasarımının bu son hali f mantık fonksiyonu ile programlanmış olan ü[1, n] farklı RCR formatlı 3D1 <T, 1, n> I@I internet içinde internet modellerinden biridir. Onu algıla. A35: Son. İzlence A3: şartlarını sağlayan, bir Kip[n] kümesi İA0:Başla. verilmiş olsun. Aşağıda verilen Algoritma A, verilen RCR formatlı <T, 1, n> Q BTN sürü bulut belliğine, verilen RCR formatlı Kip[n] BMD kuantumları ile bildirişim yapan f ϵ F(x) mantık fonksiyonunu programlar. Algoritma A: A0: Başla; A1: Tasarım ve kullanım sürecinde sıkça kullanılacak olan, n 2 ve n ϵ N şartlarını sağlayan, bir doğal sayı seç ve Kip[n] = {0, 1, 2, n-1 } değer kümesini oluştur. İA1: Tasarım ve kullanım sürecinde sıkça kullanılacak olan doğal sayı için n = 8 sayısı seçilmiş ve Kip[8] = {0, 1, 2, 3, 4, 5, 6, 7} değerler kümesi oluşturulmuş olsun. İA2: Algoritma adımı A1 veya Algoritma adımı A2 aracılığında Kip[8] rakamlarına duyarlı olan, Şekil 1 içeriğinde resimlenmiş olan RCR formatlı 3D1 <T, 1, 8> Q BTN bulutsu sürü bulut bellek tasarımını göz önüne al. İA3: Göz önüne aldığın RCR formatlı 3D1 A2: Oluşturulan Kip[n] BMD <T, 1, n> Q BTN sürü bulut bellek kuantumlarına duyarlı olan bir RCR formatlı tasarımında, ratorun tamra antenlerinin 3D1 <T, 1, n> Q BTN sürü bulut bellek bacaklık belleklerinin içine, Kip[n] tasarımını göz önüne al. A3: Göz önüne aldığınız RCR formatlı 3D1 <T, 1, n> Q BTN sürü bulut bellek tasarımında, rator tamra antenlerinin bacaklık belleklerinin içine, Kip[n] rakamlarını soldan sağa ve küçükten büyüğe yaz. A4: Göz önüne aldığınız RCR formatlı 3D1 <T, 1, n> Q BTN sürü bulut bellek tasarımında, rand ramta antenlerinin bacaklık belleklerinin içine Kip[n] rakamlarını sağdan sola ve küçükten büyüğe yaz. A5: Bir f ϵ F = { f: x y : x, y ϵ Kip[n]} = {K x : x y; x, y ϵ Kip[n]} fonksiyonu seç. Kip[n] içeriğinden x ve y değerlerini alan, birbirinden farklı n tane K x : x y dönüşüm kuralını bul. rakamlarını soldan sağa ve küçükten büyüğe yazınız. İA4: Göz önüne aldığınız RCR formatlı 3D1 <T, 1, n> Q BTN sürü bulut bellek tasarımında, rand ramta antenlerinin bacaklık belleklerinin içine Kip[n] rakamlarını sağdan sola ve küçükten büyüğe yazılır.. İA5: f = {K x : x y : K 0 : 0 7, K 1 : 1 5, K 2 : 2 7, K 3 : 3 0, K 4 : 4 7, K 5 : 5 2, K 6 : 6 6, K 7 : 7 1 } kip[8] mantık fonksiyonunu seçmiş olun. Böyle tam ü[1, 8] = biçimsel mantık f fonksiyonu vardır. İA6: Göz önüne aldığınız kip[8] mantık fonksiyonu bir RCR formatlı 3D1 <T, 1, 8> Q BTN sürü bulut bellek içeriğine Şekil 1 29

8 Bildirişimli Matematiğin <T, 1, n> Q Sürü Bellekli 3D I@I İnternet Sürüsü içeriğinde görüldüğü gibi programlanmış olur. x ( ( ( ( ( ( ( ( x Q[, m 1,8] c )@ c )@ c )@ c )@ c )@ c )@ c )@ c ) x ( ( ( ( ( ( ( ( x I[, m 1,8] Şekil 2.Tamralı rator BTN oluşumu c) Şekil 1: Bir RCR formatlı 3D1 <T, 1, 8> I@I BTN mantık f fonksiyonu programı. İA212: Son. 6. Resimlerle T-genetik BTN Oluşumu Anlatımları Bu kesimde resimlerle Q bellek BTN anlatımı yapılacaktır.. Şekil 3. Bir <T,1, 2> Q bellek oluşumu. 4 I@[ I, m1,8] x (((((((( x c) c) c) c) c) c) c) c)

9 Şekil 4: Q[x, m = 1, n =8] sürü bulut belleğinin P = P[f] = {K x = x y: K 0 = 0 5, K 1 = 1 2, K 2 = 2 1, K 3 = 3 3, K 4 = 4 0, K 5 = 5 6, K 6 = 6 7, K 7 = 7 5}program bilgisi ile programlanarak elde edilen, I@I[x, m = 1, n = 8] BTN tasarımını kullanarak f[x = 4] = 0 değerinin bulunması. 6 6 x (((((((( x I@[ I, m1,8] c) c) c) c) c) c) c) c) Şekil 5: Q[x, m = 1, n =8] sürü bulut belleğinin, P = P[f] = {K x = x y: K 0 = 0 5, K 1 = 1 2, K 2 = 2 1, K 3 = 3 3, K 4 = 4 0, K 5 = 5 6, K 6 = 6 7, K 7 = 7 5} program bilgisi ile programlanarak elde edilen, I@I[x, m = 1, n = 8], BTN tasarımını kullanarak, f[x = 6] = 7 değerinin bulunması. Q[ x, m 1, n] 0 ( (... ( ( x 0 1 n2 c ) n2 c c ) n1 c ) Şekil 6: 2D <T, 1 n> Q RCR BTN sürü bulut belek. Burada rand BTN oluşumunun 3D2 yaşam ortamına serpilmiş biçimi görüntülenmiştir. 0 Q[, m1, n] XVI. Türkiye'de İnternet Konferansı ( 0 c) 1 n 2 n 1 n 2 x... c) 0 n 1 1 ( c) Şekil 7: Bir <T, 1, n> Q bellek oluşumunun bir 3D2 yaşam alanı ortamına serpilmiş rator ve rand özelliklerini ön plana çıkartan 3D model tasarımı. 7. Bir <T, 1, n> I@I BTN Modelinin ü[1, n] Sayıları Bu kesimde bir <T, 1, n> I@I BTN modeline programlanabilen Kip[n] mantık fonksiyonlarının sayısını belirleyen ü[1, n] sayıları, n 11 için verilmektedir. Tablo 1 de verilen bilgilerin incelenmesinden, n sayısı büyüdükçe tasarımı yapılan belleğe yazılıp okunabilecek n uzunluklu kelimelerle belirlenen fonksiyonların sayısındaki artışın dikkat çekici olduğu görülmektedir. Bu kadar çok sayıda tanımlanabilen BMTF tanımından ve özelliklerinden, matematik dünyası habersiz görünüyor. Haberi olsa bile bu fonksiyonları hangi teknoloji ile gerçekleştirerek kullanabileceğini bilmiyor. Bir <T, 1, n> Q bellek BTN sürü bulut belleğini programlayarak elde edilen <T, 1, n> I@I internet içinde internet BTN modeli oluşturabilen fonksiyonların sayısını bulan ü[1, n] sayıları Tablo 1 de verilmiştir. 0 31

10 Bildirişimli Matematiğin <T, 1, n> Q Sürü Bellekli 3D I@I İnternet Sürüsü n N Ü[1, n] Yorum Sayısı Sayısı 1 1? 2 4 Biliniyor 3 27? 4 256? ? ? ? ? ? ? ? Tablo 1: ü[1, n] sayıları. 9. Sonuçlar, Öneriler ve Eleştiriler 1. Bu bildiri ile <T, 1, n> I@I internet içinde internet BTN modeli İnternet ve Bilgisayar Bilimcilerinin gündemine taşınmıştır.. 2. T:TASIM biçimsel dili sadece 3 asıl bir 1 eşik dilbilim kuralından oluşan, ilk 1970 li yıllarda, yazar tarafından tanımlanmıştır. Öğrenilmesi çok kolay olan, bir biçimsel dildir. 3. Tasımlama birden çok T-genetik BTN oluşumundan yeni T-genetik BTN oluşumları oluşturan tasımları, makine ve dil denklik sınıflarına ayırarak, elde edilen makine denklik sınıfının elde edilen dil denklik sınıfı aracılığında programlanmasını gündeme taşımıştır. 4. Yazar bu yazı ile biçimsel T- dilbilimini ve bu dilbilim ile <T, 1, n> Q BTN sürü bulut bellek oluşumlarını oluşturan Bildirişimli Matematik kavramının nasıl kullanılabileceğini gündeme getirerek tartışmaya açmak istemiştir. Yetişmekte olan kuşağa yararlı olmasını diler. 5. BTN üzerinde uzman olan BM, Kip[n] = {0, 1, n-1}, n ϵ N, tanım bölgesinde; bir Q belleğe ü[1, n] = 1+(n-1) n n-1 k sayıda k=0 RCR formatlı f ϵ F BMTF BTN oluşumunu bir p ϵ P programı ile programlayarak bir I@I internert içinde internet oluşturduğu kanıtlanmıştır. Kaynak[07-13]. 6. Evrende tıpkı yerçekimi yasası gibi bir bildirişime çekim yasası vardır. Bu yasanın gereği her BTN bir BTN gurubu ile bildirişim kurmaktadır. Yazarın bulduğu yeni n değerli mantık tasarımının, insanlığa aydınlık gelecek kapısını açtığı görülmüştür. Onun iyi algılanarak gelecekte n değerli mantık çıkarımlarını yapan tasım BTN oluşumlarının kullanılması gerektir, şarttır ve yeterdir. Kaynaklar [01] P. Linz: Introduction to Formal Languages and Automata, Fourth Edition, Jones and Bartlett Publishers, London, [02] R. L. Causey: Logic, Sets, and Recursion, Second Edition, Jones and Bartlett Publishers, Inc., London, 2006 [03] W. Lark: LISP 1.5 Primer, Dickenson Publishing Inc. California, [04] F. Ünlü: Kuramsal λ-tasımlaması, Atatürk Üniversitesi Basımevi, Erzurum, [05] F. Ünlü: A TASIM Logic realization of Boolean algebra, DIRASAT. A Research Journal, the University of Jordan, VIII (7): pp67-76, Amman, [06] F. Ünlü: A TASIM Logic realization of Boolean algebra, DIRASAT. A Research Journal, the University of Jordan, VIV (12): pp61-80, Amman, [07] F. Ünlü: CITALOG: Compact and Integrated Tasim Logic Closure, Journal of King Abdulaziz University, Science, Vol. 2, pp , Jeddah, [08] F. Ünlü : Instant (FLA, HOB) Computational Management System KBO Model Design, Int. Journal of Contemporary 32

11 XVI. Türkiye'de İnternet Konferansı Mathematical Sciences, Vol. 1, 2006, no. 5-8, pp [09] F. Ünlü: FTD Grammar Graph, International Journal of Computer Mathematics, 2003, Vol. 80(1), pp1-9. [10] F. Ünlü: T-genetic RCR-U Form, INISTA 2010, ID 16, pp 1-5, Kayseri, Turkey, [11] F. Ünlü: Biçimsel TASIM Dilbilimi, AYSU 2010, ID 5, pp 1-5, Kayseri, [12] F. Ünlü: Remote Programmable Mobile Communicating Global TASIM-T E- Business Modules Controllable by One Control Variable, ICBME 2009, Vol. II, pp , Yasar University, Izmir. [13] F. Ünlü: Q ve Q + Sürü Bellekli I@I Modeli Tasarımında Kullanılan T Genetik Altyapı Elamanları, XVI. Türkiye'de İnternet Konferansı. Bildiri No. 3, 30 Kasım-2 Aralık 2011, Ege Üniversitesi Atatürk Kültür Merkezi, Konak, İzmir. 33

XVI. Türkiye de İnternet Konferansı 30 Kasım-2 Aralık 2011, İzmir

XVI. Türkiye de İnternet Konferansı 30 Kasım-2 Aralık 2011, İzmir Q ve Q + Sürü Bellekli I@I İnternet Modeli Tasarımında Kullanılan T Genetik Altyapı Elamanları Fevzi Ünlü Matematik ve Bilgisayar Bilimleri, Eğe Üniversitesi ve Yaşar Üniversitesi, İzmir Özet: Bu bildiride

Detaylı

Bildirişimli Matematiğin <T, 1, n> Q Sürü Bellekli 3D I@I İnternet Sürüsü

Bildirişimli Matematiğin <T, 1, n> Q Sürü Bellekli 3D I@I İnternet Sürüsü XVI. Türkiye e İnternet Konferansı 3 Kasım-2 Aralık 2, İzmir Bilirişimli Matematiğin Q Sürü Bellekli 3D I@I İnternet Sürüsü Fevzi Ünlü Matematik ve Bilgisayar Bilimleri, Ege Üniversitesi ve Yaşar

Detaylı

Siber Güvenlik ve Savunma için BM Bilim Dalı Kuruluş Çalışmasının Amacı, Yapısı, Anlamı, Kullanımı, Yüksek Teknoloji Üretme Gücü Üzerinde Açıklamalar

Siber Güvenlik ve Savunma için BM Bilim Dalı Kuruluş Çalışmasının Amacı, Yapısı, Anlamı, Kullanımı, Yüksek Teknoloji Üretme Gücü Üzerinde Açıklamalar SİBER GÜVENLİK VE SAVUNMA İÇİN BM BİLİM DALI KURULUŞ ÇALIŞMASININ Siber Güvenlik ve Savunma için BM Bilim Dalı Kuruluş Çalışmasının Amacı, Yapısı, Anlamı, Kullanımı, Yüksek Teknoloji Üretme Gücü Üzerinde

Detaylı

Q ve Q + Sürü Bellekli İnternet Modeli Tasarımında Kullanılan T Genetik Altyapı Elamanları

Q ve Q + Sürü Bellekli İnternet Modeli Tasarımında Kullanılan T Genetik Altyapı Elamanları Q ve Q + Sürü Bellekli I@I İnternet Modeli Tasarımında Kullanılan T Genetik Altyapı Elamanları Prof. Dr. Fevzi Ünlü Eğe Üniversitesi ve Yaşar Üniversitesi Emekli Öğretim Üyesi İzmir Özet Bu bildiride Q

Detaylı

Prof. Dr. Fevzi Ünlü Yaşar Üniversitesi, Matematik Bölümü, Bornova, Đzmir

Prof. Dr. Fevzi Ünlü Yaşar Üniversitesi, Matematik Bölümü, Bornova, Đzmir MODÜLER EÖA PROGRAMI MODÜLLEME TEKNĐĞĐ Yenidenlikli Tasarım Yöntemi Altında Bir Modüler Hayat Boyu Matematik ve Akademik Bilgi Yönetimi EÖA YL Programı Tasarımı Prof. Dr. Fevzi Ünlü Yaşar Üniversitesi,

Detaylı

BİLGİSAYAR MÜHENDİSLİĞİ BÖLÜM BAŞKANLIĞI DERS TANITIM BİLGİLERİ

BİLGİSAYAR MÜHENDİSLİĞİ BÖLÜM BAŞKANLIĞI DERS TANITIM BİLGİLERİ BİLGİSAYAR MÜHENDİSLİĞİ BÖLÜM BAŞKANLIĞI DERS TANITIM BİLGİLERİ Dersin Adı Kodu Sınıf / Y.Y. Ders Saati (T+U+L) Kredi AKTS PROGRAMLAMA DİLLERİ BG-324 3/2 3+0+0 3+0 4 Dersin Dili : TÜRKÇE Dersin Seviyesi

Detaylı

Programlama Dilleri 1. Ders 3: Rastgele sayı üretimi ve uygulamaları

Programlama Dilleri 1. Ders 3: Rastgele sayı üretimi ve uygulamaları Ders 3: Rastgele sayı üretimi ve uygulamaları Ders 3 Genel Bakış Giriş Rastgele Sayı Rastgele Sayı Üreteci rand Fonksiyonunun İşlevi srand Fonksiyonunun İşlevi Monte Carlo Yöntemi Uygulama 1: Yazı-Tura

Detaylı

Esnek Hesaplamaya Giriş

Esnek Hesaplamaya Giriş Esnek Hesaplamaya Giriş J E O L O J İ M Ü H E N D İ S L İ Ğ İ A. B. D. E S N E K H E S A P L A M A Y Ö N T E M L E R İ - I DOÇ. DR. ERSAN KABALCI Esnek Hesaplama Nedir? Esnek hesaplamanın temelinde yatan

Detaylı

DENİZ HARP OKULU BİLGİSAYAR MÜHENDİSLİĞİ BÖLÜM BAŞKANLIĞI DERS TANITIM BİLGİLERİ

DENİZ HARP OKULU BİLGİSAYAR MÜHENDİSLİĞİ BÖLÜM BAŞKANLIĞI DERS TANITIM BİLGİLERİ DENİZ HARP OKULU BİLGİSAYAR MÜHENDİSLİĞİ BÖLÜM BAŞKANLIĞI DERS TANITIM BİLGİLERİ Dersin Adı Kodu Sınıf/Y.Y. Ders Saati (T+U+L) Kredi AKTS Programlama Dillerinin Prensipleri BİM-323 3/II 3+0+0 3 4 Dersin

Detaylı

M n -MODÜLER HAYAT BOYU EÖA PROGRAMLARINI DESTEKLEYEN YÜKSEK LİSANS EÖA DERS PROGRAMLARI MODELLEME TEKNİĞİ. Prof. Dr. Fevzi ÜNLÜ *

M n -MODÜLER HAYAT BOYU EÖA PROGRAMLARINI DESTEKLEYEN YÜKSEK LİSANS EÖA DERS PROGRAMLARI MODELLEME TEKNİĞİ. Prof. Dr. Fevzi ÜNLÜ * 985 M n -MODÜLER HAYAT BOYU EÖA PROGRAMLARINI DESTEKLEYEN YÜKSEK LİSANS EÖA DERS PROGRAMLARI MODELLEME TEKNİĞİ Prof. Dr. Fevzi ÜNLÜ * ÖZET Dünyamızda BTBN ortamlarının özellikleri hızla genişleyerek değişmektedir.

Detaylı

1) Programlama dillerinin temel kavramlarını öğrenir. 1,2,4 1

1) Programlama dillerinin temel kavramlarını öğrenir. 1,2,4 1 DERS BİLGİLERİ Ders Adı Kodu Yarıyılı T+U Saati Ulusal Kredisi AKTS Programlama Dilleri BIL204 4 3+0 3 5 Ön Koşul Dersleri Dersin Dili Dersin Seviyesi Dersin Türü Türkçe Lisans Zorunlu / Yüz Yüze Dersin

Detaylı

PROGRAMLAMAYA GİRİŞ. Öğr. Gör. Ayhan KOÇ. Kaynak: Algoritma Geliştirme ve Programlamaya Giriş, Dr. Fahri VATANSEVER, Seçkin Yay.

PROGRAMLAMAYA GİRİŞ. Öğr. Gör. Ayhan KOÇ. Kaynak: Algoritma Geliştirme ve Programlamaya Giriş, Dr. Fahri VATANSEVER, Seçkin Yay. PROGRAMLAMAYA GİRİŞ Öğr. Gör. Ayhan KOÇ Kaynak: Algoritma Geliştirme ve Programlamaya Giriş, Dr. Fahri VATANSEVER, Seçkin Yay., 2007 Algoritma ve Programlamaya Giriş, Ebubekir YAŞAR, Murathan Yay., 2011

Detaylı

DENİZ HARP OKULU BİLGİSAYAR MÜHENDİSLİĞİ BÖLÜM BAŞKANLIĞI DERS TANITIM BİLGİLERİ

DENİZ HARP OKULU BİLGİSAYAR MÜHENDİSLİĞİ BÖLÜM BAŞKANLIĞI DERS TANITIM BİLGİLERİ DENİZ HARP OKULU BİLGİSAYAR MÜHENDİSLİĞİ BÖLÜM BAŞKANLIĞI DERS TANITIM BİLGİLERİ Dersin Adı Kodu Sınıf/Y.Y. Ders Saati (T+U+L) Kredi AKTS Ayrık Matematik BİM-214 2/I 3+0+0 3 2,5 Dersin Dili Dersin Seviyesi

Detaylı

Leyla Bugay Doktora Nisan, 2011

Leyla Bugay Doktora Nisan, 2011 ltanguler@cu.edu.tr Çukurova Üniversitesi, Matematik Bölümü Doktora 2010913070 Nisan, 2011 Yarıgrup Teorisi Nedir? Yarıgrup teorisi cebirin en temel dallarından biridir. Yarıgrup terimi ilk olarak 1904

Detaylı

GENELLEŞTİRİLMİŞ FUZZY KOMŞULUK SİSTEMİ ÜZERİNE

GENELLEŞTİRİLMİŞ FUZZY KOMŞULUK SİSTEMİ ÜZERİNE ÖZEL EGE LİSESİ GENELLEŞTİRİLMİŞ FUZZY KOMŞULUK SİSTEMİ ÜZERİNE HAZIRLAYAN ÖĞRENCİ: Berk KORKUT DANIŞMAN ÖĞRETMEN: Gizem GÜNEL İZMİR 2013 İÇİNDEKİLER 1. PROJENİN AMACI 3.33 2. GİRİŞ... 3 3. YÖNTEM 3 4.

Detaylı

W-PENCERLİ W-BİLİM TASARIM TEKNOLOJİSİNİN W@W- DESENLERİ. Fevzi ÜNLÜ *

W-PENCERLİ W-BİLİM TASARIM TEKNOLOJİSİNİN W@W- DESENLERİ. Fevzi ÜNLÜ * 1185 W-PENCERLİ W-BİLİM TASARIM TEKNOLOJİSİNİN W@W- DESENLERİ ÖZET Fevzi ÜNLÜ * W- pencereli, Eğitim, Öğretim ve Araştırma-EÖA bazında; W-bilimi ile W-bilim yapan, bir yenidenlikli mekanizma mevcut olarak

Detaylı

Önermeler mantığındaki biçimsel kanıtlar

Önermeler mantığındaki biçimsel kanıtlar Önermeler mantığındaki biçimsel kanıtlar David Pierce 26 Aralık 2011, saat 11:48 Bu yazının ana kaynakları, Burris in [1] ve Nesin in [4] kitapları ve Foundations of Mathematical Practice (Eylül 2010)

Detaylı

Lineer Bağımlılık ve Lineer Bağımsızlık

Lineer Bağımlılık ve Lineer Bağımsızlık Lineer Bağımlılık ve Lineer Bağımsızlık Yazar Öğr.Grv.Dr.Nevin ORHUN ÜNİTE 5 Amaçlar Bu üniteyi çalıştıktan sonra; Vektör uzayı ve alt uzay yapısını daha iyi tanıyacak, Bir vektör uzayındaki vektörlerin

Detaylı

Bilgi ve İletişim Teknolojileri (JFM 102) Ders 10. LINUX OS (Programlama) BİLGİ & İLETİŞİM TEKNOLOJİLERİ GENEL BAKIŞ

Bilgi ve İletişim Teknolojileri (JFM 102) Ders 10. LINUX OS (Programlama) BİLGİ & İLETİŞİM TEKNOLOJİLERİ GENEL BAKIŞ Ders 10 LINUX OS (Programlama) BİLGİ & İLETİŞİM TEKNOLOJİLERİ GENEL BAKIŞ LINUX de Programlama LINUX işletim sistemi zengin bir programlama ortamı sağlar. Kullanıcılara sistemi geliştirme olanağı sağlar.

Detaylı

YÖNEYLEM ARAŞTIRMASI - III

YÖNEYLEM ARAŞTIRMASI - III YÖNEYLEM ARAŞTIRMASI - III Prof. Dr. Cemalettin KUBAT Yrd. Doç. Dr. Özer UYGUN İçerik Hessien Matris-Quadratik Form Mutlak ve Bölgesel Maksimum-Minimum Noktalar Giriş Kısıtlı ve kısıtsız fonksiyonlar için

Detaylı

Ders Adı Kodu Yarıyılı T+U Saati Ulusal Kredisi AKTS

Ders Adı Kodu Yarıyılı T+U Saati Ulusal Kredisi AKTS DERS BİLGİLERİ Ders Adı Kodu Yarıyılı T+U Saati Ulusal Kredisi AKTS Matlab Programlama BIL449 7 3+0 3 5 Ön Koşul Dersleri Yok Dersin Dili Dersin Seviyesi Dersin Türü Türkçe Lisans Seçmeli / Yüz Yüze Dersin

Detaylı

6. Ders. Mahir Bilen Can. Mayıs 16, 2016

6. Ders. Mahir Bilen Can. Mayıs 16, 2016 6. Ders Mahir Bilen Can Mayıs 16, 2016 Bu derste lineer cebirdeki bazı fikirleri gözden geçirip Lie teorisine uygulamalarını inceleyeceğiz. Bütün Lie cebirlerinin cebirsel olarak kapalı ve karakteristiği

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ı

EGE ÜNİVERSİTESİ FEN FAKÜLTESİ MATEMATİK BÖLÜMÜ 2014-2015 ÖĞRETİM YILI BAHAR YARIYILI BÜTÜNLEME PROGRAMI

EGE ÜNİVERSİTESİ FEN FAKÜLTESİ MATEMATİK BÖLÜMÜ 2014-2015 ÖĞRETİM YILI BAHAR YARIYILI BÜTÜNLEME PROGRAMI II. YARIYIL Soyut Matematik II Mat. 1. Grup Prof.Dr.A.FIRAT 22.06.2015 15:00-16:30 C 012, C 013 Mathematics II Mat. 1. Grup Prof.Dr.İ.ÇANAK 23.06.2015 15:00-16:30 C 012, C 013 Bilgisayar (A Grubu) Mat.

Detaylı

EGE ÜNİVERSİTESİ FEN FAKÜLTESİ MATEMATİK BÖLÜMÜ 2014-2015 ÖĞRETİM YILI BAHAR YARIYILI FİNAL PROGRAMI

EGE ÜNİVERSİTESİ FEN FAKÜLTESİ MATEMATİK BÖLÜMÜ 2014-2015 ÖĞRETİM YILI BAHAR YARIYILI FİNAL PROGRAMI II. YARIYIL Soyut Matematik II Mat. 1. Grup Prof.Dr.A.FIRAT 01.06.2015 08:30-10:00 C 012, C 013, C 118, C 119 Mathematics II Mat. 1. Grup Prof.Dr.İ.ÇANAK 10.06.2015 15:00-16:30 C 117, C 118, C 119, C 013

Detaylı

EGE ÜNİVERSİTESİ FEN FAKÜLTESİ MATEMATİK BÖLÜMÜ İ.Ö. 2014-2015 ÖĞRETİM YILI BAHAR YARIYILI BÜTÜNLEME PROGRAMI

EGE ÜNİVERSİTESİ FEN FAKÜLTESİ MATEMATİK BÖLÜMÜ İ.Ö. 2014-2015 ÖĞRETİM YILI BAHAR YARIYILI BÜTÜNLEME PROGRAMI II. YARIYIL Soyut Matematik II Mat. 1. Grup Prof.Dr.A.FIRAT 22.06.2015 17:00-18:30 C 012, C 013 Scientific English II Mat. 1. Grup Yrd.Doç.Dr.N.BAŞ 23.06.2015 17:00-18:30 C 012, C 013 Analytic Geometry

Detaylı

HESSİEN MATRİS QUADRATİK FORM MUTLAK ve BÖLGESEL MAKS-MİN NOKTALAR

HESSİEN MATRİS QUADRATİK FORM MUTLAK ve BÖLGESEL MAKS-MİN NOKTALAR HESSİEN MATRİS QUADRATİK FORM MUTLAK ve BÖLGESEL MAKS-MİN NOKTALAR Kısıtlı ve kısıtsız fonksiyonlar için maksimum veya minimum (ekstremum) noktalarının belirlenmesinde diferansiyel hesabı kullanarak çeşitli

Detaylı

VERİ YAPILARI VE PROGRAMLAMA (BTP104)

VERİ YAPILARI VE PROGRAMLAMA (BTP104) VERİ YAPILARI VE PROGRAMLAMA (BTP104) Yazar: Doç.Dr. İ. Hakkı CEDİMOĞLU S1 SAKARYA ÜNİVERSİTESİ Adapazarı Meslek Yüksekokulu Bu ders içeriğinin basım, yayım ve satış hakları Sakarya Üniversitesi ne aittir.

Detaylı

EGE ÜNİVERSİTESİ FEN FAKÜLTESİ MATEMATİK BÖLÜMÜ İ.Ö. 2014-2015 ÖĞRETİM YILI BAHAR YARIYILI ARASINAV PROGRAMI

EGE ÜNİVERSİTESİ FEN FAKÜLTESİ MATEMATİK BÖLÜMÜ İ.Ö. 2014-2015 ÖĞRETİM YILI BAHAR YARIYILI ARASINAV PROGRAMI II. YARIYIL Soyut Matematik II Mat. 1. Grup Prof.Dr.A.FIRAT 06.04.2015 17:00-18:30 A 003, A 009, A 004 Scientific English II Mat. 1. Grup Yrd.Doç.Dr.N.BAŞ 10.04.2015 20:10-21:40 C 013, C 015, C 012 Analytic

Detaylı

Biçimsel Diller ve Özdevinirler (COMPE 326) Ders Detayları

Biçimsel Diller ve Özdevinirler (COMPE 326) Ders Detayları Biçimsel Diller ve Özdevinirler (COMPE 326) Ders Detayları Ders Adı Biçimsel Diller ve Özdevinirler Ders Kodu COMPE 326 Dönemi Ders Uygulama Saati Saati Laboratuar Kredi AKTS Saati Bahar 3 0 0 3 6.5 Ön

Detaylı

Dersi Alan Dersi Veren Dersin Optik Kod Dersin Adı Saat Öğr. Grubu Öğretim Üyesi Yeri

Dersi Alan Dersi Veren Dersin Optik Kod Dersin Adı Saat Öğr. Grubu Öğretim Üyesi Yeri T. C. E. Ü. FEN FAKÜLTESİ MATEMATİK BÖLÜMÜ 2015-2016 Öğretim Yılı Güz Dönemi Haftalık Ders Programı İkinci Öğretim A. Fakülte İçinde "BÖLÜMÜMÜZ" Öğrencilerine Verdiğimiz Dersler I. YARIYIL 1104001062003

Detaylı

BLM 4811 MESLEKİ TERMİNOLOJİ II Salı , D-109 Dr. Göksel Biricik

BLM 4811 MESLEKİ TERMİNOLOJİ II Salı , D-109 Dr. Göksel Biricik BLM 4811 MESLEKİ TERMİNOLOJİ II 2017-1 Salı 13.00 14.50, D-109 Dr. Göksel Biricik goksel@ce.yildiz.edu.tr Ders Planı Hafta Tarih Konu 1 19.09 Tanışma, Ders Planı, Kriterler, Giriş 2 26.09 Bilgisayarın

Detaylı

ÇEVRESEL(BÖLGESEL) SANAYİ KÜMELENMESİNDE DÜRTÜ MANTIĞI

ÇEVRESEL(BÖLGESEL) SANAYİ KÜMELENMESİNDE DÜRTÜ MANTIĞI 709 ÇEVRESEL(BÖLGESEL) SANAYİ KÜMELENMESİNDE DÜRTÜ MANTIĞI Fevzi ÜNLÜ *, Zeynep I. ÜNLÜ **, Esra DALAN *** ÖZET Sistemlerden oluşan sistem anlamında BTB (Bilgi Tabanlı Bilgi) nesneleri ve özellikleri kümeleme

Detaylı

ZEKA ATÖLYESİ AKIL OYUNLAR

ZEKA ATÖLYESİ AKIL OYUNLAR ZEKA ATÖLYESİ AKIL OYUNLAR Akıl Oyunları çocukların ve yetişkinlerin strateji geliştirme, planlama, mantık yürütmemantıksal bütünleme, görsel-uzamsal düşünme, yaratıcılık, dikkat - konsantrasyon, hafıza

Detaylı

... ROBOTİK VE KODLAMA EĞİTİMİ ÇERÇEVESİNDE ÖĞRETİM YILI BİLİŞİM TEKNOLOJİLERİ DERSİ ÜNİTELENDİRİLMİŞ YILLIK DERS PLANI

... ROBOTİK VE KODLAMA EĞİTİMİ ÇERÇEVESİNDE ÖĞRETİM YILI BİLİŞİM TEKNOLOJİLERİ DERSİ ÜNİTELENDİRİLMİŞ YILLIK DERS PLANI ... ROBOTİK VE KODLAMA EĞİTİMİ ÇERÇEVESİNDE 2018 2019 ÖĞRETİM YILI BİLİŞİM TEKNOLOJİLERİ DERSİ ÜNİTELENDİRİLMİŞ YILLIK DERS PLANI Hazırlayan : Özel Öğretim Kurumları Birliği (ÖZKURBİR) Dersin Adı : Bilişim

Detaylı

Ders Adı : Nesne Tabanlı Programlama-I Ders No : Teorik : 3 Pratik : 1 Kredi : 3.5 ECTS : 4. Ders Bilgileri.

Ders Adı : Nesne Tabanlı Programlama-I Ders No : Teorik : 3 Pratik : 1 Kredi : 3.5 ECTS : 4. Ders Bilgileri. Image not found http://bologna.konya.edu.tr/panel/images/pdflogo.png Ders Adı : Nesne Tabanlı Programlama-I Ders No : 0690130114 Teorik : 3 Pratik : 1 Kredi : 3.5 ECTS : 4 Ders Bilgileri Ders Türü Öğretim

Detaylı

Java Temel Özellikleri

Java Temel Özellikleri Java Temel Özellikleri Java Programlama Dili Java programlama dili şu anda dünyadaki en popüler programlama dillerinden biri haline gelmiştir. Java SUN bilgisayar şirketince elektrikli ev aletlerinin birbiriyle

Detaylı

Lineer Dönüşümler ÜNİTE. Amaçlar. İçindekiler. Yazar Öğr. Grv.Dr. Nevin ORHUN

Lineer Dönüşümler ÜNİTE. Amaçlar. İçindekiler. Yazar Öğr. Grv.Dr. Nevin ORHUN Lineer Dönüşümler Yazar Öğr. Grv.Dr. Nevin ORHUN ÜNİTE 7 Amaçlar Bu üniteyi çalıştıktan sonra; Vektör uzayları arasında tanımlanan belli fonksiyonları tanıyacak, özelliklerini öğrenecek, Bir dönüşümün,

Detaylı

MATEMATİK BÖLÜMÜ BÖLÜM KODU:3201

MATEMATİK BÖLÜMÜ BÖLÜM KODU:3201 BÖLÜM KODU:01 011-01 01.Yarıyıl Dersleri 0.Yarıyıl Dersleri MTK 101 Analiz I Analysis I 4 1 5 6 MTK 10 Analiz II Analysis II 4 1 5 6 MTK 11 Lineer Cebir I Linear Algebra I 1 4 MTK 1 Lineer Cebir II Linear

Detaylı

YZM 5257 YAPAY ZEKA VE UZMAN SİSTEMLER DERS#6: GENETİK ALGORİTMALAR

YZM 5257 YAPAY ZEKA VE UZMAN SİSTEMLER DERS#6: GENETİK ALGORİTMALAR YZM 5257 YAPAY ZEKA VE UZMAN SİSTEMLER DERS#6: GENETİK ALGORİTMALAR Sınıflandırma Yöntemleri: Karar Ağaçları (Decision Trees) Örnek Tabanlı Yöntemler (Instance Based Methods): k en yakın komşu (k nearest

Detaylı

Temel Mantık ve Cebir (MATH 111) Ders Detayları

Temel Mantık ve Cebir (MATH 111) Ders Detayları Temel Mantık ve Cebir (MATH 111) Ders Detayları Ders Adı Ders Kodu Dönemi Ders Saati Uygulama Saati Laboratuar Saati Kredi AKTS Temel Mantık ve Cebir MATH 111 Güz 3 0 0 3 6.5 Ön Koşul Ders(ler)i Yok Dersin

Detaylı

Yrd. Doç. Dr. Caner ÖZCAN

Yrd. Doç. Dr. Caner ÖZCAN Yrd. Doç. Dr. Caner ÖZCAN Derse Giriş Ders Web Sitesi: www.canerozcan.net Ofis Saatleri: Salı 11:00-13:00 Perşembe 15:30-17:30 ya da email ile randevu alınız: canerozcan@karabuk.edu.tr Kaynak Kitaplar:

Detaylı

EĞİTİM-ÖĞRETİM YILI MÜHENDİSLİK FAKÜLTESİ BİLGİSAYAR MÜHENDİSLİĞİ (İNGİLİZCE) BÖLÜMÜ DERS PROGRAMINDA YAPILAN DEĞİŞİKLİKLER

EĞİTİM-ÖĞRETİM YILI MÜHENDİSLİK FAKÜLTESİ BİLGİSAYAR MÜHENDİSLİĞİ (İNGİLİZCE) BÖLÜMÜ DERS PROGRAMINDA YAPILAN DEĞİŞİKLİKLER BİRİNCİ SINIF GÜZ YARIYILI 2015-2016 EĞİTİM-ÖĞRETİM YILI MÜHENDİSLİK FAKÜLTESİ BİLGİSAYAR MÜHENDİSLİĞİ (İNGİLİZCE) BÖLÜMÜ DERS PROGRAMINDA YAPILAN DEĞİŞİKLİKLER DEĞİŞİKLİK FORMU COM101 BİLGİSAYAR PROGRAMLAMA

Detaylı

VERİ TABANI YÖNETİM SİSTEMLERİ

VERİ TABANI YÖNETİM SİSTEMLERİ VERİ TABANI YÖNETİM SİSTEMLERİ Veri Tabanı Nedir? Sistematik erişim imkânı olan, yönetilebilir, güncellenebilir, taşınabilir, birbirleri arasında tanımlı ilişkiler bulunabilen bilgiler kümesidir. Bir kuruluşa

Detaylı

Ders 10: Düzlemde cebirsel eğriler

Ders 10: Düzlemde cebirsel eğriler Ders 10: Düzlemde cebirsel eğriler İzdüşümsel geometride bir doğruyu derecesi 1 olan homojen bir polinomun sıfırları kümesi olarak tarif ettik. Bir kuadrik, derecesi 2 olan homojen bir polinomla anlatılıyordu

Detaylı

BİLİŞİM SİSTEMLERİNİN PRENSİPLERİ

BİLİŞİM SİSTEMLERİNİN PRENSİPLERİ BİLİŞİM SİSTEMLERİNİN PRENSİPLERİ Derleyen: Prof. Dr. Güngör BAL Bölüm 09 Bilişim ve Karar Destek Sistemleri Prensipler ve Öğrenme Hedefleri İyi karar-verme ve problem çözme yetenekleri etkin bilişim ve

Detaylı

KONU 4: DOĞRUSAL PROGRAMLAMA MODELİ İÇİN ÇÖZÜM YÖNTEMLERİ I

KONU 4: DOĞRUSAL PROGRAMLAMA MODELİ İÇİN ÇÖZÜM YÖNTEMLERİ I KONU 4: DOĞRUSAL PROGRAMLAMA MODELİ İÇİN ÇÖZÜM YÖNTEMLERİ I 4.1. Dışbükeylik ve Uç Nokta Bir d.p.p. de model kısıtlarını aynı anda sağlayan X X X karar değişkenleri... n vektörüne çözüm denir. Eğer bu

Detaylı

Bilgisayar Programlama MATLAB

Bilgisayar Programlama MATLAB What is a computer??? Bilgisayar Programlama MATLAB Prof. Dr. İrfan KAYMAZ What Konular is a computer??? MATLAB ortamının tanıtımı Matlab sistemi (ara yüzey tanıtımı) a) Geliştirme ortamı b) Komut penceresi

Detaylı

Algoritma Geliştirme ve Veri Yapıları 2 Veri Modelleri. Mustafa Kemal Üniversitesi

Algoritma Geliştirme ve Veri Yapıları 2 Veri Modelleri. Mustafa Kemal Üniversitesi Algoritma Geliştirme ve Veri Yapıları 2 Veri Modelleri Veri modelleri, veriler arasında ilişkisel ve sırasal düzeni gösteren kavramsal tanımlardır. Her program en azından bir veri modeline dayanır. Uygun

Detaylı

MÜFREDAT DERS LİSTESİ

MÜFREDAT DERS LİSTESİ MÜFREDAT DERS LİSTESİ MÜHENDİSLİK FAK. / BİLGİSAYAR MÜHENDİSL / 2010 BİLGİSAYAR MÜHENDİSLİĞİ Müfredatı 0504101 Matematik I Calculus I 1 GÜZ 4 5 Z 0504102 Genel Fizik I General Physics I 1 GÜZ 4 4 Z 0504103

Detaylı

Prototipleme Lab I Workshoplar

Prototipleme Lab I Workshoplar Prototipleme Lab I Workshoplar İçindekiler Dijital 3B Dijital Modelleme Eğitimi Arduino Kodlama Eğitimi Hacking Toys Sanal Gerçeklik (VR) Eğitimi Fiziksel 3B Yazıcı ve 3B Basım Eğitimi CNC İşleme Eğitimi

Detaylı

Tanım Bir X kümesi üzerinde bir karakter dizgisi (string) X kümesindeki. boş karakter dizgisi (null string) denir ve l ile gösterilir.

Tanım Bir X kümesi üzerinde bir karakter dizgisi (string) X kümesindeki. boş karakter dizgisi (null string) denir ve l ile gösterilir. BÖLÜM 3 Karakter Dizgileriil i Tanım 3.1.1 Bir X kümesi üzerinde bir karakter dizgisi (string) X kümesindeki öğelerden oluşan bir sonlu dizidir. Hiç bir öğesi olmayan bir karakter dizgisine boş karakter

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ı

Tarih Saat Modül Adı Öğretim Üyesi. 01/05/2018 Salı 3 Bilgisayar Bilimlerine Giriş Doç. Dr. Hacer Karacan

Tarih Saat Modül Adı Öğretim Üyesi. 01/05/2018 Salı 3 Bilgisayar Bilimlerine Giriş Doç. Dr. Hacer Karacan BİLGİ TEKNOLOJİLERİ YÖNETİMİ EĞİTİM MODÜLLERİ Tarih Saat Modül Adı Öğretim Üyesi 01/05/2018 Salı Bilgisayar Bilimlerine Giriş Doç. Dr. Hacer Karacan Bu dersin amacı, bilgisayar bilimlerinin temel kavramlarını

Detaylı

FORMEL DİLLER VE SOYUT MAKİNALAR. Hafta 2

FORMEL DİLLER VE SOYUT MAKİNALAR. Hafta 2 FORMEL DİLLER VE SOYUT MAKİNALAR Hafta 2 OTOMATA TEORİSİ Otomata teorisi (özdevinim kuramı ya da otomat teorisi), teorik bilgisayar biliminde soyut makineleri (ya da daha uygun bir deyimle soyut 'matematiksel'

Detaylı

8. HOMOMORFİZMALAR VE İZOMORFİZMALAR

8. HOMOMORFİZMALAR VE İZOMORFİZMALAR 8. HOMOMORFİZMALAR VE İZOMORFİZMALAR Şimdiye kadar bir gruptan diğer bir gruba tanımlı olan fonksiyonlarla ilgilenmedik. Bu bölüme aşağıdaki tanımla başlayalım. Tanım 8.1: ve iki grup ve f : G H bir fonksiyon

Detaylı

VEKTÖR UZAYLARI 1.GİRİŞ

VEKTÖR UZAYLARI 1.GİRİŞ 1.GİRİŞ Bu bölüm lineer cebirin temelindeki cebirsel yapıya, sonlu boyutlu vektör uzayına giriş yapmaktadır. Bir vektör uzayının tanımı, elemanları skalar olarak adlandırılan herhangi bir cisim içerir.

Detaylı

1. Metrik Uzaylar ve Topolojisi

1. Metrik Uzaylar ve Topolojisi 1. Metrik Uzaylar ve Topolojisi Euclidean R uzayının tabanının B = {(a, b) : a, b R} olduğunu biliyoruz. Demek ki bu uzayda belirleyiçi unsur açık aralıklar. Her açık aralık (a, b) için, olmak üzere, d

Detaylı

Programlama Nedir? Bir bilgisayar bilimcisi gibi düşünmek ve programlama ne demektir?

Programlama Nedir? Bir bilgisayar bilimcisi gibi düşünmek ve programlama ne demektir? 2.1.1. PROGRAMLAMA NEDIR? Programlama Nedir? Bir bilgisayar bilimcisi gibi düşünmek ve programlama ne demektir? Bu düşünme şekli matematiğin, mühendisliğin ve doğa bilimlerinin bazı özelliklerini birleştirmektedir.

Detaylı

Uygulamalı Yapay Zeka. Dr. Uğur YÜZGEÇ Ders 2: Prolog Giriş

Uygulamalı Yapay Zeka. Dr. Uğur YÜZGEÇ Ders 2: Prolog Giriş Uygulamalı Yapay Zeka Dr. Uğur YÜZGEÇ Ders 2: Prolog Giriş Prolog Yazılımı Bedava Prolog yorumlayıcıları var Linux, Windows, Mac OS Çok fazla sayıda Prolog yazılımı indirmek mümkün Bunlardan birkaçı SWI

Detaylı

Bilkent Üniversitesi Bilgisayar Mühendisliği Bölümü. Bilgisayar Mühendisliği

Bilkent Üniversitesi Bilgisayar Mühendisliği Bölümü. Bilgisayar Mühendisliği Bilkent Üniversitesi Bilgisayar Mühendisliği Bölümü Bilgisayar Mühendisliği Bilgisayar Mühendisliği Günümüzde, finans, tıp, sanat, güvenlik, enerji gibi bir çok sektör, bilgisayar mühendisliğindeki gelişimlerden

Detaylı

T. C. E. Ü. FEN FAKÜLTESİ MATEMATİK BÖLÜMÜ. 2014-2015 Öğretim Yılı Bahar Dönemi Haftalık Ders Programı İkinci Öğretim

T. C. E. Ü. FEN FAKÜLTESİ MATEMATİK BÖLÜMÜ. 2014-2015 Öğretim Yılı Bahar Dönemi Haftalık Ders Programı İkinci Öğretim E. Ü. FEN FAKÜLTESİ MATEMATİK BÖLÜMÜ 2014-2015 Öğretim Yılı Bahar Dönemi Haftalık Ders Programı İkinci Öğretim A. Fakülte İçinde "BÖLÜMÜMÜZ" Öğrencilerine Verdiğimiz Dersler 1104001062003 Soyut Matematik

Detaylı

Fundamentals of Object-Oriented Programming (COMPE 723) Ders Detayları

Fundamentals of Object-Oriented Programming (COMPE 723) Ders Detayları Fundamentals of Object-Oriented Programming (COMPE 723) Ders Detayları Ders Adı Ders Kodu Dönemi Ders Saati Uygulama Saati Laboratuar Kredi AKTS Saati Fundamentals of Object-Oriented Programming COMPE

Detaylı

YÖNEYLEM ARAŞTIRMASI - III

YÖNEYLEM ARAŞTIRMASI - III YÖNEYLEM ARAŞTIRMASI - III Prof. Dr. Cemalettin KUBAT Yrd. Doç. Dr. Özer UYGUN İçerik Bu bölümde eşitsizlik kısıtlarına bağlı bir doğrusal olmayan kısıta sahip problemin belirlenen stasyoner noktaları

Detaylı

Akdeniz Üniversitesi Mühendislik Fakültesi Bilgisayar Mühendisliği Bölüm Tanıtımı

Akdeniz Üniversitesi Mühendislik Fakültesi Bilgisayar Mühendisliği Bölüm Tanıtımı Akdeniz Üniversitesi Mühendislik Fakültesi Bilgisayar Mühendisliği Bölüm Tanıtımı cse@akdeniz.edu.tr Antalya, 2015 2 Özet Akdeniz Üniversitesi tanıtım filmi Neden Bilgisayar Mühendisliği Bilgisayar Mühendisi

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ı

T.C. ERCİYES ÜNİVERSİTESİ MÜHENDİSLİK FAKÜLTESİ BİLGİSAYAR MÜHENDİSLİĞİ BÖLÜMÜ EĞİTİM ÖĞRETİM YILI DERS KATALOĞU

T.C. ERCİYES ÜNİVERSİTESİ MÜHENDİSLİK FAKÜLTESİ BİLGİSAYAR MÜHENDİSLİĞİ BÖLÜMÜ EĞİTİM ÖĞRETİM YILI DERS KATALOĞU T.C. ERCİYES ÜNİVERSİTESİ MÜHENDİSLİK FAKÜLTESİ BİLGİSAYAR MÜHENDİSLİĞİ BÖLÜMÜ - EĞİTİM ÖĞRETİM YILI DERS KATALOĞU Ders Kodu Bim Kodu Ders Adı Türkçe Ders Adı İngilizce Dersin Dönemi T Snf Açıl.Dönem P

Detaylı

T.C. MARDİN ARTUKLU ÜNİVERSİTESİ MİDYAT MESLEK YÜKSEKOKULU BİLGİSAYAR PROGRAMCILIĞI (UZAKTAN ÖĞRETİM) ÖNLİSANS PROGRAMI Eğitim Öğretim Yılı

T.C. MARDİN ARTUKLU ÜNİVERSİTESİ MİDYAT MESLEK YÜKSEKOKULU BİLGİSAYAR PROGRAMCILIĞI (UZAKTAN ÖĞRETİM) ÖNLİSANS PROGRAMI Eğitim Öğretim Yılı T.C. MARDİN ARTUKLU ÜNİVERSİTESİ MİDYAT MESLEK YÜKSEKOKULU BİLGİSAYAR PROGRAMCILIĞI (UZAKTAN ÖĞRETİM) ÖNLİSANS PROGRAMI 2017-2018 Eğitim Öğretim Yılı ALGORİTMA VE PROGRAMLAMAYA GİRİŞ BPU101 5 AKTS 1. yıl/1.yarıyıl

Detaylı

Genel Matematik (MATH 103) Ders Detayları

Genel Matematik (MATH 103) Ders Detayları Genel Matematik (MATH 103) Ders Detayları Ders Adı Ders Kodu Dönemi Ders Saati Uygulama Saati Laboratuar Saati Kredi AKTS Genel Matematik MATH 103 Güz 3 2 0 4 6 Ön Koşul Ders(ler)i - Dersin Dili Dersin

Detaylı

BİÇİMSEL YÖNTEMLER (FORMAL METHODS) Betül AKTAŞ Suna AKMELEZ

BİÇİMSEL YÖNTEMLER (FORMAL METHODS) Betül AKTAŞ Suna AKMELEZ BİÇİMSEL YÖNTEMLER (FORMAL METHODS) Betül AKTAŞ 14011021 Suna AKMELEZ 14011050 Biçimsel Yöntemler Nedir? Nerede Kullanılır? Biçimsel Tasarım Biçimsel Yöntemlerin Yararları Biçimsel Yöntemlerin Zayıf Yönleri

Detaylı

T. C. E. Ü. FEN FAKÜLTESİ MATEMATİK BÖLÜMÜ. 2015-2016 Öğretim Yılı Güz Dönemi Haftalık Ders Programı

T. C. E. Ü. FEN FAKÜLTESİ MATEMATİK BÖLÜMÜ. 2015-2016 Öğretim Yılı Güz Dönemi Haftalık Ders Programı T. C. E. Ü. FEN FAKÜLTESİ MATEMATİK BÖLÜMÜ 2015-2016 Öğretim Yılı Güz Dönemi Haftalık Ders Programı A. Fakülte İçinde "BÖLÜMÜMÜZ" Öğrencilerine Verdiğimiz Dersler I. YARIYIL 405001072003 Soyut Matematik

Detaylı

ALGORİTMA VE PROGRAMLAMA II

ALGORİTMA VE PROGRAMLAMA II ALGORİTMA VE PROGRAMLAMA II Yrd. Doç. Dr. Deniz KILINÇ deniz.kilinc@cbu.edu.tr YZM 1102 Celal Bayar Üniversitesi Hasan Ferdi Turgutlu Teknoloji Fakültesi Genel Bakış 2 Yapılar ve Birlikler enum Deyimi

Detaylı

Akdeniz Üniversitesi Mühendislik Fakültesi Bilgisayar Mühendisliği Bölüm Tanıtımı

Akdeniz Üniversitesi Mühendislik Fakültesi Bilgisayar Mühendisliği Bölüm Tanıtımı Akdeniz Üniversitesi Mühendislik Fakültesi Bilgisayar Mühendisliği Bölüm Tanıtımı cse@akdeniz.edu.tr Antalya, 2017 2 Özet Akdeniz Üniversitesi tanıtım filmi Neden Bilgisayar Mühendisliği Bilgisayar Mühendisi

Detaylı

KARAKTER DİZGİLERİ, BAĞINTILAR, FONKSİYONLAR KESİKLİ MATEMATİKSEL YAPILAR

KARAKTER DİZGİLERİ, BAĞINTILAR, FONKSİYONLAR KESİKLİ MATEMATİKSEL YAPILAR KARAKTER DİZGİLERİ, BAĞINTILAR, FONKSİYONLAR KESİKLİ MATEMATİKSEL YAPILAR 2012-2013 Karakter Dizgisi Karakter Dizgisi Üzerine İşlemler Altdizgi Tanım 3.1.1: Bir X kümesi üzerinde bir karakter dizgisi (string)

Detaylı

YÖNEYLEM ARAŞTIRMASI - III

YÖNEYLEM ARAŞTIRMASI - III YÖNEYLEM ARAŞTIRMASI - III Prof. Dr. Cemalettin KUBAT Yrd. Doç. Dr. Özer UYGUN İçerik Quadratic Programming Bir karesel programlama modeli aşağıdaki gibi tanımlanır. Amaç fonksiyonu: Maks.(veya Min.) z

Detaylı

Genel Matematik (MATH 103) Ders Detayları

Genel Matematik (MATH 103) Ders Detayları Genel Matematik (MATH 103) Ders Detayları Ders Adı Ders Kodu Dönemi Ders Saati Uygulama Saati Laboratuar Saati Kredi AKTS Genel Matematik MATH 103 Güz 3 2 0 4 6 Ön Koşul Ders(ler)i - Dersin Dili Dersin

Detaylı

Olasılık Kuramı ve İstatistik. Konular Olasılık teorisi ile ilgili temel kavramlar Küme işlemleri Olasılık Aksiyomları

Olasılık Kuramı ve İstatistik. Konular Olasılık teorisi ile ilgili temel kavramlar Küme işlemleri Olasılık Aksiyomları Olasılık Kuramı ve İstatistik Konular Olasılık teorisi ile ilgili temel kavramlar Küme işlemleri Olasılık Aksiyomları OLASILIK Olasılık teorisi, raslantı ya da kesin olmayan olaylarla ilgilenir. Raslantı

Detaylı

Otomata Teorisi (BIL 2114)

Otomata Teorisi (BIL 2114) Otomata Teorisi (BIL 2114) Hafta 1: Amaç ve Genel Kavramlar bas kapa aç bas 1 Hafta 1 Plan 1. İletişim ve Ders Bilgisi 2. Otomata Teorisi Genel Bakış 3. Hedeflenen Kazanımlar 4. Matematiksel Nosyonlar

Detaylı

Bilgisayar Mühendisliği. Bilgisayar Mühendisliğine Giriş 1

Bilgisayar Mühendisliği. Bilgisayar Mühendisliğine Giriş 1 Bilgisayar Mühendisliği Bilgisayar Mühendisliğine Giriş 1 Mühendislik Nedir? Mühendislik, bilim ve matematiğin yararlı cihaz ve sistemlerin üretimine uygulanmasıdır. Örn: Elektrik mühendisleri, elektronik

Detaylı

MATEMATİK BİLİM GRUBU III KURS PROGRAMI

MATEMATİK BİLİM GRUBU III KURS PROGRAMI MATEMATİK BİLİM GRUBU III KURS PROGRAMI 1.Kurumun Adı 2.Kurumun adresi 3.Kurucunun Adı 4.Programın Adı : OĞUZHAN ÖZKAYA ÖZEL ÖĞRETİM KURSU : Onur Mahallesi Leylak Sok.No:9 Balçova-İzmir : Oğuzhan Özkaya

Detaylı

1.3. Normal Uzaylar. Bu bölümde; regülerlikten daha kuvvetli bir ay rma aksiyomu tan mlanarak. baz temel özellikleri incelenecektir.

1.3. Normal Uzaylar. Bu bölümde; regülerlikten daha kuvvetli bir ay rma aksiyomu tan mlanarak. baz temel özellikleri incelenecektir. 1.3. Normal Uzaylar Bu bölümde; regülerlikten daha kuvvetli bir ay rma aksiyomu tan mlanarak baz temel özellikleri incelenecektir. Tan m 1.3.1. (X; ) bir Hausdor uzay olsun. E¼ger, 8F; K 2 F; F \ K = ;

Detaylı

AVRASYA UNIVERSITY. Dersin Verildiği Düzey Ön Lisans (X ) Lisans ( ) Yüksek Lisans( ) Doktora( )

AVRASYA UNIVERSITY. Dersin Verildiği Düzey Ön Lisans (X ) Lisans ( ) Yüksek Lisans( ) Doktora( ) Ders Tanıtım Formu Dersin Adı Öğretim Dili ALGORİTMA VE PROGRAMLAMAYA GİRİŞ Türkçe Dersin Verildiği Düzey Ön Lisans (X ) Lisans ( ) Yüksek Lisans( ) Doktora( ) Eğitim Öğretim Sistemi Örgün Öğretim (X )

Detaylı

TEMEL BİLGİSAYAR BİLİMLERİ. Programcılık, problem çözme ve algoritma oluşturma

TEMEL BİLGİSAYAR BİLİMLERİ. Programcılık, problem çözme ve algoritma oluşturma TEMEL BİLGİSAYAR BİLİMLERİ Programcılık, problem çözme ve algoritma oluşturma Programcılık, program çözme ve algoritma Program: Bilgisayara bir işlemi yaptırmak için yazılan komutlar dizisinin bütünü veya

Detaylı

Ders Adı Kodu Yarıyılı T+U Saati Ulusal Kredisi AKTS

Ders Adı Kodu Yarıyılı T+U Saati Ulusal Kredisi AKTS DERS BİLGİLERİ Ders Adı Kodu Yarıyılı T+U Saati Ulusal Kredisi AKTS Otoma Teorisi Ve Biçimsel Diller BIL445 7 3+0 3 4 Ön Koşul Dersleri Yok Dersin Dili Dersin Seviyesi Dersin Türü Türkçe Lisans Zorunlu

Detaylı

Bil101 Bilgisayar Yazılımı I. M. Erdem ÇORAPÇIOĞLU Bilgisayar Yüksek Mühendisi

Bil101 Bilgisayar Yazılımı I. M. Erdem ÇORAPÇIOĞLU Bilgisayar Yüksek Mühendisi Bil101 Bilgisayar Yazılımı I Bilgisayar Yüksek Mühendisi Yazılım, değişik ve çeşitli görevler yapma amaçlı tasarlanmış elektronik araçların birbirleriyle haberleşebilmesini ve uyumunu sağlayarak görevlerini

Detaylı

sonlu altörtüsü varsa bu topolojik uzaya tıkız diyoruz.

sonlu altörtüsü varsa bu topolojik uzaya tıkız diyoruz. Ders 1: Önbilgiler Bu derste türev fonksiyonunun geometrik anlamını tartışıp, yalnız R n nin bir açık altkümesinde değil, daha genel uzaylarda tanımlı bir fonksiyonun türevi ve özel noktalarının nasıl

Detaylı

Otomata Teorisi (BİL 2114)

Otomata Teorisi (BİL 2114) Otomata Teorisi (BİL 2114) Fırat İsmailoğlu Hafta 4: Düzenli İfadeler (I. Bölüm) 1 Hafta 4 Plan 1. Düzenli Diller 2. Düzenli Operatörler 3. Düzenli İfade Örnekleri i. R den L ye ii. L den R ye 4. Online

Detaylı

Fatih University- Faculty of Engineering- Electric and Electronic Dept.

Fatih University- Faculty of Engineering- Electric and Electronic Dept. Dijital Devre Tasarımı EEE122 A Ref. Morris MANO & Michael D. CILETTI DIGITAL DESIGN 4 th edition Fatih University- Faculty of Engineering- Electric and Electronic Dept. 2. BÖLÜM Boole Cebri ve Mantık

Detaylı

Dağıtık Sistemler CS5001

Dağıtık Sistemler CS5001 Dağıtık Sistemler CS5001 Th. Letschert Çeviri: Turgay Akbaş TH Mittelhessen Gießen University of Applied Sciences Biçimsel model nedir Biçimsel model matematiksel olarak tanımlanmış olan bir modeldir.

Detaylı

SU KALITE SİSTEMİ. Türkiye Halk Sağlığı Kurumu

SU KALITE SİSTEMİ. Türkiye Halk Sağlığı Kurumu Türkiye Halk Sağlığı Kurumu Başarsoft Su Kalite Bilgi Dokumanı 10.10.2013 İçindekiler 1. SU KALITE SİSTEMİ... 2 1.1 Sistemin Genel Amaçları:... 3 1.2 Kullanılan Bileşen ve Teknolojiler:... 4 2. UYGULAMALARA

Detaylı

MIT Açık Ders Malzemeleri Bu materyallerden alıntı yapmak veya Kullanım Koşulları hakkında bilgi almak için

MIT Açık Ders Malzemeleri   Bu materyallerden alıntı yapmak veya Kullanım Koşulları hakkında bilgi almak için MIT Açık Ders Malzemeleri http://ocw.mit.edu Bu materyallerden alıntı yapmak veya Kullanım Koşulları hakkında bilgi almak için http://ocw.mit.edu/terms veya http://www.acikders.org.tr adresini ziyaret

Detaylı

PROGRAMLAMAYA GİRİŞ FONKSİYONLAR

PROGRAMLAMAYA GİRİŞ FONKSİYONLAR PROGRAMLAMAYA GİRİŞ FONKSİYONLAR Fonksiyonlar C programlama dili fonksiyon olarak adlandırılan alt programların birleştirilmesi kavramına dayanır. Bir C programı bir ya da daha çok fonksiyonun bir araya

Detaylı

Zeki Optimizasyon Teknikleri

Zeki Optimizasyon Teknikleri Zeki Optimizasyon Teknikleri Ara sınav - 25% Ödev (Haftalık) - 10% Ödev Sunumu (Haftalık) - 5% Final (Proje Sunumu) - 60% - Dönem sonuna kadar bir optimizasyon tekniğiyle uygulama geliştirilecek (Örn:

Detaylı

ÖZEL ÖĞRETİM KURSU MATEMATİK-III ÇERÇEVE PROGRAMI. : Kesikkapı Mah. Atatürk Cad. No 79 Fethiye /MUĞLA

ÖZEL ÖĞRETİM KURSU MATEMATİK-III ÇERÇEVE PROGRAMI. : Kesikkapı Mah. Atatürk Cad. No 79 Fethiye /MUĞLA ÖZEL ÖĞRETİM KURSU MATEMATİK-III ÇERÇEVE PROGRAMI 1.KURUMUN ADI 2.KURUMUN ADRESİ 3.KURUCUNUN ADI :Tercih Özel Öğretim Kursu : Kesikkapı Mah. Atatürk Cad. No 79 Fethiye /MUĞLA : ARTI ÖZEL EĞİTİM ÖĞRETİM

Detaylı

Elbistan Meslek Yüksek Okulu Güz Yarıyılı

Elbistan Meslek Yüksek Okulu Güz Yarıyılı HAFTA IV Elbistan Meslek Yüksek Okulu 2016 2017 Güz Yarıyılı Open System Interconnection (OSI) OSI modeli sıradüzensel 7 katmandan oluşur. OSI modeli hala geliştirilmekte olmasına rağmen satıcılar ve standart

Detaylı

Bilgisayar Mühendisliği Doktora Yeterlilik Yazılı Sınavı İçeriği

Bilgisayar Mühendisliği Doktora Yeterlilik Yazılı Sınavı İçeriği Bilgisayar Mühendisliği Doktora Yeterlilik Yazılı Sınavı İçeriği 1 Zorunlu Alan Dersleri Aşağıda listelenen her ders (İşletim Sistemleri ve Bilgisayar Ağları ile Sayısal Tasarım ve Bilgisayar Mimarisi

Detaylı

13.Konu Reel sayılar

13.Konu Reel sayılar 13.Konu Reel sayılar 1. Temel dizi 2. Temel dizilerde toplama ve çarpma 3. Reel sayılar kümesi 4. Reel sayılar kümesinde toplama ve çarpma 5. Reel sayılar kümesinde sıralama 6. Reel sayılar kümesinin tamlık

Detaylı

Günümüz bilgi toplumunda bilgisayar, her alanda kendine yer edinmiş ve insana, bir çok işlemde yardımcı olarak büyük kolaylık sağlamaktadır.

Günümüz bilgi toplumunda bilgisayar, her alanda kendine yer edinmiş ve insana, bir çok işlemde yardımcı olarak büyük kolaylık sağlamaktadır. I. GİRİŞ Günümüz bilgi toplumunda bilgisayar, her alanda kendine yer edinmiş ve insana, bir çok işlemde yardımcı olarak büyük kolaylık sağlamaktadır. İnsanların elle yaptığı ve yapmakta olduğu bir çok

Detaylı