علوم صوری
علوم صوری شاخه‌ای از دانش هستند که با سیستمهای رسمی همچون منطق، ریاضی، نظریه سیستم‌ها، علوم رایانه، نظریه اطلاعات، نظریه تصمیم، آمار و بعضی جنبه‌های زبان‌شناسی درگیر است.
ویلیام صوری
در حدود سال ۱۱۴۵، ویلیام عازم اروپا شد تا آموزش خود را در مدرسه‌ای در ایتالیا و فرانسه به‌خصوص پاریس و بولونیا، دو مرکز برجسته علمی و فکری اروپا در قرون وسطی، ادامه دهد. در آن زمان در این دو شهر هنوز دانشگاهی شکل نگرفته بود اما دو شهر مزبور از مراکز برجسته علم و هنر در اروپا بودند. ویلیام در پاریس و اورلئان علوم مقدماتی و الهیات را به مدت ۱۰ سال در نزد استادانی فراگرفت که خود از شاگردان گیلبرت د لا پوره و تیری شارتری بودند؛ و همچنین مدتی را برای یادگیری نزد روبرت ملان و آدام د پارو پونته گذارند. ویلیام در اورلئان که یکی از مراکز برجسته مطالعات کلاسیک به‌شمار می‌رفت، ادبیات رومی باستان (یا همان تألیف و تصنیف) را با هیلاری اورلئانی و ریاضیات (به‌خصوص آرای اقلیدس) را با ویلیام سوآسونی آموخت. او برای ۶ سال، الهیات را در نزد پیتر لمبارد و مائوریس د سالی مطالعه کرد؛ و پس از آن، او حقوق مدنی و قوانین کلیسایی را در بولونیا نزد «۴ دکتر بولونیا» فرا گرفت. اساتیدی که ویلیام در نزد آنها به مطالعه و فراگیری علوم پرداخت، همگی از افراد برجسته رنسانس قرن ۱۲ میلادی در اروپا بودند که نشان از آن است که ویلیام صوری به‌خوبی نزد این اساتید آموزش دیده‌است..