| Представление и синтаксическая проверка формул языка логики высказываний Java был реализован алгоритм, позволяющий проверить является ли формула сднф. Суть алгоритма заключается в первичной проверке формулы, построении дерева выражения и его проверки на соответствие сднф Отчет 480,7 Kb. 1 | o'qib |
| Лекция Тема: Кодирование речевого сигнала. План лекции: Общее описание алгоритма кодирования речевого сигнала celp Sq(f) преобразование Фурье исходного и синтезированного речевых сигналов, а W(f) весовая функция. Принимая во внимание важность для восприятия речи не только формант, но и межформантных областей Лекция 39,52 Kb. 3 | o'qib |
| Глубокой древности. Однако в явном виде понятие алгоритма сформировалось лишь в начале XX века «эффективного метода»[3]; среди таких формализаций — рекурсивные функции Геделя — Эрбрана — Клини 1930, 1934 и 1935 гг., λ-исчисление Алонзо Чёрча 1936 г., «Формулировка 1» Эмиля Поста 1936 года и машина Тьюринга 166,17 Kb. 1 | o'qib |