for9a cancel iconfor9a iconfor9a icon

Logical Methods in Computer Science (LogiCS)

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

تابع المؤسسة

عن المؤسسة

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

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

متابعين 172