Genleşmiş biçimsel dizge nedir, Genleşmiş biçimsel dizge ne demek

Genleşmiş biçimsel dizge; Mantık alanında kullanılan bir kelimedir.

Teknik terim anlamı:

Bir biçimsel dizgenin abecesine yeni imler, ilksavlar kümesine de yeni önermeler katmakla elde edilen (ilkini, kapsayan) biçimsel dizge.

Genleşmiş biçimsel dizge tanımı, anlamı

Biçi : Erkek çocuk

Biçimsel dizge : Bir mantıksal dizge, özel ilksavlar kümesi, kanıtsavlar kümesi'nden oluşan dizge. bk. dizimsel dizge, tümdengelimli dizge, ilksavlı dizge. mantıksal dizge, kuram, ilksavlı kuram.

Genle : Taş, toprak, kum taşımaya yarayan sedye şeklinde bir çeşit araç, teskere.

Biçim : Biçme işi. Yazı ve simgelerin bilgisayarda kullanılmaya elverişli çerçevesi, düzeni, format. Disket vb.nin bilgisayarda kullanılabilir durumu. Yakışık alan şekil, uygun şekil. Herhangi bir şeyin benzeri. Sanat ve edebiyat eserlerinde dış görünüş, form. Şiirlerin kuruluş ve uyak düzenlerine göre olan dış görünüşü, şekil. Bir nesnenin dış çizgileri bakımından niteliği, dıştan görünüşü, şekil, eşkâl. Tarz.

Biçimsel : Biçime dayanan, biçimle ilgili, şekle ait, şeklî, formel.

Dizge : Bir bütün oluşturacak biçimde birbirine bağlı ögelerin bütünü, manzume, sistem. Bir ilkeye veya dünya görüşüne göre düzenlenmiş düşünceler, bilgiler, öğretiler bütünü, manzume, meslek, sistem.

 

İlksav : [Bakınız: belit]. Mantıksal ilksav ya da özel ilksav. bk. belit.

Önerme : Önermek işi. Kabul edilmesi için öne sürülen düşünce, teklif. Bir savı öne süren veya bir durumu dile getiren cümle, belli bir yorumda belli bir doğruluk değeri kazanan düzgün deyim, kaziye.

Katmak : Bir şeyin içine, üstüne veya yanına, niteliğini değiştirmek veya niceliğini artırmak için başka bir şey eklemek, karıştırmak. Bir araya getirmek. Birlikte göndermek. Döllenmeyi sağlamak için erkek hayvanı dişinin yanına salmak.

Kümes : Tavuk, hindi vb. evcil hayvanların barınmasına yarayan kapalı yer. Ufak ev.

Katma : Katmak işi, ilhak. Kıldan ya da yünden yapılmış ip. Katılmış, eklenmiş, ulanmış, munzam.

Abece : Alfabe. Başlangıç.

İlkin : Başta, başlangıçta, önce, iptida.

Kapsa : Çitten ya da aralıklı çakılan tahtalardan yapılmış bahçe kapısı. Büyük kulplu ya da kulpsuz sepet, sele. Tohum ve yem kabı, tahta sandık. Çubuklardan yapılmış bahçe kapısı. Kırda, tarlada çocukları güneşten korumak için yapılan küçük sığınak. Aralıklı tahtalardan yapılmış bahçe kapısı. Kutu.

Edil : Roma tiyatrosunda oyunları parasal ve yönetsel açıdan koruyanlara verilen ad. Oyunları denetleyip gösteri günlerini ve daha başka kayıtları saptayanlara verilen ad. Roma tiyatrosunda maddi manevi oyunları destekleyip koruyanlar. Oyunları denetleyip temsil tarihlerini ve daha başka kayıtları saptayanlar (bk. diadaskalia). Sinop ili, Boyabat ilçesi, merkez nahiyesine bağlı bir yerleşim birimi.

Öner : Yön. Sıra. Önde gelen, başta gelen kimse.

Diğer dillerde Genleşmiş biçimsel dizge anlamı nedir?

İngilizce'de Genleşmiş biçimsel dizge ne demek ? : extension of a formal system