Научная Библиотека Пермского Государственного Университета

Главная

Упрощенный режим

Базы данных

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

Вид поиска

Основная библиотечная БД

Труды учёных ПГНИУ

Диссертации

Журналы

Рациональное природопользование

Иностранная периодика

Дореволюционная периодика

Библиотека юридичеcкого факультета (статьи)

Туризм

История Пермского университета

Продолжающиеся издания

Музейный книжный фонд

Область поиска

Найдено в других БД:

Основная библиотечная БД (81)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>U=510.6<.>)

Общее количество найденных документов : 19
Показаны документы с 1 по 19

510.6
З-847

Зонова, П. О. (студент).
О математических софизмах / П. О. Зонова // Живая математика: Пермский научно-популярный журнал. - 2008. - № 2. - С. 68-69

УДК

510.6

ББК 22.12
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
неправильные рассуждения -- ложные умозаключения -- математические парадоксы -- софизмы -- задачи на смекалку

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

510.6
Р 880

Русакова, О. Л.
Что такое суждение, или Неформально о формальной логике / О. Л. Русакова, Н. Г. Иванова // Живая математика: Пермский научно-популярный журнал. - 2008. - № 3. - С. 47

УДК

510.6

ББК 22.12
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
формы мышления -- суждения -- высказывания -- простые высказывания -- сложные высказывания -- логическая форма

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

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

Тюрин, С. Ф.
Практическая дискретная математика и математическая логика / С. Ф. Тюрин, Ю. А. Аляев // Актуальные проблемы механики, математики, информатики: сб. тез. Всерос. науч.-практ. конф., 12-15 окт. 2010 г. - Пермь, 2010. - С. 227. - Библиогр.: с. 227 (2 назв.)

УДК

378

510.6

ББК 74.58 + 22.12
Рубрики: Образование. Педагогика
   Высшее профессиональное образование
   Математика
   Математическая логика
Кл.слова (ненормированные):
дискретная математика -- математическая логика -- учебники по математике -- обучение в вузе

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

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

004.9
Ш 655

Шишкин, В. А.
Работа с нечеткими множествами в экспертной оболочке CLIPS / В. А. Шишкин // Современные методы теории краевых задач: материалы Воронежской весенней мат. школы "Понтрягинские чтения - XXIII". - Воронеж, 2012. - С. 203. - Библиогр.: с. 203 (3 назв.)

УДК

004.9

510.6

ББК 32.973-018.2 + 22.12
Рубрики: Вычислительная техника
   Прикладные информационные (компьютерные) технологии в целом
   Математика
   Математическая логика
Кл.слова (ненормированные):
свободная экспертная оболочка -- экспертные системы продукционного типа -- нечеткие множества

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

510.6
Ч-57

Чечулин, В. Л.
Моделирование логических схем посредством теории множеств / В. Л. Чечулин // Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2012. - Вып. 1 (9). - С. 19-21. - Библиогр.: с. 23 (2 назв.)

УДК

510.6

ББК 22.12
Рубрики: Математика
Математическая логика

Кл.слова (ненормированные):
теории множеств с самопринадлежностью -- логика высказываний -- лямбда-вычисления -- логические схемы -- теорема исключения третьего -- двузначная логика
Аннотация: На основании известных теорем о непротиворечивости лямбда-исчисления, доказанных в семантике самопринадлежности, описан способ моделирования логических схем посредством теории множеств, использующий модель двузначной логики; из этих теорем о непротиворечивости следует непротиворечивость моделей логических схем.

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

510.6
Ч-575

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

УДК

510.6

ББК 22.12
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
теория множеств -- самопринадлежность -- обход парадоксов -- теорема о неподвижной точке

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

510.6
Ч-57

Чечулин, В. Л.
О самопринадлежащих множествах как неподвижных точках / В. Л. Чечулин // Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2012. - Вып. 3 (11). - С. 12-13. - Библиогр.: с. 13 (5 назв.)

УДК

510.6

ББК 22.12
Рубрики: Математика
Математическая логика

Кл.слова (ненормированные):
множества с самопринадлежностью -- множество всех множеств -- неподвижные точки
Аннотация: Указано, что самопринадлежащие множества являются неподвижными точками отображения множества всех множеств в себя, порождаемого отношением принадлежности (с учетом транзитивности принадлежности объектов, принадлежащих самопринадлежащему объекту).

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

