Matematik

Eşzamanlı kalan koşullarını tek çözümde birleştiren teoremdir. İLE Kalanlarla, belirli bir bölene göre çalışan aritmetiktir. İlki, ikincinin sağladığı kalan sistemi üzerinde bir çözüm teoremidir.

İki ifade arasında büyük-küçük ilişkisi kuran bağıntıdır. İLE İki ifadenin eşit olduğunu belirten bağıntıdır. İlki sıralama, ikincisi eşitlik kurar.

Değişken içeren, doğruluğu değişkenin değerine bağlı önermedir. İLE Değişken içermeyen, kesin doğru ya da yanlış olan önermedir. İlki değere bağlı, ikincisi kesin değerlidir.

Diskriminant kök durumunu İLE kök çözümü verir

Sayı doğrusunda yer alan, sanal kısmı olmayan köktür. İLE Sanal birim içeren, karmaşık düzlemde yer alan köktür. İlki gerçek, ikincisi karmaşıktır; diskriminant hangisinin çıkacağını belirler.

Tüm terimleri aynı dereceli olan ifadedir. İLE Farklı dereceli terimler içeren ifadedir. İlki tek dereceli, ikincisi karışık derecelidir.

'On iki sözcükten az ile tanımlanamayan en küçük sayı' ifadesinin kendisiyle çelişmesidir. İLE Bir şeyin tanımının kendine gönderme yaparak çelişki doğurmasıdır. İlki, ikincinin dille kurulmuş belirli bir örneğidir.

Mantıksal olarak olanaklı tüm durumları betimleyen kavramdır. İLE Bu olanaklardan fiilen gerçekleşmiş olanıdır. İlki tüm olasılıklar, ikincisi gerçekleşmiş olandır.

Sözdizim biçimsel yapı kuralları İLE anlambilim anlamsal yorumlama kurallarıdır. Sözdizim simgelerin dizilişi İLE anlambilim simgelerin anlamıdır. Programlama dillerinde sözdizim derleme İLE anlambilim çalıştırma aşamasında önemli.

Doğruluğu, önermenin gerçeğe uygunluğu olarak tanımlayan kuramdır. İLE Doğruluğu, önermenin öteki kabullerle çelişmemesi olarak tanımlayan kuramdır. İlki gerçekle, ikincisi sistemle uyuma bakar.