Lamda-kuramında coppo-dezanı salle type türetim algoritması
An Algorithm for generating coppo-dezani salle types in lamda-calculus
- Tez No: 93554
- Danışmanlar: PROF. ŞEREF MİRASYEDİOĞLU
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Eğitim ve Öğretim, Mathematics, Education and Training
- Anahtar Kelimeler: Algoritmalar, Coppo-dezani salle type, Rekörsif liste tekniği, X-Calculus, Algorithms, Coppo-dezani salle type, Recursive list technique
- Yıl: 2000
- Dil: Türkçe
- Üniversite: Gazi Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Matematik Eğitimi Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
A.-KURAMINDA COPPO-DEZANI SALLE TYPE TURETIM ALGORİTMASI (Yüksek Lisans Tezi) Zeynep ERTÜRK GAZİ ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ Ocak 2000 ÖZET Bu tezin amacı, rekörsif liste yöntemi ile Coppo-Dezani Salle type türetimi için genel bir algoritma geliştirmek ve programını PROLOG programlama dilinde yazmaktır. Bilim Kodu Anahtar Kelimeler Sayfa Adedi Tez Yöneticisi 4030600 A.-Kuramı 80 Prof. Dr. Şeref MİRAS YEDİOĞLU %C YÜKSEKÖĞRETİM KURULU DOKÜMANTASYON MEBKE^
Özet (Çeviri)
AN ALGORITHM FOR GENERATING COPPO-DEZANI SALLE TYPES IN ^.-CALCULUS (M.Sc. Thesis) Zeynep ERTÜRK GAZİ UNIVERSITY INSTITUTE OF SCIENCE AND TECHNOLOGY January 2000 ABSTRACT The aim of this thesis is to develop a general algorithm for generating Coppo- Dezani Salle Types in the ^.-Calculus using the recursive list method and to code this is in the PROLOG programming Language. Science code : 4030600
Benzer Tezler
- Intersection and union types for combinatory logic and principal type-scheme for concurrent lambda-calculus
Başlık çevirisi yok
ALİ SALEM AOUN
- Envanter maddelerinin analizinde klasik test ve bilgi kuramı yöntemlerinin karşılaştırılması
Başlık çevirisi yok
M.ÇAĞATAY GÜVEN
- Medyaların Türk toplumu`nda popüler kültüre etkisi
The Impact of the popular culture in the Turkish society
NAJDA ÇILBIYIKOĞLU
Doktora
Türkçe
2000
Radyo-Televizyonİstanbul ÜniversitesiRadyo Televizyon ve Sinema Ana Bilim Dalı
PROF. DR. ARİF ESİN