Design and applications of grammar-based methodologies for automatic generation and step-by-step solving of mathematical expressions
Matematiksel ifadelerin otomatik üretimi ve adım adım çözümü için dil bilgisi tabanlı metodolojilerin tasarımı ve uygulamaları
- Tez No: 392308
- Danışmanlar: YRD. DOÇ. DR. HÜSEYİN PEHLİVAN
- Tez Türü: Doktora
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2015
- Dil: İngilizce
- Üniversite: Karadeniz Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 184
Özet
Bu tezde CAS sistemlerinin uygulanması ve işletilmesi için iki yöntem önerilmiştir, deyişle matematik problemleri otomatik çözmesi ve matematiksel ifadeleri şablona dayalı üreten iki gramer tabanlı metodoloji yaklaşımlar verilmiştir. Çalışmanın ilk bölümünde, problemlerin adım adım çözümü için bir CBS türü sistem sunulmuştur. Çalışmada amaçlanan girilen matematiksel ifadelerin çözümünde tüm ara aşamaları göstermektir. Sadeleştirme işlemi orijinal problem üzerinde çeşitli dönüşümler uygulanarak yapılır. BCS sistem işlemleri gerçekleştirilerek karmaşık soruların basitleştirilmiş versiyonu elde edilir. Bu araştırmanın diğer kısmı, kullanıcılar tarafından girilen sorulardan veya elde girilen şablonları kullanarak yeni sorular üretimidir. Önerilen metot kullanılarak, bir ifade için genel bir şablon oluşumla ve uygulanmasında bazı kısıtlamalar yapılabilir. Bu tür sınırlamalar değerlerin parametrik kararlılığıyla, matematiksel ifadeleri için dinamik şablonları elde edilebilir. Bu tür şablonlar sınıflar şeklinde uygulanabilir. Önerilen sistem şu anda türev, denklem, tek değişkenli polinomlar, ve fonksiyonlar üzerinde işlemler konuları ile ilgili çeşitli problemlerin çözümleri üzerinde durulmuş; ancak, kolayca genel matematiğin diğer konuları kapsayacak şekilde genişletilebilir.
Özet (Çeviri)
In this thesis we propose methodologies for implementation and operation of the CAS systems, where it is generally organized in two parts, namely the proposal of two grammar-based methodological approaches as for automatic solving of math problems and generating template-based mathematical expressions. The first part of the study presents a methodology for the step-by-step solution of problems, which can be incorporated into a CAS-like system. The aim is to show all the intermediate evaluation steps of mathematical expressions from the start to the end of the solution. Simplification is done by applying various transformations on original problem. The other part of the study addresses the production of new questions using the template expressions that are derived from the solved questions or entered by the users. With the parametric determination of values for such limitations, some templates can be dynamically constructed for the automatic generation of mathematical expressions and represented implemented in the form of classes. The proposed system currently focuses on the solutions of various problems associated with the subject of derivative, equations, single variable polynomials, and operations on functions however; it can be easily extended to cover the other subjects of general mathematics.
Benzer Tezler
- Bridging knowledge across architectural heritage and digital fabrication technologies
Mimari miras ile dijital fabrikasyon teknolojileri arasında bilgi köprüsü kurmak
BEGÜM HAMZAOĞLU
Doktora
İngilizce
2024
Mimarlıkİstanbul Teknik ÜniversitesiBilişim Ana Bilim Dalı
PROF. DR. MİNE ÖZKAR KABAKÇIOĞLU
- Nevzat Sayın konutlarının kural tabanlı üretimi için bir analiz modeli
An analysis model for rule based production of Nevzat Sayın housing
RABİA KARAHAN
Yüksek Lisans
Türkçe
2019
Mimarlıkİstanbul Teknik ÜniversitesiBilişim Ana Bilim Dalı
PROF. DR. MERYEM BİRGÜL ÇOLAKOĞLU
- Tarihi ahşap yapıların onarımı için kural tabanlı yaklaşım: Göğceli Cami örneği
Rule based approach for historical timber structure: case of Göğceli Mosque
MEHMET SALİH ÖZALP
Yüksek Lisans
Türkçe
2024
Mimarlıkİstanbul Teknik ÜniversitesiBilişim Ana Bilim Dalı
PROF. DR. MİNE ÖZKAR KABAKÇIOĞLU
- Mimarlıkta yapı ve yapım teknolojileri (MYYT) eğitimine yönelik bir yaklaşım ve eğitim materyali önerisi: Detayın üretici dönüşümsel dilbilgisi
Proposal for an approach and instructional material for the education of construction technologies in architecture (CTA): Transformational generative grammar of detail
HÜLYA NUR KIZILYAPRAK
Doktora
Türkçe
2020
Mimarlıkİstanbul Teknik ÜniversitesiMimarlık Ana Bilim Dalı
DR. ÖĞR. ÜYESİ MEHMET CEM ALTUN
- Fiil ve fiille bağlantılı konuların öğretiminde bilgisayarla desteklenmiş oyun tabanlı öğrenme uygulamalarının etkililiği
The effectiveness of computer supported applications of game based learning in teaching verb and verb related topics
AYHAN DÖNMEZ
Yüksek Lisans
Türkçe
2020
Eğitim ve ÖğretimDokuz Eylül ÜniversitesiTürkçe ve Sosyal Bilimler Eğitimi Ana Bilim Dalı
DOÇ. DR. İBRAHİM SEÇKİN AYDIN