Bir de son gösterimde bazı x - her y ve her x - bazı y ifadeleri için "is not same as" yazıyor ancak siz yer değiştirebilme özelliği var dediniz; bu bir dil sürçmesi mi yoksa başka bir nedeni var mı?
evet hatalı olmuş :) önce bütün x ve bazı y diye okuyorum (ki bu da hatalı) sonra yer değiştirme özelliğine sahip diyorum ki hatalı olmuş, uyarı mesajı yazayım videoya, uyarınız için de teşekkürler.
hmm youtube açıklama yazmayı kaldırmış, bu durumda sizin yorumu sabitlersem sanırım başka birileri görebilir (ya da bütün videoyu yeniden montajlamamız gerekecek, şimdilik böyle kalsın bakalım duruma göre vakit bulursak düzeltiriz).
At(x,SC) olabilecek her x değerlerlerini SC'nin içine mi atıyor yoksa x değerlerinin SC içinde olup olmadığını sorgulayarak SC içindeki x lerden oluşan bir kümeyi mi geri döndürüyor? Bir de "bazı x'ler" önermesinde neden => kullanmak hata oluyor?
evet At() burada bir relation ve sizin sorunuzdaki atama işlemine karşılık geliyor. Sorgulamak için fonksiyonlar kullanılıyor (mesela At(x) sorusunun cevabı SC veya At(SC) sorusunun cevabı x şeklinde dönebilir, ilki x nerede sorusu, ikincisi ise SC'de kimler var sorusu olarak düşünülebilir, prolog gibi dillerde bu fonksiyona unbounded variable verilerek yapılır, yani bağlı olmayan değişken sorgulanır) bazı x'ler kullanımı (exitential qunatifier) genelde impiles (ise) bağlacı ile kullanılmaz (bakın genelde hata yapıldığı için genelde diyoruz, bazı durumlarda gerekebilir de), bunlar sık yapılan hatalar olduğu için üzerinden geçtik.
Sadi bey bir kere de kendinize değil de bize bakarak konuşsanız :) Videolar çok yararlı emeğiniz için çok teşekkürler fakat sürekli videolarda kendinize bakıyorsunuz bir garip duruyor doğrusu :/
![Seungmin "그렇게, 천천히, 우리(As we are)" | [Stray Kids : SKZ-PLAYER]](http://i.ytimg.com/vi/kAzmhLHePqU/mqdefault.jpg)
Bir de son gösterimde bazı x - her y ve her x - bazı y ifadeleri için "is not same as" yazıyor ancak siz yer değiştirebilme özelliği var dediniz; bu bir dil sürçmesi mi yoksa başka bir nedeni var mı?
evet hatalı olmuş :) önce bütün x ve bazı y diye okuyorum (ki bu da hatalı) sonra yer değiştirme özelliğine sahip diyorum ki hatalı olmuş, uyarı mesajı yazayım videoya, uyarınız için de teşekkürler.
hmm youtube açıklama yazmayı kaldırmış, bu durumda sizin yorumu sabitlersem sanırım başka birileri görebilir (ya da bütün videoyu yeniden montajlamamız gerekecek, şimdilik böyle kalsın bakalım duruma göre vakit bulursak düzeltiriz).
Even I'm having trouble with some technical terms in Turkish, I can easily get the main point of the topic. Thanks!
Hocam huffman veya makine dili ile ilgili video cekerseniz sevinirim.
hocam 5 yıl oldu 2 videoyu çeker misiniz? :))
Hocam 6 oldu
At(x,SC) olabilecek her x değerlerlerini SC'nin içine mi atıyor yoksa x değerlerinin SC içinde olup olmadığını sorgulayarak SC içindeki x lerden oluşan bir kümeyi mi geri döndürüyor?
Bir de "bazı x'ler" önermesinde neden => kullanmak hata oluyor?
evet At() burada bir relation ve sizin sorunuzdaki atama işlemine karşılık geliyor. Sorgulamak için fonksiyonlar kullanılıyor (mesela At(x) sorusunun cevabı SC veya At(SC) sorusunun cevabı x şeklinde dönebilir, ilki x nerede sorusu, ikincisi ise SC'de kimler var sorusu olarak düşünülebilir, prolog gibi dillerde bu fonksiyona unbounded variable verilerek yapılır, yani bağlı olmayan değişken sorgulanır)
bazı x'ler kullanımı (exitential qunatifier) genelde impiles (ise) bağlacı ile kullanılmaz (bakın genelde hata yapıldığı için genelde diyoruz, bazı durumlarda gerekebilir de), bunlar sık yapılan hatalar olduğu için üzerinden geçtik.
Hocam ilk yorum
Sadi bey bir kere de kendinize değil de bize bakarak konuşsanız :) Videolar çok yararlı emeğiniz için çok teşekkürler fakat sürekli videolarda kendinize bakıyorsunuz bir garip duruyor doğrusu :/