Программы для Windows » Образование, наука » Математика » Логические Выражения для Windows
Логические Выражения для Windows

Логические Выражения 5.2

в корзинув избранноенаписать отзывподписаться н обновления
Описание Логические Выражения 5.2Описание   Скачать Логические Выражения 5.2СКАЧАТЬ (185 Кб) Скриншоты Логические Выражения 5.2Скриншоты (1)   Статистика Логические Выражения 5.2Статистика   Отзывы о Логические Выражения 5.2Отзывы (14)  
Оцените программу!
4.49 из 5, всего оценок - 27
  • Рейтинг программы - 4.49 из 5
  • 1
  • 2
  • 3
  • 4
  • 5
Логические Выражения - Программа в состоянии выполнять очень сложные и трудоемкие преобразования, на которые человеку требуется несколько минут, за доли секунды. Обычно полученный результат вручную упрощению не поддается, хотя бывают и редкие исключения.

От автора:
"Изначально эту программу я написал, когда в 11-м классе по информатике мы проходили алгебру логики. Сначала она представляля собой простой компилятор логических выражений и вычислитель таблицы истинности. Работала из командной строки в текстовом режиме. Затем появилась возможность автоматически производить простейшие эквивалентные преобразования, и так далее.

В институте еще раз проходили алгебру логики, программа была модифицирована для выполнения алгоритма Квайна-(Кого-то ещё) минимизации функций. Точнее, для выполнения БДЗ по дискретной математике, т.к. программа выводит такое решение, которое можно переписать и сдать, с небольшими ручными дополнениями."

Логические Выражения
Статус программы Бесплатная
ОперационкаWindows XP, 98, ME, 2000
Интерфейс Русский
Закачек (сегодня/всего)0 / 14 012
Разработчик
Последнее обновление (Сообщить о новой версии)
Категории программыМатематика - Программирование
ТОП-сегодня раздела "Математика"
 

MathType 7.4.4.516

MathType - отличное приложение для работы с формулами, математическими выражениями и символами в текстовых документах. Поддерживается работа с Microsoft Office,

GeoGebra 6.0.604

GeoGebra - графический калькулятор для функций, геометрии и статистики. Здесь объединены геометрия, алгебра, построение таблиц, статистические и арифметические

Отличник 3.38

Отличник - тренажер решения заданий по математике и русскому языку для учащихся 1-4 классов. Программа способна генерировать несложные математические примеры,

Advanced Grapher 2.2

Advanced Grapher - Мощная и простая в использовании программа для построения графиков и их анализа

PTC Mathcad Express 3.1

PTC Mathcad Express - мощная программа для инженерных расчетов, с помощью которой можно с легкостью производить расчеты и документировать их для совместного и

Maxima 5.43.2

Maxima — свободная система компьютерной алгебры для работы с символьными и численными выражениями, включающая в себя инструменты для дифференцирования,

Отзывы о программе Логические Выражения

Коля про Логические Выражения 5.2 [20-03-2016]

А не подскажите .. вот есть что нибудь подобное в маткад или мапл ?
2 | 2 | Ответить

Бывалый про Логические Выражения 5.2 [18-11-2013]

обьясните как обозначается
коньюнкция
дизьюнкция
импликация
эквиваленция
4 | 7 | Ответить

Дастан про Логические Выражения 5.2 [04-12-2012]

надо упростить выражение помогите,,,
x
2 | 7 | Ответить

Роман про Логические Выражения 5.2 [16-04-2012]

Спасибо, человечищще! Думал самому писать придется по Сошникову...
2 | 2 | Ответить

sansan про Логические Выражения 5.2 [01-02-2012]

Большое спасибо)
3 | 2 | Ответить

Читать все отзывы (14) / Добавить отзыв