Thinking About Computing

İstanbul Bilgi Üniversitesi Bilgisayar Bilimleri Bölümü efsanevi İngiliz matematikçi, mantıkçı, şifre uzmanı (Almanların II. Dünya Savaşı esnasında kullandıkları ENIGMA şifresinin çözümünde aktif rol almış ve bir makina geliştirmişti bu iş için), günümüzdeki bilgi işlem modelinin ve yapay zekâ çalışmalarının öncülerinden Alan Turing'in anısına 4-5 Mayıs tarihlerinde Turing Haftasonu ve seminerler dizisi düzenliyor.

Bilgisayar bilimleri konusunda önemli isimlerin katılacağı etkinlikte bilgi işlem teorisi (computing theory) tartışılacak ve son geliştirilen modellerden örnekler verilecek. Başlıca yabancı konuşmacılar: Bruno Poizat, Andrew Hodges, Carlos Martin Vide ve Alexei Stolboushkin.

Haftasonu haricinde bir de meşhur Fransız mantıkçı Bruno Poizat tarafından 1-2-3 ve 6 Mayıs tarihlerinde "How to Compute?" başlıklı bir seminer dizisi verilecek.

Katılım, içerik ve ulaşımla ilgili detayları Bilgisayar Bilimleri Bölümünden öğrenebilirsiniz. Dilerim bu etkinlik hak ettiği ilgiyi görür ve verimli geçer. İstanbul Bilgi Üniversitesi'ne ve Bilgisayar Bilimleri Bölümü'ne bu etkinlikten ötürü teşekkürlerimi sunmak istiyor ve bu tip etkinliklerin hızla artarak devamını diliyorum.

Görüşler

FZ
yaklaşık 23 yıl önce

Söz konusu haftasonu etkinliğine katılmak için bir kayıt formu doldurmak gerekiyor (etkinlik ücretsiz ama Internet üzerinden kayıt yaptırmanızı tavsiye ediyorlar). Ancak kayıt formu ile ilgili komik bir durum var, Mesleğiniz/Göreviniz alanında şu tip seçenekler mevcut:

