Репозиторий Тверского госуниверситета

Ресурсы из категории "5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика"

На уровень вверх

УДК (48)
- 5 Математика. Естественные науки (48)
  - 51 Математика (48)
    - 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. (48)
      - 510.6 Математическая логика (48)
        510.62 Логические и логико-предметные языки (3)
        510.64 Неклассические, формальные логические системы (7)
        510.65 Логико-математические теории (7)
        510.66 Поиск вывода и проблемы разрешения в логических и логико-математических исчислениях (5)
        510.67 Теория моделей (20)

Группировка по: Авторы | Тип объекта

Перейти к: Статья

Количество объектов на этом уровне: 9.

Статья

Авхимович, Н.В. и Дудаков, С.М. (2023) Разрешимость теории конечных подмножеств безатомных булевых алгебр. Вестник ТвГУ. Серия: Прикладная математика (1). С. 24-35. ISSN 1995-0136

Ганичева, А.В. (2010) Анализ факторов, влияющих на деятельность сельскохозяйственных предприятий, на основе логического метода. Вестник ТвГУ. Серия: Экономика и управление (8). С. 69-76. ISSN 2219-1453

Дадеркин, Д.О. (2016) ЭФФЕКТИВНЫЕ АЛГОРИТМЫ ПОСТРОЕНИЯ ТЕРМОВ МИНИМАЛЬНОЙ ВЫЧИСЛИТЕЛЬНОЙ СЛОЖНОСТИ. Вестник ТвГУ. Серия: Прикладная математика (4). С. 21-33. ISSN 1995-0136

Дадеркин, Д.О. (2019) Об уноидах Ужичина со связным основным множеством. Вестник ТвГУ. Серия: Прикладная математика (4). С. 117-125. ISSN 1995-0136

Дадеркин, Д.О. (2021) Табличные уноиды, удовлетворяющие условиям Ужичина. Вестник ТвГУ. Серия: Прикладная математика (1). С. 59-70. ISSN 1995-0136

Дадеркин, Д.О. (2021) О табличных уноидах, не удовлетворяющих условиям ужичина. Вестник ТвГУ. Серия: Прикладная математика (3). С. 33-43. ISSN 1995-0136

Рыбаков, М.Н. (2007) Сложность константного фрагмента пропозициональной динамической логики. Вестник ТвГУ. Серия: Прикладная математика (2[5]). С. 5-17. ISSN 1995-0136

Рыбаков, М.Н. (2023) Деревья как средство моделирования неразрешимых проблем. Вестник ТвГУ. Серия: Прикладная математика (1). С. 5-23. ISSN 1995-0136

Секорин, В.С. (2022) Моделирование оператора частичной фиксированной точки. Вестник ТвГУ. Серия: Прикладная математика (2). С. 14-26. ISSN 1995-0136

Этот список был создан Wed Apr 24 17:30:49 2024 MSK.

Репозиторий Тверского госуниверситета работает на базе ПО EPrints 3, разработанного в Школе электроники и информатики Саутгемптонского университета. Подробнее...