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: Eğitim ve Öğretim, Matematik, Education and Training, Mathematics
- Anahtar Kelimeler: Belirtilmemiş.
- 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ı: 88
Ö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 Key Words : X-Calculus Page number : 80 Adviser : Prof. Dr. Şeref MİRAS YEDİO?LU
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
- Rastall's theory of gravity extension of the standard Lambda-CDM model
Standart Lambda-CDM modelinin Rastall genelçekim kuramı genelleştirmesi
BURCU ÖZTÜRK
Yüksek Lisans
İngilizce
2021
Fizik ve Fizik Mühendisliğiİstanbul Teknik ÜniversitesiFizik Mühendisliği Ana Bilim Dalı
DOÇ. DR. ÖZGÜR AKARSU
- Türkiye'de turizmin Mcdonaldlaştırılması: bir turistik ürün olarak paket tur incelemesi
Mcdonaldization of tourism in Turkey: An analysis of the package tours as a tourism product
MÜCAHİT HAKAN ÇEŞMECİ
Yüksek Lisans
Türkçe
2018
SosyolojiHacettepe ÜniversitesiSosyoloji Ana Bilim Dalı
DOÇ. DR. TUĞÇA POYRAZ TACOĞLU
- Kentli gençlik ve sokak kültürüne sosyal antropolojik bir yaklaşım: Grafiti ve sokak kültürü
A social anthropological approach to urban youth and street culture: Graffiti and street culture
EMİNE ÜZÜM TAN
Yüksek Lisans
Türkçe
2010
AntropolojiAnkara ÜniversitesiAntropoloji Ana Bilim Dalı
DOÇ. DR. ASLI YAZICI YAKIN
- 2000'li yıllarda İstanbul sahnelerinin repertuvar oluşumunda çevirinin konumu ve işlevi
The position and function of translation in the making of repertoires of Istanbul theaters in the 2000s
MELDA ENGİNSU
Doktora
Türkçe
2024
Sahne ve Görüntü Sanatlarıİstanbul ÜniversitesiTiyatro Eleştirmenliği ve Dramaturji Ana Bilim Dalı
PROF. DR. İHSAN KEREM KARABOĞA