Search for Research

A. I. Stukachev

Новосибирский государственный университет

Чем занимается

Ключевые темы по публикациям: Вычислимость, логика и алгоритмы искусственного интеллекта; Современные исследования топологии и теории множеств; Логика, рассуждение и знания; Современные исследования алгебры и логики; Теория полугрупп и автоматов.

Темы посчитаны по публикациям в OpenAlex; научный руководитель их не подтверждал

Выбранные работы

Все 21 в OpenAlex

Часть публикаций из профиля, по году от новых к старым. Это не полный список последних работ автора; работы без года — в конце.

  • DisCoCat Interpretation for Montague Semantics2026
  • Skolem Functions and Generalized Quantifiers for Negative Polarity Items Semantics2025
  • Computable functionals of finite types in Montague semantics2024 · аннотация

    We consider a computable model of functionals of nite types used in Montague semantics to represent grammar categories in natural language sentences.The model is based on the notion of Σ-predicates of nite types in…

  • Generalized Computable Models and Montague Semantics2023
  • Inner Constructivizability of Functional Structures2022
  • Effective model theory: approach via σ-definability2013
  • HF-Computability2011
  • A jump inversion theorem for the semilattices of sigma-degrees2010 · аннотация

    We prove an analogue of the jump inversion theorem for the semilattices of Σ-degrees of structures. As a corollary, we get a similar result for the semilattices of degrees of presentability of countable structures.

Наукометрия

5h-index
21публикаций
154цитирований

Написать научруку

Email не найден в открытых источниках — поищи на странице вуза или в последних статьях.

Предложена самая свежая из выбранных работ профиля. Упомяни её, только если прочитал(а) и видишь связь со своей задачей.

Шаблон письма

Здравствуйте, [Имя Отчество]! Я студент(ка) [курс, факультет, вуз]. Мне интересна тема [опишите интересы своими словами]. Хочу решать задачу: [какую задачу хочу решать / тема ВКР]. Хочу обсудить возможность выполнить научную работу под вашим руководством. Буду благодарен(на) за ответ — готов(а) рассказать о себе подробнее и прислать резюме. С уважением, [Имя Фамилия]

Замени поля в квадратных скобках своими данными и отправь письмо из своей почты. Копирование сохраняет черновик и не отправляет письмо научруку.