Victor W. Marek - Victor W. Marek

Victor Witold Marek, vakti zamanında Wiktor Witold Marek olarak bilinir Witek Marek (22 Mart 1943 doğumlu) teorik bilgisayar bilimi ve matematiksel mantık alanında çalışan Polonyalı bir matematikçi ve bilgisayar bilimcisi.

Biyografi

Victor Witold Marek, Matematik ve Fizik Fakültesi'nde matematik okudu. Varşova Üniversitesi. Tarafından denetlenir Andrzej Mostowski 1964'te matematik alanında yüksek lisans derecesi ve 1968'de matematik alanında doktora derecesi aldı. 1972'de matematik alanında habilitasyonu tamamladı.

1970-1971'de Marek, doktora sonrası araştırmacıydı. Utrecht Üniversitesi altında çalıştığı Hollanda Dirk van Dalen. 1967-1968'de ve 1973-1975'te Matematik Enstitüsünde araştırmacıydı. Polonya Bilimler Akademisi, Varşova, Polonya. 1979-1980 ve 1982-1983'te Venezüella Bilimsel Araştırma Enstitüsü'nde çalıştı. 1976'da Matematik Bölümü'nde Yardımcı Doçent olarak atandı. Varşova Üniversitesi.

1983'te bilgisayar bilimleri profesörü olarak atandı. Kentucky Üniversitesi. 1989-1990'da Matematik Bölümü'nde Misafir Profesördü. Cornell Üniversitesi, Ithaca, New York. 2001-2002 yıllarında Matematik Bölümü'nün ziyaretçisiydi California Üniversitesi, San Diego.

Eski

Öğretim

Çok sayıda yüksek lisans tezi ve projesi yönetmiştir. Hem matematik hem de bilgisayar bilimlerinde 16 doktora adayının danışmanıydı. Özellikle, Małgorzata Dubiel-Lachlan, Roman Kossak, Adam Krawczyk, Tadeusz Kreid, Roman Murawski, Andrzej Pelc, Zygmunt Ratajczyk, Marian Srebrny ve Zygmunt Vetulani'nin matematik tezlerine danışmanlık yaptı. Bilgisayar biliminde öğrencileri V. K. Cody Bumgardner, Waldemar W. Koczkodaj, Witold Lipski, Joseph Oldham, Inna Pivkina, Michał Sobolewski[1], Paweł Traczyk ve Zygmunt Vetulani. Tüm bu kişiler Kanada, Fransa, Polonya ve Amerika Birleşik Devletleri'ndeki çeşitli yüksek öğretim kurumlarında çalıştı.

Matematik

Matematiğin temellerinde bir dizi alanı araştırdı, örneğin sonsuz kombinatorikler (büyük kardinaller), küme teorisinin metamatatiği, inşa edilebilir kümelerin hiyerarşisi,[1] ikinci dereceden aritmetik modelleri,[2] Kelley-Morse sınıflarının empredikatif teorisi.[3] Sözde Fraïssé varsayımının (sayısız sıra sayılarının ikinci dereceden teorilerinin hepsi farklıdır) Gödel'in inşa edilebilirlik aksiyomundan kaynaklanmaktadır. Marian Srebrny ile birlikte, boşluklar inşa edilebilir bir evrende.

Bilgisayar Bilimi

Bilgisayar biliminin mantıksal temellerini inceledi. 1970'lerin başında Zdzislaw Pawlak ile işbirliği içinde,[4][5] Pawlak'ın bilgi depolama ve erişim sistemlerini araştırdı [6] bu, özellikle Doğu Avrupa'da yaygın olarak incelenen bir kavramdı. Bu sistemler, esasen tek tablo ilişkisel veritabanlarıydı, ancak Codd'un ilişkisel veritabanlarından farklı olarak, kayıt kümelerinden ziyade çantaydı. Bu araştırmalar, sırayla, Pawlak'ı kaba set,[5] 1981'de Marek ve Pawlak tarafından çalıştı.[7] Bilgisayar bilimi, istatistik, topoloji, evrensel cebir, kombinatorik ve modal mantıkta kaba küme kavramı, eksik bir bilgiyi açıklamak ve özellikle manipüle etmek için ifade edici bir dil olduğu ortaya çıktı.

