Anasayfa Kodlamalar Dil Bilgisi Terimleri Bilim Terimleri Teknik Terimler Sanat Terimleri Spor Terimleri Hukuk Terimleri Ekonomi Terimleri Eğitim Terimleri Çevre Terimleri Sağlık Terimleri Sosyal Terimler Yabancı Terimler

abece :

Biçimsel bir dilin tüm ilkel imlerinden oluşan küme.

abecesel deyim :

Her imi belli bir abecenin öğesi olan bir deyim. || Örn. A ile B ...

açık ad :

Bakınız: açık terim

açık deyim :

Bağsız değişkeni olan düzgün deyim. Krş.. özelleme.

açık önerme :

Bir önermede geçen bir ya da birden çok sayıda adın yerine bağsız ...

açık tamdeyim :

İçinde en az bir bağsız değişken geçen tamdeyim. || Anl. açık öne ...

açık terim :

Bir adın içinde geçen bir ya da birden çok sayıda adın yerine bir ...

açık yol :

Çözümleyici çizelgede, hiç bir çelişmeyi kapsamayıp, ortak doğrul ...

Ad :

Belli bir tek nesneyi adlandırmak, göstermek ya da betimlemek ama ...

ad değişmezi :

Bakınız: bireysel değişmez

ad simgesi :

Değer alanı sözedilen dilin adlarından ya da genel olarak terimle ...

ad türü :

1. Tek çeşitli birinci basamak adlarının öbeğinden oluşan dizimse ...

almaşık küme bağıntısı :

Birinci üyesi tamdurum, ikinci üyesi de tamdurum kümesi olan ikil ...

almaşıklık bağıntısı :

Her iki öğesi de tamdurum ya da çözümleyici küme olan sıralanmış ...

altalta yazma kuralları :

Bakınız: çözümleme kuralları

altdeyim :

Bir düzgün deyimin altdeyim 'i bu deyimin ya kendisi ya deyimin d ...

altıklık yasaları :

Sap=>SiP ile SeP=>SoP biçimindeki önermelerin gevşek geçerli oldu ...

altkarşıtlık yasası :

SiP V SoP biçimindeki önermelerin gevşek geçerli olduğunu dile ge ...

altküme :

Bütün öğeleri belli bir kümenin öğeleri olan küme. ||K kümesinin, ...

altküme imi :

K kümesinin L gibi bir kümenin altkümesi olduğunu dile getiren ik ...

anabileşen :

Bir bileşik tamdeyimde anaeklemin bir araya getirdiği tamdeyimler ...

anaeklem :

Bir önermenin anayöneteni olan eklem.

anayöneten :

Bir karmaşık düzgün deyimin tümünü oluşturmaya yarayan yöneten de ...

anayönetilen :

Bir karmaşık deyimin anayöneteninin bir araya getirdiği düzgün de ...

Anlam :

1. Bir deyimin belli bir yorumda karşılık olarak kazandığı nesne. ...

anlam koyutu :

Bir arada tanım görevinde olan ilksavlardan her biri.

anlam kuralları :

Bir dili yorumlamak amacıyla o dilin düzgün deyimlerine birer nes ...

anlambilim :

Bakınız: yorumbilim

anlamdaş deyimler :

Bir biçimsel dilde A ile B düzgün deyimlerinin anlamdaş deyimler ...

anma :

Bir sözedilen dil deyiminin dile getirdiği nesneden değil, kendis ...

anma imleri :

Bir sözedilen dil deyiminin kullanılmayıp anıldığını belirtmek iç ...

araekyazılış biçimi :

İkili bir yöneten deyimin ilişkin olduğu iki yönetilen deyimin ar ...

arakesit :

Bakınız: kesişim

artbileşen :

Bir koşullunun ikinci anabiIeşeni. || p=>q koşullusunun artbileşe ...

artbileşen evetlemesi yanılımı :

(?) biçimindeki geçersiz çıkarımın geçerli sanılmasından doğan ya ...

artek yazılış biçimi :

Bir yöneten deyimin ilişkin olduğu yönetilen deyimlerin sonuna ko ...

asal ikilli önerme kalıpları :

Bir önerme kalıbının asal ikilli'si, bu önerme kalıbında geçen tü ...

ayraçlı yazılış biçimi :

Yardımcı im olarak ayraç kullanmayı gerektirdiği için araek yazıl ...

ayrıklık :

Bakınız: tikel-evetleme