for9a cancel iconfor9a iconfor9a icon

Logical Methods in Computer Science (LogiCS)

موقع إلكتروني

عن المؤسسة

LogiCS هو موقع إلكتروني يركز على أنشطة جامعة فيينا للتكنولوجيا في المنطق والحساب. في فيينا، يعتبر تطبيق المنطق الرياضي على العلوم ذو تقليد طويل وغني، حيث يركز الموقع على الأساليب المنطقية في علم الكمبيوتر. استنادًا إلى خبرة قوية في كل من الأساسيات الرياضية والتطبيقات في العالم الحقيقي، يقدم كل من الموقع والجامعة إسهامات في النظرية والخوارزميات وقواعد البيانات والذكاء الاصطناعي وتمثيل المعرفة ونظرية البرهان والطرق الرسمية وفحص النماذج ولغات البرمجة والأمن.

متابعو المؤسسة

noor fadheljamaah
وسن حيدر
lana tarawneh
Mahmoud M.Mabrok
Sara Salah
متابعين 143

وظائف

فرص تعليمية