510.6
Ч-57
!!!kk1bo_W.pft: FILE NOT FOUND!

УДК

510.6

ББК 22.12
Рубрики: Математика
Математическая логика

Кл.слова (ненормированные):
структурный изоморфизм -- множество подмножеств -- формальные языки -- формальные системы -- множество всех множеств
Аннотация: Описано свойство структурного изоморфизма множеств подмножеств структурно изоморфных множеств в теории множеств с самопринадлежностью. Указана прикладная интерпретация этого свойства в лингвистической области. Минимальная модельная область для формального языка с самоссылочностью - все множество всех множеств.

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

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
Рубрики: Математика
Математическая логика

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

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

11.

510.6
З-862

Зорихин, М. П.
Обучающая программа "нормальные алгоритмы Маркова" / М. П. Зорихин, О. И. Перескокова // Современные проблемы математики и ее прикладные аспекты: материалы всерос. науч.-практ. конф., Пермь, Перм. ун-т, 29-31 окт. 2013 г. - Пермь, 2013. - С. 151. - Библиогр.: с. 151 (1 назв.)

УДК

510.6

371.69:004.3

ББК 22.12 + 74с
Рубрики: Математика
   Математическая логика
   Образование. Педагогика
   Применение вычислительной техники в педагогике
Кл.слова (ненормированные):
алгоритмы -- нормальные алгоритмы Маркова

Доп.точки доступа:
Перескокова, О.И.

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

12.

510.6
Т 98

Тюрин, С. Ф.
Логические элементы с избыточным базисом / С. Ф. Тюрин // Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2013. - № 3 (22). - С. 91-105. - Библиогр.: с. 104-105 (34 назв.)

ГРНТИ	27.03	47
УДК	510.6	621.382

ББК 22.12 + 32.852
Рубрики: Математика
   Математическая логика
   Радиоэлектроника
   Полупроводниковые приборы

Кл.слова (ненормированные):
избыточный базис -- логические элементы -- программируемая логическая интегральная схема -- функционально-полные толерантные элементы
Аннотация: Подводятся итоги долговременной работы автора в области логических схем, программируемой логики, в том числе с использованием избыточных логических базисов элементов - функционально-полных элементов толерантных (ФПТ) элементов, а также представляются новые результаты в направлении повышения их надежности, отказоустойчивости.

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

13.

621.382
С 40

Системная реализация логики в ПЛИС FPGA / С. Ф. Тюрин [и др.] // Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2013. - № 4 (23). - С. 85-90. - Библиогр.: с. 90 (5 назв.)

ГРНТИ	47	27.03
УДК	621.382	510.6

ББК 32.852 + 22.12
Рубрики: Радиоэлектроника
   Полупроводниковые приборы
   Математика
   Математическая логика

Кл.слова (ненормированные):
FPGA -- ПЛИС -- дешифраторы -- логические блоки -- логические элементы -- мультиплексоры -- программируемые логические интегральные системы
Аннотация: Описываются и оцениваются по сложности в качестве транзисторов известная и предложенные программируемые логические интегральные схемы (ПЛИС) типа FPGA.

Доп.точки доступа:
Тюрин, С. Ф.; Городилов, А. Ю.; Громов, О. А.; Сулейманов, А. А.

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

14.

621.382
Т 98

Тюрин, С. Ф.
Реконфигурация функционально-полных толерантных элементов / С. Ф. Тюрин, А. Ю. Городилов , А. А. Сулейманов // Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2013. - № 4 (23). - С. 91-95. - Библиогр.: с. 95 (13 назв.)

ГРНТИ	47	27.03
УДК	621.382	510.6

ББК 32.852 + 22.12
Рубрики: Радиоэлектроника
   Полупроводниковые приборы
   Математика
   Математическая логика

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

Доп.точки доступа:
Городилов, А. Ю.; Сулейманов, А. А.

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

15.

517
М 29

Марценюк, М. А.
Алгоритмы нечеткого выбора: обзор и матричная реализация / М. А. Марценюк, И. П. Селетков // Вестник Пермского университета. Сер.: Информационные системы и технологии. - 2013. - Вып. 13 (40). - С. 17-21. - Библиогр.: с. 21

