Критерий отсутствия финитной аппроксимируемости суперинтуиционистских логик по допустимости

Критерий отсутствия финитной аппроксимируемости суперинтуиционистских логик по допустимости

Библиографическая информация
Опубликовано в: :	Абелевы группы и модули. Вып. 15 : сборник статей Вып. 15. С. 24-29
Главный автор:	Иванов, В. С.
Другие авторы:	Федоришин, Богдан Романович
Формат:	Статья в сборнике
Язык:	Russian
Предметы:	алгебра. математика. аппроксимация. логика.
Online-ссылка:	Перейти в каталог НБ ТГУ

Похожие документы

Новые константы в предтабличных суперинтуиционистских логиках автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06
по: Кощеева, Анна Константиновна
Публикация: (2015)

Правила вывода многомодальных логик автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06
по: Кошелева, Анна Владимировна
Публикация: (2007)

Некоторые вопросы отделимости и аппроксимируемости свободных групп автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06
по: Некрицухин, Анатолий Иванович
Публикация: (1983)

Исследование допустимых правил вывода в нестандартных суперинтуиционистских и модальных транзитивных логиках Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06.
по: Руцкий, Алексей Николаевич
Публикация: (2002)

Исследования допустимых правил в нестандартных логиках Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
по: Бабенышев, Сергей Валерьевич
Публикация: (1995)

Семантика модальных и интенсиональных логик
Публикация: (1981)

Синтаксические и семантические исследования неэкстенсиональных логик Сборник статей
Публикация: (1989)

Алгебраические и логические конструкции Сборник научных трудов
Публикация: (1994)

Фрейм полифункциональной модели многоточечных логик
по: Газарян, Р. К.

Логик против коллективной метафизики
по: Григорьев, Борис Васильевич
Публикация: (1995)

Дискретная математика для инженеров учебное пособие для студентов высших учебных заведений, обучающихся по специальности 080801 - "Прикладная информатика (по областям)" и другим экономическим специальностям
по: Пономарев, Вениамин Федорович
Публикация: (2009)

Дискретная математика для инженера
по: Кузнецов О. П.
Публикация: (2022)

Einfuehrung in die Mathematik fuer Informatiker voellig neubearbeitete Ausgabe des zweibaendigen Werkes "Doerfler, Mathematik fuer Informatiker"
по: Doerfler, Willibald
Публикация: (1988)

Реализация обратного метода для модальной логики КТ
по: Бурлуцкий, Владимир Владимирович

Математическая шкатулка Пособие для учащихся: Ф. Ф. Нагибин, Е. С. Канин
по: Нагибин, Федор Федорович
Публикация: (1984)

Практикум по элементарной математике. Алгеброаналитические методы
по: Иванов, Олег Александрович математик 1951-2019
Публикация: (2001)

Дискретная математика. Математика для менеджера в примерах и упражнениях Учебное пособие для вузов по экономическим и управленческим специальностям и направлениям
по: Москинова, Галина Ивановна
Публикация: (2000)

Studia mathematica
Публикация: (2003)

Приложения метода оптимальных коэффициентов к численному решению уравнений в частных производных автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06; 01.01.07
по: Книжнерман, Леонид Аронович
Публикация: (1985)

Вычислительная математика [Учебное пособие для геодезических специальностей вузов]
Публикация: (1976)

По океану дискретной математики от перечислительной комбинаторики до современной криптографии
по: Зуев, Юрий Анатольевич
Публикация: (2014)

Знаковый критерий для неравных вероятностей положительных и отрицательных ошибок измерений
по: Кулагина, Т. Е.

Дискретная математика учебник : [для студентов среднего профессионального образования, обучающихся по специальностям "Автоматизированные системы обработки информации и управления (по отраслям)", "Программное обеспечение вычислительной техники и автоматизированных систем"]
по: Спирина, Марина Савельевна
Публикация: (2012)

Дискретная математика учебник : [по специальностям "Автоматизированные системы обработки информации и управления (по отраслям)", "Программное обеспечение вычислительной техники и автоматизированных систем"]
по: Спирина, Марина Савельевна
Публикация: (2009)

Упорядоченные множества и решетки Межвузовский сборник научных трудов
Публикация: (1995)

Линейная алгебра и линейное программирование. Практикум учебное пособие
по: Татарников О. В. Олег Вениаминович
Публикация: (2023)

Линейная алгебра и линейное программирование. Практикум учебное пособие
по: Татарников О. В. Олег Вениаминович
Публикация: (2023)

Исследования по конструктивной математике и математической логике Сборник
Публикация: (1995)

Элементарная математика для первокурсника учебное пособие
по: Антонов, Валерий Иванович
Публикация: (2013)

Расширение алгебры Кодда операциями с рекурсивными объектами
по: Говорушко, Вероника Валерьевна

Малая математическая энциклопедия: пер. с венг./
по: Фрид, Э., et al.
Публикация: (1976)

Фундаментальные проблемы математики и механики. Математика: Сб. ст.
Публикация: (1994)

Проблемы аппроксимируемости электромагнитного поля
по: Каценеленбаум, Борис Захарович
Публикация: (1996)

Линейная алгебра. Задачник учебное пособие
по: Шилин И. А. Илья Анатольевич
Публикация: (2023)

Аппроксимативные методы решения слабосингулярных интегральных уравнений первого рода Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.01
по: Валеева, Роза Туктамышевна
Публикация: (1995)

Первичный радикал кольца обобщенных матриц порядка 2
по: Каравдина, Елена Юрьевна

Высшая математика для экономистов и менеджеров
по: Воронов, Михаил Владимирович математик
Публикация: (2004)

Высшая математика учебник
по: Балдин, Константин Васильевич
Публикация: (2010)

Asymmetric gaps of some fields of bounded formal power series
по: Galanova, Natalia Yrievna

Дискретная математика для инженера
по: Кузнецов, О. П.
Публикация: (2022)