ИСТИНА

Витер Дмитрий Александрович

Соавторы: Плиско В.Е., Pak B.

1 статья, 2 доклада на конференциях, 2 тезисов докладов, 1 диссертация

IstinaResearcherID (IRID): 14770142

Деятельность

• Статьи в журналах

  • • 2001 Equality from the constructive point of view
    • Plisko V.E., Viter D.A.
    • в журнале Bulletin of Symbolic Logic, издательство Association for Symbolic Logic (United States), том 7, № 1, с. 143-143

• Доклады на конференциях

  • • 2003 Primitive recursive realizability and the predicate logic (Стендовый)
    • Авторы: Plisko V., Park B.H., Viter D.
    • 12th International Congress of Logic, Methodology and Philosophy of Science (Oviedo, Spain), Овьедо, Испания, 7-13 августа 2003
  • • 2000 Equality from the constructive point of view (Устный)
    • Авторы: Viter D.A., Plisko V.E.
    • LC 2000 and ELSS 2000, Париж, Франция, 23-31 июля 2000

• Тезисы докладов

  • • 2003 Primitive recursive realizability and the predicate logic
    • Plisko V., Viter D., Park B.H.
    • в сборнике 12 th International Congress of Logic, Methodology and Philosophy of Science, место издания Oviedo, тезисы, с. 67-68
  • • 2000 Equality from the constructive point of view
    • Plisko V.E., Viter D.A.
    • в сборнике Abstracts of Contributed Papers LC 2000 and ELSS 2000, Paris, La Sorbonne, место издания Paris, тезисы, с. 33-33

• Диссертация

  • • 2002 Примитивно рекурсивная реализуемость и конструктивная теория моделей
    • Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Витер Дмитрий Александрович
    • Научный руководитель: Плиско Валерий Егорович, к.ф.-м.н., доц., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.001.84 при МГУ имени М.В. Ломоносова, Механико-математический факультет
    • Организация, в которой выполнялась работа: Московский государственный университет им. М.В.Ломоносова
    • Ведущая организация: Вычислительный центр им. А.А.Дородницына РАН
    • Оппоненты: Чагров Александр Васильевич, Хаханян Валерий Христофорович