Краткая методичка по логике

Постраничный перечень понятий и теорем.

Логика. Язык. Высказывание. Истинное высказывание. Ложное
высказывание. Истина. Ложь. Обозначение для истины. Обозначение для лжи.
Истинностное значение высказывания. Равносильные высказывания. Синонимы для
Читать далее

Преобразование Фурье

Kalmiik-forever
Глава I
Преобразование Фурье.

§1. Класс Шварца.
Преобразование Фурье отображает класс Шварца на себя.
Определение. Следующее множество комплекснозначных функций
Читать далее

Теория устойчивости

4. Критерий устойчивости Михайлова.
Частотные критерии устойчивости получили наиболее широкое практическое
применение, так как, во-первых, они позволяют судить об устойчивости
замкнутой системы по более простой передаточной функции системы W ( s ) ;
Читать далее

Анализ снизу вверх и сверху вниз

АНАЛИЗ СНИЗУ ВВЕРХ И СВЕРХУ ВНИЗ

“Сверху вниз” vs. “снизу вверх”, “прямой” vs. “обратный”, “управляемый
данными” vs. “движимый целью” — три пары определений для таких терминов,
как “цепной анализ”, “парсинг”, “синтаксический разбор”, “логический
Читать далее

Математическая Логика

Конспекты лекций по математической логике.

1. Теория алгоритмов
1.1 Различные подходы к определению алгоритма:
10. Неформальное понятие алгоритма (последовательность инструкций для
выполнения действия).
Читать далее

Формулы тригонометрии

tg(?+?)=(tg?+tg?)/(1–tg?·tg?); tg(?-?)=(tg?–tg?)/(1+tg?·tg?)
ctg(?+?)=(ctg?·ctg?–1)/(ctg?+ctg?); ctg(?+?)=(ctg?·ctg?+1)/(ctg?–ctg?)
sin?+sin?=2sinЅ(?+?)cosЅ(?-?); sin?-sin?=2cosЅ(?+?)sin Ѕ(?-?)
cos?+cos?=2cosЅ(?+?)cosЅ(?-?); cos?-cos?=-2sinЅ(?+?)sin Ѕ(?-?)
Читать далее

Большая коллекция шпор для МАТАНа (1 семестр 1 курс)

|ЭЛЕМЕНТЫ ТЕОРИИ |СЧЕТНОЕ МНОЖЕСТВО | |
|МНОЖЕСТВ |- множество | |
|(с) |равномощное множеству| |
|http://karatel.nm.ru |натуральных чисел. | |
Читать далее

Решение задач на построение сечений многогранников

Содержание:

|Из истории начертательной геометрии |3 |
|Виды проецирования |5 |
|Пересечение многогранников плоскостью (описание метода) |12 |
Читать далее