Главная Упрощенный режим

Базы данных


Труды учёных ПГНИУ - результаты поиска

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
в найденном
 Найдено в других БД:Основная библиотечная БД (97)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Математическая логика<.>)
Общее количество найденных документов : 22
Показаны документы с 1 по 10
 1-10    11-20   21-22 
1.
510.6
З-847

    Зонова, П. О. (студент).
    О математических софизмах / П. О. Зонова // Живая математика: Пермский научно-популярный журнал. - 2008. - № 2. - С. 68-69
УДК
510.6
ББК 22.12
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
неправильные рассуждения -- ложные умозаключения -- математические парадоксы -- софизмы -- задачи на смекалку


Найти похожие
2.
510.6
Р 880

    Русакова, О. Л.
    Что такое суждение, или Неформально о формальной логике / О. Л. Русакова, Н. Г. Иванова // Живая математика: Пермский научно-популярный журнал. - 2008. - № 3. - С. 47
УДК
510.6
ББК 22.12
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
формы мышления -- суждения -- высказывания -- простые высказывания -- сложные высказывания -- логическая форма


Доп.точки доступа:
Иванова, Н. Г.

Найти похожие
3.


    Тюрин, С. Ф.
    Практическая дискретная математика и математическая логика / С. Ф. Тюрин, Ю. А. Аляев // Актуальные проблемы механики, математики, информатики: сб. тез. Всерос. науч.-практ. конф., 12-15 окт. 2010 г. - Пермь, 2010. - С. 227. - Библиогр.: с. 227 (2 назв.)
УДК
378
510.6
ББК 74.58 + 22.12
Рубрики: Образование. Педагогика
   Высшее профессиональное образование
   Математика
   Математическая логика
Кл.слова (ненормированные):
дискретная математика -- математическая логика -- учебники по математике -- обучение в вузе


Доп.точки доступа:
Аляев, Ю. А.

Найти похожие
4.
004.9
Ш 655

    Шишкин, В. А.
    Работа с нечеткими множествами в экспертной оболочке CLIPS / В. А. Шишкин // Современные методы теории краевых задач: материалы Воронежской весенней мат. школы "Понтрягинские чтения - XXIII". - Воронеж, 2012. - С. 203. - Библиогр.: с. 203 (3 назв.)
УДК
004.9
510.6
ББК 32.973-018.2 + 22.12
Рубрики: Вычислительная техника
   Прикладные информационные (компьютерные) технологии в целом
   Математика
   Математическая логика
Кл.слова (ненормированные):
свободная экспертная оболочка -- экспертные системы продукционного типа -- нечеткие множества


Найти похожие
5.
510.6
Ч-57

    Чечулин, В. Л.
    Моделирование логических схем посредством теории множеств / В. Л. Чечулин // Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2012. - Вып. 1 (9). - С. 19-21. - Библиогр.: с. 23 (2 назв.)
УДК
510.6
ББК 22.12
Рубрики: Математика
   Математическая логика
   
Кл.слова (ненормированные):
теории множеств с самопринадлежностью -- логика высказываний -- лямбда-вычисления -- логические схемы -- теорема исключения третьего -- двузначная логика
Аннотация: На основании известных теорем о непротиворечивости лямбда-исчисления, доказанных в семантике самопринадлежности, описан способ моделирования логических схем посредством теории множеств, использующий модель двузначной логики; из этих теорем о непротиворечивости следует непротиворечивость моделей логических схем.


Найти похожие
6.
510.6
Ч-575

    Чечулин, В. Л.
    Теория множеств с самопринадлежностью (основания и некоторые приложения) : монография / В. Л. Чечулин ; Перм. гос. нац. иссл. ун-т. - 2-е изд., испр. и доп. - Пермь : [б. и.], 2012. - 125, [1] с. - Б. ц.
УДК
510.6
ББК 22.12
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
теория множеств -- самопринадлежность -- обход парадоксов -- теорема о неподвижной точке


Доп.точки доступа:
Перм. гос. нац. иссл. ун-т
Свободных экз. нет
Найти похожие
7.
510.6
Ч-57

    Чечулин, В. Л.
    О самопринадлежащих множествах как неподвижных точках / В. Л. Чечулин // Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2012. - Вып. 3 (11). - С. 12-13. - Библиогр.: с. 13 (5 назв.)
УДК
510.6
ББК 22.12
Рубрики: Математика
   Математическая логика
   
Кл.слова (ненормированные):
множества с самопринадлежностью -- множество всех множеств -- неподвижные точки
Аннотация: Указано, что самопринадлежащие множества являются неподвижными точками отображения множества всех множеств в себя, порождаемого отношением принадлежности (с учетом транзитивности принадлежности объектов, принадлежащих самопринадлежащему объекту).


Найти похожие
8.
510.6
Ч-57

    Чечулин, В. Л.
    О структурном изоморфизме множеств подмножеств структурно изоморфных множеств / В. Л. Чечулин // Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2012. - Вып. 3 (11). - С. 14-16. - Библиогр.: с. 16 (7 назв.)
УДК
510.6
ББК 22.12
Рубрики: Математика
   Математическая логика
   
Кл.слова (ненормированные):
структурный изоморфизм -- множество подмножеств -- формальные языки -- формальные системы -- множество всех множеств
Аннотация: Описано свойство структурного изоморфизма множеств подмножеств структурно изоморфных множеств в теории множеств с самопринадлежностью. Указана прикладная интерпретация этого свойства в лингвистической области. Минимальная модельная область для формального языка с самоссылочностью - все множество всех множеств.


Найти похожие
9.
510.6
А 603

    Аляев, Ю. А.
    Обоснование перспектив развития логического вывода на занятиях математической логике / Ю. А. Аляев, С. Ф. Тюрин // Рождественские чтения: тез. докл. XVI Межрегион, науч.-метод, конф. по вопросам применения ИКТ в образовании, 9 января 2012 г. - Пермь, 2012. - С. 113-116
УДК
510.6
ББК 22.12
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
логический вывод


Доп.точки доступа:
Тюрин, С. Ф.

Найти похожие
10.


    Чечулин, В. Л.
    О предикативности лямбра-исчисления / В. Л. Чечулин // Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2012. - Вып. 4. - С. 76-78. - Библиогр.: с. 78 (13 назв.). - d, 2009, , 0, y
УДК
510.6
ББК 22.12
Рубрики: Математика
   Математическая логика
   
Кл.слова (ненормированные):
иерархия -- логические структуры -- лябра-исчисления -- предикативность
Аннотация: На основании теоремы Нагорного об удвоении слов в алфавите показана предикативность лямбра-исчисчления.


Найти похожие
 1-10    11-20   21-22 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 03.07.2024
Число запросов 20422
Число посетителей 393
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)