Sections

Language

Social Media

فرصة
Logical Methods in Computer Science (LogiCS)

Logical Methods in Computer Science (LogiCS)

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

About the organization

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

Organization's followers

Followers 174

Job opportunities

Loading...

No opportunities are available

Loading...

Educational opportunities

No opportunities are available

Loading...