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

Ресурсы из категории "510.6 Математическая логика"

['Update/Views:up_a_level_alt' not defined]

[pin missing: url]

[pin missing: url]

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

Группировка по: Авторы['Update/Views:group_separator' not defined]Тип объекта

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

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

Статья

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

Гайдамака, Ю.В. и Матюшенко, С.И. и Самуйлов, К.Е. (2024) О пиковом возрасте информации в группе передачи, моделируемой системой. Вестник ТвГУ. Серия: Прикладная математика (1). С. 37-52. 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

Дудаков, С.М. (2024) О моноиде с разрешимой теорией конечных подмножеств. Вестник ТвГУ. Серия: Прикладная математика (2). С. 27-38. ISSN 1995-0136

Матюшенко, С.И. и Самуйлов, К.Е. (2024) Стационарное распределение пикового возраста информации в двухканальной группе передачи, моделируемой системой обслуживания с переупорядочиванием заявок и с распределениями фазового типа. Вестник ТвГУ. Серия: Прикладная математика (1). С. 17-36. 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

Этот список был создан Tue Nov 12 13:01:48 2024 MSK.

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