Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 6
Отмеченные записи: 0
1.
Подробнее
Закревский, Аркадий Дмитриевич.
Логические уравнения / А. Д. Закревский. - Изд. 2-е, стер. - Москва : Едиториал УРСС, 2003. - 95 c. : ил. - Библиогр. : с. 93-94.. - ISBN 5354004683
Кл.слова (ненормированные):
логический анализ -- булева алгебра -- логический синтез -- математическая логика -- полисиллогизмы -- логические уравнения
Экземпляры всего: 2
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Закревский, Аркадий Дмитриевич.
Логические уравнения / А. Д. Закревский. - Изд. 2-е, стер. - Москва : Едиториал УРСС, 2003. - 95 c. : ил. - Библиогр. : с. 93-94.. - ISBN 5354004683
| УДК |
Кл.слова (ненормированные):
логический анализ -- булева алгебра -- логический синтез -- математическая логика -- полисиллогизмы -- логические уравнения
Экземпляры всего: 2
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
2.
Подробнее
Коваленко, Игорь Николаевич.
Избранные задачи вероятностной комбинаторики / И. Н. Коваленко, А. А. Левитская, М. Н. Савчук ; [отв. ред. В. Ф. Колчин] ; Академия наук Украинской ССР, Институт кибернетики. - Киев : Наукова думка, 1986. - 223 c.
Кл.слова (ненормированные):
предельные теоремы -- комбинаторика -- математика -- метод моментов -- случайные линейные уравнения -- логические уравнения -- задачи -- абелевы группы -- булевы матрицы -- гауссовские случайные величины
Доп.точки доступа:
Савчук, Михаил Николаевич
Левитская, Алина Александровна
Колчин, В. Ф. \ред.\
Институт кибернетики (Киев)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Коваленко, Игорь Николаевич.
Избранные задачи вероятностной комбинаторики / И. Н. Коваленко, А. А. Левитская, М. Н. Савчук ; [отв. ред. В. Ф. Колчин] ; Академия наук Украинской ССР, Институт кибернетики. - Киев : Наукова думка, 1986. - 223 c.
| УДК |
Кл.слова (ненормированные):
предельные теоремы -- комбинаторика -- математика -- метод моментов -- случайные линейные уравнения -- логические уравнения -- задачи -- абелевы группы -- булевы матрицы -- гауссовские случайные величины
Доп.точки доступа:
Савчук, Михаил Николаевич
Левитская, Алина Александровна
Колчин, В. Ф. \ред.\
Институт кибернетики (Киев)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
3.
Подробнее
Депман, Иван Яковлевич.
Первое знакомство с математической логикой / И. Я. Депман ; Общество "Знание" РСФСР, Ленинградское отделение. - Ленинград : [б. и.], 1963. - 56 c. : ил.
Кл.слова (ненормированные):
история математики -- алгебра высказываний -- логические уравнения -- алгебра логики -- математика -- алгебра -- математическая логика
Доп.точки доступа:
"Знание", общество РСФСР. Ленинградское отделение
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Депман, Иван Яковлевич.
Первое знакомство с математической логикой / И. Я. Депман ; Общество "Знание" РСФСР, Ленинградское отделение. - Ленинград : [б. и.], 1963. - 56 c. : ил.
| УДК |
Кл.слова (ненормированные):
история математики -- алгебра высказываний -- логические уравнения -- алгебра логики -- математика -- алгебра -- математическая логика
Доп.точки доступа:
"Знание", общество РСФСР. Ленинградское отделение
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
4.
Подробнее
Закревский, Аркадий Дмитриевич.
Логические уравнения с приложениями в автоматизированном проектировании и управлении [Текст] / А. Д. Закревский. // Автоматика и телемеханика : научно-технический журнал. - Москва : Наука,. - 2004. - №4. - Библиогр.: с. 183-184 ( 22 назв. ). - Часть текста на англ. яз.
Кл.слова (ненормированные):
уравнения -- логические переменные -- логические уравнения -- эксперименты -- переменные -- компьютерные эксперименты -- редукция -- константы -- булевые функции -- большие системы -- БСЛУ -- большие системы логических уравнений -- дерево поиска -- перебор уравнений -- перебор аргументов -- редукционные методы -- распространение констант -- метод силлогизмов -- таблицы -- локальная редукция
Аннотация: Описываются новые редукционные методы решения больших систем логических уравнений. Приводится их анализ и результаты компьютерных экспериментов.
Закревский, Аркадий Дмитриевич.
Логические уравнения с приложениями в автоматизированном проектировании и управлении [Текст] / А. Д. Закревский. // Автоматика и телемеханика : научно-технический журнал. - Москва : Наука,. - 2004. - №4. - Библиогр.: с. 183-184 ( 22 назв. ). - Часть текста на англ. яз.
Кл.слова (ненормированные):
уравнения -- логические переменные -- логические уравнения -- эксперименты -- переменные -- компьютерные эксперименты -- редукция -- константы -- булевые функции -- большие системы -- БСЛУ -- большие системы логических уравнений -- дерево поиска -- перебор уравнений -- перебор аргументов -- редукционные методы -- распространение констант -- метод силлогизмов -- таблицы -- локальная редукция
Аннотация: Описываются новые редукционные методы решения больших систем логических уравнений. Приводится их анализ и результаты компьютерных экспериментов.
5.
Подробнее
Закревский, Аркадий Дмитриевич.
Алгоритмы синтеза полиномов, реализующих слабо определенные булевы функции и системы [Текст] / А. Д. Закревский. // Автоматика и телемеханика : научно-технический журнал. - Москва : Наука,. - 2004. - №6. - Библиогр.: с. 174-176 (37 назв. )
Кл.слова (ненормированные):
уравнения -- полиномы -- булевы функции -- матричные уравнения -- логические уравнения -- алгоритмы синтеза полиномов
Аннотация: Рассматриваются слабо определенные булевы функции и системы. Предлагается серия практически эффективных алгоритмов их реализации AND/EXOR-схемами, основанных на оптимизации полиномиальных представлений и решений соответствующих матричных логических уравнений.
Закревский, Аркадий Дмитриевич.
Алгоритмы синтеза полиномов, реализующих слабо определенные булевы функции и системы [Текст] / А. Д. Закревский. // Автоматика и телемеханика : научно-технический журнал. - Москва : Наука,. - 2004. - №6. - Библиогр.: с. 174-176 (37 назв. )
Кл.слова (ненормированные):
уравнения -- полиномы -- булевы функции -- матричные уравнения -- логические уравнения -- алгоритмы синтеза полиномов
Аннотация: Рассматриваются слабо определенные булевы функции и системы. Предлагается серия практически эффективных алгоритмов их реализации AND/EXOR-схемами, основанных на оптимизации полиномиальных представлений и решений соответствующих матричных логических уравнений.
6.
Подробнее
Карков, Александр Федорович.
Цифровые моделирующие автоматы / А. Ф. Катков ; отв. ред. В. Б. Смолов ; Академия наук Украинской ССР, Институт проблем моделирования в энергетике. - Киев : Наукова думка, 1990. - 220 с. : ил.. - ISBN 5120012817
Кл.слова (ненормированные):
моделирующие автоматы -- схемотехника -- разрядно-логистическое моделирование -- компьютерное моделирование -- логические уравнения -- вычислительная техника
Доп.точки доступа:
Смолов, В. Б. \ред.\
Академия наук Украинской ССР. Институт проблем моделирования в энергетике
Свободных экз. нет
Карков, Александр Федорович.
Цифровые моделирующие автоматы / А. Ф. Катков ; отв. ред. В. Б. Смолов ; Академия наук Украинской ССР, Институт проблем моделирования в энергетике. - Киев : Наукова думка, 1990. - 220 с. : ил.. - ISBN 5120012817
| УДК |
Кл.слова (ненормированные):
моделирующие автоматы -- схемотехника -- разрядно-логистическое моделирование -- компьютерное моделирование -- логические уравнения -- вычислительная техника
Доп.точки доступа:
Смолов, В. Б. \ред.\
Академия наук Украинской ССР. Институт проблем моделирования в энергетике
Свободных экз. нет
Страница 1, Результатов: 6