Feza Gürsey Mantık Yaz Okulu

22 – 26 Eylül 2014

Amaç:

Bu sene ilk defa yapılacak 2014 Mantık Yaz Okulu Türk üniversitelerinde öğrenim gören ve mantık araştırmalarına yönelmeyi düşünen öğrencilere gerekli temel mantık bilgisini sunmayı amaçlamaktadır. 2014 Mantık Yaz Okulu, Bilim Akademisi ve Boğaziçi Üniversitesi desteği ile başlatılan Feza Gürsey Yaz Okulları çerçevesinde Boğaziçi Üniversitesi Kandilli kampüsünde eski Feza Gürsey Enstitüsü binasında yapılacaktır. Dersler geniş yelpazede konusunda uzman bilim adamları tarafından İstanbul Ü. Doktora öğrencisi Vedat Kamer asistanlığında verilecektir.

Mantık Yaz Okulu programı başlıca şu hedef kitleye ulaşmayı amaçlamaktadır:

Daha önceden mantık bilgisi olmayıp, kuramsal veya uygulamaya yönelik olarak sağlam bir mantık temel bilgisi edinmek isteyenler,
Yaygın (standart) önermeler ve niceleme mantığı bilgisi olan ve farklı mantık sistemlerini tanımak isteyenler,
Birtakım mantık sistemleri konusunda bilgisi olup mantık tarihi, mantığın uygulamaları ve mantık felsefesi konularında bilgi edinmek isteyenler.
Yaz Okulu sonunda ders, ödev ve sınavları başarı ile tamamlayanlara Boğaziçi Üniversitesi ve Bilim Akademisi tarafından sertifika verilecektir.

Etkinlik Yeri:

Boğaziçi Üniversitesi Kandilli Kampüsü Eski Feza Gürsey Enstitüsü Binası (Ulaşım bilgisi ve krokisi için sayfanın sağ üst köşesinde bulunan ulaşım linkine tıklayınız)

Adres: Boğaziçi Ünivertsitesi Kandilli Kampüsü, Boğaziçi Üniversitesi, 34684, Çengelköy, İstanbul

Başvuru:

Okula 3 ve 4’üncü sınıf lisans, yüksek lisans ve doktora öğrencileri başvuru yapabilir.
Kontenjan 30 kişidir.
Son başvuru tarihi 30 Haziran 2014’tür.
Başvuru yapmak için yukarıdaki menüden Başvuru sayfasında bulunan formu doldurmanız gerekmektedir.
Formu doldururken aldığınız derslerden yaz okulu konuları ile ilgili dersleri ve aldığınız notların listesini ve not ortalamanızı bildirmeniz, ve gerekirse referans verebilecek bir öğretim üyesinin ismini vermeniz gerekmektedir.
Başvuruların değerlendirilmesinde okulun içeriği ile uygunluğu çerçevesinde adayların eğitim bilgileri ve başarı durumları dikkate alınacaktır.

Yaz okuluna katılım ücretsizdir.

Konaklama:

Öğrencilere Feza Gürsey binası yurtlarında konaklama ve üniversite sosyal tesislerinde öğle yemeği imkanı sağlanacaktır.

Konular:

Temel Küme Kuramı, Yinelemeli Fonksiyonlar, Gödel Eksiklik Teoremleri (Doç. Dr. Ayhan Çitil, 29 Mayıs Üniversitesi)
Kalish-Montague Yöntemi ile Önerme Eklemleri ve Niceleyiciler Mantığı (Prof. Dr. Şafak Ural, İstanbul Üniversitesi)
Birinci-Düzey Niceleyiciler Mantığının üst-kuramı (Doç. Dr. İskender Taşdelen, Anadolu Üniversitesi)
Sayının Temellendirilmesi (Yard. Doç. Dr. Özgüç Güven, İstanbul Üniversitesi)
Modal Önermeler Mantığı (Prof. Dr. Çiğdem Gencer, Kültür Üniversitesi)

İletişim Bilgileri:

Her türlü iletişim için okulun email adresine email atabilirsiniz.

Eposta: fgmantik@boun.edu.tr

Başvuru Formu

Başvurular internet ortamında form doldurularak yapılmaktadır. Bu formu doldururken şimdiye kadar yaz okulu konuları ile ilgili aldığınız derslerin ve notların listesini ve not ortalamanızı bildirmeniz, ve gerekirse referans verebilecek bir öğretim üyesinin ismini vermeniz gerekmektedir.
Başvuru Formu