Дискретная математика - Упоминания в других статьях


всего найдено упоминаний этой статьи: 49
информация о статьеВычислительная геометрия
Вычислительная геометрия — раздел дискретной математики, в котором рассматриваются алгоритмы для решения геометрических задач.

информация о статьеТеория автоматов
В дискретной математике, разделе информатики, теория автоматов изучает абстрактные машины в виде математических моделей, и проблемы, которые они могут решать. Теория автоматов наиболее тесно связана с теорией алгоритмов. Это объясняется тем, что автомат преобразует дискретную информацию по шагам в дискретные моменты времени и формирует результирующую информацию по шагам заданного алгоритма. Эти преобразования возможны с помощью технических и/или программных средств. Автомат можно представить как некоторое устройство (чёрный ящик), на которое подаются входные сигналы и снимаются выходные и которое может иметь некоторые внутренние состояния. При анализе автоматов изучают их поведение при различных возмущающих воздействиях и минимизируют число состояний автомата для работы по заданному алгоритму. Такой автомат называют абстрактным. При синтезе автоматов формируют систему из элементарных автоматов, эквивалентную заданному абстрактному автомату. Такой автомат называется структурным.

информация о статьеТеория типов
Теория типов — математически формализованная база для проектирования, анализа и изучения систем типов данных в теории языков программирования (раздел информатики). Многие программисты используют это понятие для обозначения любого аналитического труда, изучающего системы типов в языках программирования. В научных кругах под теорией типов чаще всего понимают более узкий раздел дискретной математики, в частности λ-исчисление с типами.



информация о статьеКузнецов, Владимир Алексеевич (учёный)
  • С 1976 г. и по настоящее время работает на кафедре прикладной математики и кибернетики ПетрГУ, где читает лекции по курсам "дискретная математика", "теория операторов" и др.



информация о статьеЛогическое программирование
Логи́ческое программи́рованиепарадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода. Логическое программирование основано на теории и аппарате математической логики с использованием математических принципов резолюций.

информация о статьеМатематика
Дискретная математика включает средства, которые применяются над объектами, способными принимать только отдельные, не непрерывные значения.


всего найдено цитат на эту статью 49
Проект wiki-linki.ru основан на данных Wikipedia, доступной в соответствии с GNU Free Documentation License.