Лаборатория основ информатики

Лаборатория основ компьютерных наук (LFCS) — исследовательский институт Школы информатики университета Эдинбургского в Шотландии . Оно было основано в 1987 году и представляет собой сообщество ученых-теоретиков в области информатики, интересующихся параллелизмом , семантикой , категориями , алгеброй , типами , логикой , алгоритмами , сложностью , базами данных и моделированием. ^[1]

Ссылки

^ «Добро пожаловать в ЛФК» . Домашняя страница ЛФК . Проверено 29 апреля 2016 г.

Внешние ссылки

55 ° 55'16,5 "с.ш. 3 ° 10'25" з.д. / 55,921250 ° с.ш. 3,17361 ° з.д. / 55,921250; -3,17361

статья об образовании в Шотландии незавершена Эта . Вы можете помочь Википедии, расширив ее .

Эта статья об организации в Шотландии незавершена . Вы можете помочь Википедии, расширив ее .

Эта статья об университете, колледже или другом образовательном учреждении Соединенного Королевства незавершена . Вы можете помочь Википедии, расширив ее .

П ≟ НП

Эта теоретической информатикой, статья, связанная с незавершена . Вы можете помочь Википедии, расширив ее .

[1] «Добро пожаловать в ЛФК» . Домашняя страница ЛФК . Проверено 29 апреля 2016 г.

[1]