Лаборатория теории вычислимости и прикладной логики

Руководитель: Гончаров Сергей Савостьянович

Основные направления деятельности:

теория вычислимости и ее приложения; теория вычислимых моделей; проблемы существования вычислимых и разрешимых моделей, проблемы характеризации моделей различных алгоритмических размерностей и вычислимости классов; общая теория вычислимых нумераций для различных классов иерархий – арифметической, аналитической, Ершова и т.д. (свойств нумераций с различными свойствами в полурешетках Роджерса и характеризация алгебраических свойств полурешеток Роджерса); проблемы построения гибридных систем А.Нероуда на основе определимости; взаимоотношения различных типов вычислимости над абстрактными структурами; проблемы построения денотационных сементик, их свойства вычислимости.

ФИО	Должность	Телефон	Вн. тел.	Комната	Лаб.
Гончаров Сергей Савостьянович	Заведующий лабораторией	3297655	416	416	Л2
Алаев Павел Евгеньевич	Ведущий научный сотрудник	3297626	348	348	Л2
Витяев Евгений Евгеньевич	Ведущий научный сотрудник	3297691	452	452	Л2
Пальчунов Дмитрий Евгеньевич	Ведущий научный сотрудник	3297603	322	322	Л2
Баженов Николай Алексеевич	Старший научный сотрудник	3297655	319	319	Л2
Когабаев Нурлан Талгатович	Старший научный сотрудник	3297688	449	449	Л2
Кудинов Олег Викторович	Старший научный сотрудник	3297626	348	348	Л2
Марчук Маргарита Игоревна	Старший научный сотрудник	3297689	450	450	Л2
Юн Вета Федоровна	Старший научный сотрудник	3297684	445	445	Л2
Александрова Светлана Анатольевна	Научный сотрудник	3297688	449	449	Л2
Гаськова Маргарита Николаевна	Научный сотрудник	3297684	445	445	Л2
Оспичев Сергей Сергеевич	Научный сотрудник	3297684	445	445	Л2