Thinking About Computing

0
FZ
İ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

0
FZ
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

Enixma'nın Şubat Sayısı Çıktı

erika

Dergiyi http://www.enixma.org adresinden indirebilirsiniz.

Pozitif e-dergi TEMMUZ sayısı çıktı...

adonis

» Kendi Pardus DVD'ni yap!
» Özgürce eğlenmek:GP2X üstelik içinde linux var!
» DirectX 10:Balon mu, devrim mi?
» PIC: Ucuz ama ciddi
» OpenSuSE 10.1: Bol aksesuar, kötü işçilik
» Xorg'u fethetmek!
Ve daha fazlası 220 sayfa dergi içeriğinin yine 50 sayfaya yakın bir bölümü Gnu/Linux'a ayrılmış. İndirmek için www.pozitifpc.com adresini ziyaret etmeniz yeterli.

Kültür kılığında dolaşan cehalet...

bm

Bugünkü Radikal'den başyazı. Başlık: "Tanrı'nın varlığı bir teoremdir", bitiş cümleleri: "Oysa, bilimsel metodoloji açısından Tanrı bir teoremdir; ileri sürülmüş ama kanıtlanmamış bir iddia. Bunu söyleyince hemen karşı çıkanlar olacaktır: 'Peki yokluğunu kanıtlayabilir misiniz?' Bu bir totolojidir; Tanrı'nın yokluğunu kanıtlamaya gerek yok. Varlığını kanıtlamak ya da kanıtlayamamak aynı kapıya çıkar."

Tanrı'nın varlığı ve yokluğu yerine önce XXX koyun ve okuyun. Bu yazı "ben mantık bilmiyorum, mantık bilmediğimi de bilmiyorum, hatta bilmenin ne olduğunu da bilmediğim için neyi bildiğimi neyi bilmediğimi de çıkartamıyorum üç beş terimini duyduğum konuları anladım sanıyorum" demiyor mu sizce?

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

FZ

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.

2005 Yılının En İyi 100 Ürünü

Skeleton

PC World 2005 yılının en iyi ürünlerini seçmiş. Listeye buradan ulaşabilirsiniz.