Broker (borsa ve yapay zekâ, hmm olabilir tabii)
Çiftçi (bitkiler ve mantık teoremleri!)
Diş hekimi (Locus Solus'ta çürük dişlerle yapılan bir tablo aklıma geldi)
Emniyet mensubu (ne olur ne olmaz, toplu etkinlik bu! ;-)
Ev hanımı (acaba şu Fransız hoca yakışıklı mıdır?)
İşsiz (çok vaktim var bi bakalım şu Alan Turing kimmiş? [Turing ile ilgili bir film gösterimi var da])
Parlamento üyesi (TBMM TV'yi izleyen var mı?)
Sporcu (rahmetli Turing de atletizmle ilgilenirdi)
Vasıfsız işçi (DUMURRRR :)
Veteriner (Nasıl yani?)

Görüş belirtmek için giriş yapın...

İlgili Yazılar

ÖSSden Çıkıp Bilgisayar Bilimlerine Gelin: Test Sürüşüne Bekliyoruz

FZ
16 Haziran 2009, 1 dakika okuma süresi

ÖSS bitti, sırada üniversite ve bölüm seçme telaşı var. Doğru kararı vermek için pek çok etkeni göz önünde bulundurmak gerekli. Gelecekteki kariyerini bilgisayar bilimleri üzerine kurmayı düşünen gençlerimizi 22 Temmuz Çarşamba günü test sürüşüne bekliyoruz. Bilgisayar bilimlerinin büyüleyici dünyasında kısa bir yolculuğa çıkmaya ve maceraya hazır mısınız?

Kayıt yaptırmak için http://cs.bilgi.edu.tr

YouTube HD kalitesi ile izlemek için: http://www.youtube.com/watch?v=8vNcJ4sg2v8

FreeBSD ile Tanışmanın Kolay Yolu: PC-BSD

anonim
30 Nisan 2005, 1 dakika okuma süresi

PC-BSD yeni BSD dağıtımı ve FreeBSD'yi örnek alarak oluşturulmuş bir dağıtımdır.

PC-BSD bir Live CD'le gelen ve CD'sinde Red Hat'ın Anaconda'sına benzer bir installer ile size FreeBSD'yi kolay ve hızlı bir sekilde kurmanıza ve ayarlamanıza yardımcı oluyor.
FreeBSD ile tanışmanın daha kolay bir yolu var artık. Diskimiz de yer mi açsak acaba ?

Ayrıntılı bilgi için

Dağıtımın resmi adresi
PC-BSD'nin son versiyonunu indirmek için

İstanbul'da Dünya Mahkemesi: Bush ve Blair Mahkemeye Çağrıldı

FZ
23 Haziran 2005, 1 dakika okuma süresi

İstanbul'da ABD Konsolosluk yetkilisi Irak Dünya Mahkemesi Heyetinin ABD Başkanı Bush'u mahkemeye gelip iddiaları yanıtlamaya çağıran mektubunu kabul etti. Tony Blair'in davetiyesi ise mektupla gönderildi.

Yukarıdaki sözler Dünya Mahkemesi web sitesinden alınma. Oturumlar, 23 Haziran 2005, Perşembe, yani bugün 20:00'da, İstanbul'da başlayacak.

Irak Dünya Mahkemesi (WTI) Iraktaki savaşa karşı dünyanın her yerinde yükseltilen itirazdan doğmuş küresel bir girişimdir. 1960ların sonunda yapılan Russell Mahkemesi'nden esinlenen WTI, Iraktaki savaş ve işgale ilişkin gerçekleri ortaya koymayı ve bu saldırının sessizce geçiştirilmesini engellemeyi hedeflemektedir. Amaçlanan bu süreçte işlenen suçların ve ihlallerin yanı sıra, çekilen acıların, susturulan seslerin ve direnişin de kayda geçirilmesidir. WTI, somut kanıtlara dayalı bir dinleme, düşünme, değerlendirme ve yargı sürecidir.

Gödel Teoremi ve Matematik Dışındaki Etkileri

FZ
10 Aralık 2003, 1 dakika okuma süresi

Boğaziçi Üniversitesi, Matematik Topluluğunun düzenlediği bu ilginç ve heyecan verici seminer John Pym tarafından ``Thoughts Centered on Gödel´s Theorem´´ başlığı altında sunulacak.

Duyuru afişindeki iddiaya göre katılımcılardan herhangi bir matematik ya da sembolik mantık önbilgisi beklenmiyor. Söz konusu teoremin ispatı herkesin anlayacağı şekilde yapıldıktan sonra sıra bu teoremden yola çıkıp çok farklı alanlarda farklı argümanlar geliştiren kişilerin dediklerine gelecek ve söz gelimi Gödel´in teoreminden yola çıkıp ``düşünen makinalar yapmak imkansızdır´´ gibi fikirleri ispatlamaya çalışan bilimadamlarının düşüncelerine yer verilecek.

Yer: Boğaziçi Üniversitesi, Fen Edebiyat Fak. 3. kat, TB-310 no.lu derslik.
Tarih: 16 Aralık 2003 Salı, 17:00

UPDATE people SET living = 0 WHERE name LIKE `Edgar Codd´

FZ
23 Nisan 2003, 1 dakika okuma süresi

Günümüzde işletim sistemleri ve TCP/IP yazılımlarından sonra belki de en çok kullanılan yazılım türü olan ilişkisel veritabanlarının temellerini atan, veritabanı literatürüne katkıları tarihe altın harflerle geçen Dr. Edgar Codd bugün aramızdan ayrıldı.

IBM´de çalışırken matematikteki küme ve bağıntı (ilişki) konularını inceleyerek bunları veri modelleme, sorgulama, güncelleme gibi pratik ve önemli problemlere uygulayıp SQL dilinin ve RDBMS (Relational Database Management System) olarak da tabir edilen İlişkisel Veritabanı Yönetim Sistemi yazılımlarının gerçekleştirilmesine öncülük eden Codd´un anısı önünde saygıyla eğiliyoruz.