Исследования
Программа Гильберта и теория строк
Рекурсивные функции и вычислимость по Тьюрингу
Расширение математической логики
Арифметика Пеано и свойства вычислимости
Русская машина Гуриновича
Машина Тьюринга и арифметика Пеано
Машина Тьюринга
Nulla porttitor accumsan tincidunt. Vestibulum ac diam sit amet quam vehicula elementum sed sit amet dui. Proin eget tortor risus. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Nulla porttitor accumsan tincidunt. Curabitur arcu erat, accumsan id imperdiet...
Исследования
Актуальное
Машина Тьюринга
Nulla porttitor accumsan tincidunt. Vestibulum ac diam sit amet quam vehicula elementum sed sit amet dui. Proin eget tortor risus. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Nulla porttitor accumsan tincidunt. Curabitur arcu erat, accumsan id imperdiet...
Машина Тьюринга
Nulla porttitor accumsan tincidunt. Vestibulum ac diam sit amet quam vehicula elementum sed sit amet dui. Proin eget tortor risus. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Nulla porttitor accumsan tincidunt. Curabitur arcu erat, accumsan id imperdiet...
Исследования

Конференция по математической логике
Подборка материала по направлениям
Здесь Вы можете изучить материалы по интересующим направлениям
Программа Гильберта
Машина Тьюринга
Математика теории алгоритмов
Теория строк
Математика для описания вычислений
Расширение математической логики
Математическая модель вычислительной системы
Масштабирование вычислительных систем
Проблемы неограниченной оперативной памяти
Ограниченность разрядности процессоров
Проблемы эффективности вычислений
Проблемы общего языка программирования
Материалы и рецензии
Машина Тьюринга
Nulla porttitor accumsan tincidunt. Vestibulum ac diam sit amet quam vehicula elementum sed sit amet dui. Proin eget tortor risus. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Nulla porttitor accumsan tincidunt. Curabitur arcu erat, accumsan id imperdiet...
Исследования
Дополнительные материалы
Машина Тьюринга
Nulla porttitor accumsan tincidunt. Vestibulum ac diam sit amet quam vehicula elementum sed sit amet dui. Proin eget tortor risus. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Nulla porttitor accumsan tincidunt. Curabitur arcu erat, accumsan id imperdiet...
Исследования
Обзор математических исследований
Получение новостей
Получение информации по персональному запросу
Вы можете получить дополнительную информацию по персональному запросу
Подписка на новости
получение наших новостей
Мы в соцсетях
Публикации в соцсетях