Логические Выражения 5.0
Логические Выражения - Программа в состоянии выполнять очень сложные и трудоемкие преобразования, на которые человеку требуется несколько минут, за доли секунды.
|
Логические Выражения - Программа в состоянии выполнять очень сложные и трудоемкие преобразования, на которые человеку требуется несколько минут, за доли секунды. Обычно полученный результат вручную упрощению не поддается, хотя бывают и редкие исключения.
От автора:
"Изначально эту программу я написал, когда в 11-м классе по информатике мы проходили алгебру логики. Сначала она представляля собой простой компилятор логических выражений и вычислитель таблицы истинности. Работала из командной строки в текстовом режиме. Затем появилась возможность автоматически производить простейшие эквивалентные преобразования, и так далее.
В институте еще раз проходили алгебру логики, программа была модифицирована для выполнения алгоритма Квайна-(Кого-то еще) минимизации функций. Точнее, для выполнения БДЗ по дискретной математике, т.к. программа выводит такое решение, которое можно переписать и сдать, с небольшими ручными дополнениями."
Скачать Логические Выражения 5.0
Программы разработчика
Альтернативные программы
Логические Выражения 5.0
Алексей Пантелеев
Логические Выражения - Программа в состоянии выполнять очень сложные и трудоемкие преобразования, на которые человеку требуется несколько минут, за доли секунды.
Logical Calculator v2.0
PiddleSoft Software Group
Калькулятор сложных логических выражений.
Поиск в текстовом файле по шаблону
sergf@service.volvo.ru
Принцип "кто последний - тот и папа", примененный на практике.
JUL 3.1
mic
Система JUL распространяется в рамках проекта "Интернет-школа при ФТЛ №1".
Административная обработка
Vladimir Kozlov
Административная обработка, производящая чистку ".
LogiTable 1.1
Ларин Сергей Владимирович
Программа LogiTable предназначена для обработки логических функций, а именной для расчета "таблиц истинности" для них.
Программа для выполнения расчетов симплексным методом 1.0
Жердин Дмитрий
Программа для выполнения расчетов симплексным методом - Как известно решение задач симплексным методом применяется очень часто.
Учет оплаты договоров
plr@halyava.ru
Ведение справочника подразделений, учет договоров в разрезе подразделений.
HiMath Computing Package 1.0
Кунин А. Я.
HiMath Computing Package - Пакет программ для выполнения расчетов по высшей и дискретной математике.
Logic 1.0
Komaroff Alexey aka Cheshire Cat
Программа для минимизации логических функций методом карты Карно.
Другие программы категории
Зодиак 2.51
Максим Горбач
Зодиак - c помощью этой программы вы много нового о себе узнаете.
I2R Computer - еженедельный сетевой журнал #3
Антон Дрейзин
I2R Computer - Электронный журнал о компьютерах, программах, Интернете.
Считалка калорий 1.4.58
Olga Lebedeva
Считалка калорий - программа поможет рассчитать пищевую и энергетическую ценность (калорийность) рациона.
Socionix 1.06
Oleksandr Liutyi
Socionix - Программа для тестирования типа личности (Тест института им.
Words 3.12
Soft-One.com
Words - это обучающая программа, помогающая учить иностранные слова, не затрачивая на это много времени.