Mantık

Yapay zeka ile ilgili bir grup mantık olan monotonik olmayan mantık alanında, Reiter'in Deault Logic araştırmalarına odaklandı,[8] ve R. Moore'un otoepistemik mantığı. Bu araştırmalar bir mantıksal Programlama biçimine yol açtı. Cevap Seti Programlama [9] hem Avrupa'da hem de Amerika Birleşik Devletleri'nde incelenen bir hesaplamalı bilgi temsili biçimciliği. Mirosław Truszczynski ile birlikte, mantık programlarının kararlı modellerinin var olma sorununun NP-tam olduğunu kanıtladı. Fonksiyon sembollerini kabul eden daha güçlü bir biçimcilikte Nerode ve Remmel ile birlikte benzer problemin Σ olduğunu gösterdi.1
1-tamamlayınız.

Yayınlar

V. W. Marek, matematiğin ve bilgisayar biliminin temelleri alanında 180'den fazla bilimsel makalenin yazarıdır. Aynı zamanda sayısız bilimsel toplantı tutanağının da editörüydü. Ek olarak, birkaç kitap yazdı veya ortak yazarlık yaptı. Bunlar şunları içerir:

  • Logika i Podstawy Matematyki w Zadaniach (J. Onyszkiewicz ile birlikte)
  • Problemlerde Matematiğin Mantığı ve Temelleri (J. Onyszkiewicz ile birlikte)
  • Analiza Kombinatoryczna (ile birlikte W. Lipski ),
  • Monotonik Olmayan Mantık - Bağlama bağlı Akıl Yürütme (M. Truszczyński ile birlikte),
  • Tatmin Edilebilirlik Matematiğine Giriş.

Referanslar

  1. ^ W. Marek ve M. Srebrny, İnşa edilebilir evrende Gaps, Annals of Mathematical Logic, 6: 359-394, 1974.
  2. ^ K.R. Apt ve W. Marek, İkinci dereceden aritmetik ve ilgili konular, Annals of Mathematical Logic, 6: 177–229, 1974
  3. ^ W. Marek, Emredici küme teorisinin metamatematikleri üzerine. Tezler Mathematicae 98, 45 sayfa, 1973
  4. ^ Z. Pawlak, bilgi erişiminin matematiksel temelleri. Bilgisayar Bilimleri Enstitüsü, Polonya Bilimler Akademisi, Teknik Rapor 101, 8 sayfa, 1973
  5. ^ a b Z. Pawlak, Kaba kümeler. Bilgisayar Bilimleri Enstitüsü, Polonya Bilimler Akademisi, Teknik Rapor 431, 12 sayfa, 1981
  6. ^ W. Marek ve Z. Pawlak Bilgi erişiminin temelleri üzerine. Boğa. Acad. Pol. Sci. 22: 447–452, 1974
  7. ^ W. Marek ve Z. Pawlak. Kaba kümeler ve bilgi sistemleri, Bilgisayar Bilimleri Enstitüsü, Teknik Rapor 441, Polonya Bilimler Akademisi, 15 sayfa, 1981
  8. ^ M.Denecker, V.W. Marek ve M. Truszczynski, Varsayılan ve otoepistemik mantığın tek tip anlamsal incelemesi. Yapay zeka. 143: 79–122, 2003
  9. ^ V.W. Marek ve M. Truszczynski, Kararlı mantık programlama - alternatif bir mantık programlama paradigması. 25 yıllık Mantık Programlama Paradigması, sayfa 375-398, Springer-Verlag, 1999

Dış bağlantılar