510.6 Р 98 Рябцев, Александр. Суждение и вычисление [Текст] : не исключая третье / А. Рябцев> // PC Magazine. - 2006. - N 11. - С. 130-134 . - ISSN 0869-4257
Рубрики: Вычислительная техника--Персональные компьютеры Математика--Математическая логика Кл.слова (ненормированные): многозначная логика; трехзначная логика; трехзначные множества; теория решеток; тернарные решетки; тернарные кольца; Булевы кольца; кольца Булевы; модальности; импликации Лукасевича; Лукасевича импликации; машина Фоулера; Фоулера машина; Сетунь; история компьютеров Аннотация: Трехзначная логика и история попыток создать вычислительные машины на ее основе. Перейти: http://pcmagazine.ru/?ID=619517 Доп.точки доступа: Фоулер, изобретатель вычислительной машины (Томас); Брусенцов, Н. П. |
Брусенцов, Н. П. Компьютеризация булевой алгебры [Текст] / Н. П. Брусенцов, Ю. С. Владимирова> // Доклады Академии наук. - 2004. - Т. 395, N 1. - С. 7-10 . - ISSN 0869-5652
Рубрики: Математика Алгебра Кл.слова (ненормированные): алгебра логики -- булева алгебра -- булевы выражения -- дизъюнкция -- индивидные конъюнкции -- компьютеризация алгебры -- конъюнкция -- языки программирования Аннотация: Представление булевых выражений ДК-шкалами позволяет просто и эффективно компьютеризировать алгебру СДНФ-выражений, поскольку операции отрицания, конъюнкции и дизъюнкции этих выражений реализуются как инверсия, пересечение и объединение ДК-шкал, т. е. как побитные отрицание, конъюнкция и дизъюнкция булевых векторов, отображающих шкалы. Доп.точки доступа: Владимирова, Ю. С. |
510.6 Б 892 Брусенцов, Н. П. (канд. техн. наук). Алгебраическая реконструкция силлогистики [Текст] / Н. П. Брусенцов> // Информационные технологии. - 2008. - N 2. - С. 7-10. - Библиогр.: с. 10 (5 назв. )
Рубрики: Математика Математическая логика Кл.слова (ненормированные): силлогистика -- логистика -- законы существования противоположностей -- теоретическая логика -- категоричекая силлогистика Аристотеля Аннотация: Данная исчерпывающая алгебраизация важнейшего фрагмента силлогистики убедительно подтверждает реальность воссоздания естественной, благоразумной логики Аристотеля на основе диалектического принципа существования противоположностей. |
004(091) Б 839 Борщев, Владимир Борисович (доктор физико-математических наук). Лаборатория электромоделирования ВИНИТИ: 1958-1959 гг. [Текст] / В. Б. Борщев> // Научно-техническая информация. Сер. 2, Информационные процессы и системы. - 2012. - № 11. - С. 5-19. - Библиогр.: с. 18-19 (22 назв. ). - Примеч. в сносках . - ISSN 0548-0027
Рубрики: Информатика История информатики и информационной деятельности Кл.слова (ненормированные): алгоритмы -- воспоминания -- информационно-логический язык -- информационные машины -- информационные языки -- информационный поиск -- история вычислительной техники -- магнитные элементы -- научные институты -- обход графа -- память (вычислительная техника) -- семантика -- теоретические исследования -- ученые -- химия -- электронные вычислительные машины -- ЭВМ Аннотация: Воспоминания автора об истории создания и научной деятельности Лаборатории электромоделирования ВИНИТИ в конце 1950-х годов. Доп.точки доступа: Гутенмахер, Лев Израилевич (доктор технических наук, профессор; математик, специалист в области электрического моделирования ; 1908-1981); Брусенцов, Н. П.; Головастикова, П. П.; Малиновский, Б. Н.; Успенский, В. А.; Падучева, Е. В.; Монтегю, Р.; Аврух, Мириам Львовна |