ГРНТИ	27.23	27.03
УДК	517	510.6

ББК 22.16 + 22.12
Рубрики: Математика
   Математический анализ
   Математическая логика

Кл.слова (ненормированные):
матричная реализациия -- нечеткая логика -- нечеткие выводы -- нечеткие предикаты
Аннотация: Проводится обзор алгоритмов нечеткого логического вывода и ссылки на литературу.

Доп.точки доступа:
Селетков, И. П.

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

16.

519.1
Т 985

Тюрин, С. Ф.
Логический элемент ПЛИС-FPGA для реализации ДНФ / С. Ф. Тюрин, А. М. Морозов, И. С. Понуровский // Вестник Ижевского государственного технического университета. - Ижевск, 2013. - № 2. - С. 95-98

УДК

519.1

510.6

ББК 22.12 + 22.174.1
Рубрики: Математика
Математическая логика
Комбинаторный анализ
Кл.слова (ненормированные):
программируемая логическая интегральная схема -- логический элемент -- конфигурируемый логическмий блок -- дизъюнктивная нормальная форма

Доп.точки доступа:
Морозов, А. М.; Понуровский, И. С. (студент)

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

17.

621.382
Т 98

Тюрин, С. Ф.
Модифицированный логический элемент LUT FPGA / С. Ф. Тюрин // Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2014. - Вып. 1 (24). - С. 69-74. - Библиогр.: с. 73 (16 назв.)

УДК

621.382

510.6

ББК 32.852 + 22.12
Рубрики: Радиоэлектроника
   Полупроводниковые приборы
   Математика
   Математическая логика

Кл.слова (ненормированные):
быстрое диагностирование -- встроенное сервисное обслуживание -- логические элементы LUT FPGA -- передающие транзисторы
Аннотация: Предлагается модифицировать логический элемент LUT ПЛИС типа FPGA путем введения дополнительных средств, позволяющих производить его "быстрое" диагностирование путем подачи сигналов с выхода дерева транзисторов на его вход.

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

18.

519.1
Т 98

Тюрин, С. Ф.
Анализ надежности логических элементов с избыточным базисом при учете резервирования входов / С. Ф. Тюрин, А. Ю. Плотникова , Р. В. Вихорев // Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2014. - Вып. 4 (27). - С. 104-110. - Библиогр.: с. 109-110 (11 назв.)

УДК

519.1

510.6

ББК 22.174.1 + 22.12
Рубрики: Математика
   Комбинаторный анализ
   Математическая логика

Кл.слова (ненормированные):
избыточные базисы -- интенсивность отказов -- логические элементы -- резервирование входов
Аннотация: Описывается исследование вариантов резервирования входов элемента с избыточным базисом, сохраняющего реализуемую логическую функцию.

Доп.точки доступа:
Плотникова, А. Ю.; Вихорев, Р. В.

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

19.

004.8
Ф 49

Фиговский, О. Л.
Математические модели и алгоритмы интуиции, озарений и гипноза роботов / О. Л. Фиговский, О. Г. Пенский // Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2020. - Вып. 2 (49). - С. 39-46. - Библиогр.: с. 45 (14 назв.) . - ISSN 1993-0550

ГРНТИ	47	27.03
УДК	004.8	510.6

ББК 32.813 + 22.12
Рубрики: Радиоэлектроника
   Искусственный интеллект. Экспертные системы
   Математика
   Математическая логика

Кл.слова (ненормированные):
интуиция -- искусственный интеллект -- математические модели -- озарение -- роботы -- эмоции
Аннотация: Вводятся определения робота, его интуиции и озарений, предлагаются алгоритмы принятия решения эмоциональным роботом с неабсолютной памятью, основанные на введенных определениях. В статье вводятся определение гипноза роботов и определение робота-гипнотизера, а также определение коэффициентов внушаемости робота; приводятся математические модели и алгоритм гипнотического состояния роботов, основанные на математической теории эмоциональных роботов; предлагаются способы обеспечения безопасности роботов для человека и личной преданности робота конкретному человеку.

Доп.точки доступа:
Пенский, О.Г.

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

Тематический навигатор

Статистика обращений

Статистика за 02.06.2024
Число запросов	16175
Число посетителей	1157
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)