Пустоваченко, Н. Н.

    Способы решения логических задач [Текст] / Н. Н. Пустоваченко // Информатика и образование. - 2006. - N 1. - С. . 35-45. - m, 2005, 2006, rus. - RUMARS-inio06_000_001_0035_1. - МУК "ЦБС г. Тольятти". - Окончание. Начало: N 12, 2005. - N 1. - С. 35-45. - inio06_000_001_0035_1, 1, 35-45
УДК
ББК 74.263.2
Рубрики: Образование. Педагогика--Методика преподавания учебных предметов
Кл.слова (ненормированные):
задачи -- решения задач -- логические задачи -- алгебра логики -- информатика в школе -- Excel
Аннотация: В статье рассмотрены различные методы решения типовых логических задач, рассматриваемых в курсе информатики, в том числе решение с помощью рассуждений, средствами алгебры логики, а также решение при помощи ЭВМ (путем написания программы либо средствами электронных таблиц Excel) .

Нет сведений об экземплярах (Источник в БД не найден)




    Руковчук, Александр Владимирович (канд. экон. наук).

    Логико-вероятностная система оценки и оптимизации кредитного риска коммерческого банка [Текст] / А. В. Руковчук // Известия Санкт-Петербургского университета экономики и финансов. - 2005. - N 2. - С. . 122-136. - Библиогр.: с. 136 (7 назв. ). - s, 2005, , rus. - RUMARS-iuef05_000_002_0122_1. - ГУК Архангельская областная научная ордена Знак Почета библиотека им. Н. А. Добролюбова. - Ил.: табл., рис., фото. - N 2. - C. 122-136. - iuef05_000_002_0122_1, 2, 122-136
ГРНТИ
УДК
ББК 65.26
Рубрики: Экономика--Финансы
Кл.слова (ненормированные):
риск -- кредитный риск -- оценка риска -- банки -- коммерческие банки -- банковское кредитование -- кредитование заемщиков -- бинарные задачи -- алгебра логики -- математический аппарат -- логическое пространство -- вероятностное пространство
Аннотация: Разработанная логико-вероятностная система оценки кредитного риска содержит все необходимые составляющие для того, чтобы использовать ее в практической банковской деятельности по кредитованию юридических лиц.

Нет сведений об экземплярах (Источник в БД не найден)




    Кузичева, З. А.
    Влияние теории релейно-контактных схем на развитие математической логики [Текст] / З. А. Кузичева // Вестник Московского университета. Сер. 7, Философия . - 2009. - N 1. - С. 53-62. - Библиогр. в примеч. - Примеч.: с. 61-62 . - ISSN 0130-0091. - ISSN 0201-7385
УДК
ББК 87.42
Рубрики: Логика
   Логические формы и законы

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





    Сметанин, Ю. М. (канд. физ. -мат. наук).
    Сопоставление расширенной алгебры множеств и алгебры логики с точки зрения проблем полисиллогистики [Текст] / Ю. М. Сметанин // Менеджмент: теория и практика. - 2010. - N 3/4. - С. 12-27 : 1 табл., 3 рис. - Библиогр.: с. 27 (8 назв. )
УДК
ББК 22.12
Рубрики: Математика
   Математическая логика

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

Нет сведений об экземплярах (Источник в БД не найден)




    Лобовиков, В. О.
    Применение аппарата логических исчислений для анализа традиционных проблем философии права [Текст] : формально-этический закон контрапозиции правового закона в двузначной алгебре естественного права / В. О. Лобовиков // Философия науки. - 2012. - № 3. - С. 53-64. - Библиогр.: с. 63-64 (18 назв. ) . - ISSN 1560-7488
УДК
ББК 87.25 + 22.12 + 67
Рубрики: Философия
   Философия науки

   Математика

   Математическая логика

   Право

   Право. Юридические науки в целом

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

Нет сведений об экземплярах (Источник в БД не найден)




    Кинаш, Ю. С. (главный редактор).
    СМИ в современном политическом конфликте: сравнительный анализ кейсов Арабской весны [Текст] / Ю. С. Кинаш // Конфликтология. - 2013. - № 1. - С. 64-72 : 2 табл. - Библиогр. в сносках. - Библиогр.: с. 72 (7 назв.). - Реф. на англ. яз.
УДК
ББК 76 + 66.3(0),4
Рубрики: Средства массовой информации--Северная Африка, 2010-2011 гг.
   СМИ в целом--Северная Африка, 2010-2011 гг.

   Политика. Политология--Ближний Восток, 2010-2011 гг.

   Политика в отдельных сферах общественной деятельности--Ближний Восток, 2010-2011 гг.

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

Нет сведений об экземплярах (Источник в БД не найден)




    Левин, В. И. (доктор технических наук).
    Логические методы в теории конфликтов [Текст] / В. И. Левин // Информационные технологии. - 2013. - № 10. - С. 3-9. - Библиогр.: с. 9 (27 назв.) . - ISSN 1684-6400
УДК
ББК 32.815
Рубрики: Радиоэлектроника
   Теория автоматов

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

Нет сведений об экземплярах (Источник в БД не найден)




    Мешков, В. Е.
    Современное состояние и основные вызовы искусственного интеллекта [Текст] / В. Е. Мешков, Е. В. Мешкова, В. С. Чураков // Гуманитарные и социально-экономические науки. - 2013. - № 6. - С. 7-14. - Библиогр.: с. 13-14 . - ISSN 1997-2377
УДК
ББК 87.25
Рубрики: Философия
   Философия науки

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


Доп.точки доступа:
Мешкова, Е. В.; Чураков, В. С.
Нет сведений об экземплярах (Источник в БД не найден)




    Луговской, Кирилл Игоревич.
    Формирование системы учебных задач на примере темы "Алгебра логики" курса информатики [Текст] = Constructing the system of educational tasks on the example of the theme "Algebra of logic" of the informatics course / К. И. Луговской // Информатика и образование. - 2017. - № 4. - С. 39-45 : табл., рис. - Библиогр.: с. 45 (9 назв.). - Рез. англ. . - ISSN 0234-0453
УДК
ББК 74.26
Рубрики: Образование. Педагогика
   Методика преподавания учебных предметов

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

Нет сведений об экземплярах (Источник в БД не найден)




   
    Как начинался компьютер [Текст] // Компьютер-mouse. - 2018. - № 7. - С. 12-13 : 4 фот.
УДК
ББК 32.97г
Рубрики: Вычислительная техника
   История вычислительной техники

Кл.слова (ненормированные):
ПК -- ЭВМ -- алгебра логики -- история ЭВМ -- история компьютеров -- логические системы -- программное обеспечение -- электронно-вычислительные машины
Аннотация: Во все времена людям нужно было считать. Обратимся к истории вычислительных машин от ручных вычислительных инструментов до самых современных компьютеров и рассмотрим историю алгебры логики Джорджа Буля.


Доп.точки доступа:
Буль, Д.
Нет сведений об экземплярах (Источник в БД не найден)




   
    Как начинался компьютер [Текст] // Компьютер-mouse. - 2018. - № 8. - С. 12-14 : 11 фот.
УДК
ББК 32.97г
Рубрики: Вычислительная техника
   История вычислительной техники

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


Доп.точки доступа:
Буль, Д.; Шеннон, К.; Пирс, Ч.
Нет сведений об экземплярах (Источник в БД не найден)