Матема́тика — точная формальная наука, первоначально исследовавшая количественные отношения и пространственные формы. В более современном понимании, это наука об отношениях между объектами, о которых ничего не известно, кроме описывающих их некоторых свойств, — именно тех, которые в качестве аксиом положены в основание той или иной математической теории.
Алгори́тм — совокупность точно заданных правил решения некоторого класса задач или набор инструкций, описывающих порядок действий исполнителя для решения определённой задачи. В старой трактовке вместо слова «порядок» использовалось слово «последовательность», но по мере развития параллельности в работе компьютеров слово «последовательность» стали заменять более общим словом «порядок». Независимые инструкции могут выполняться в произвольном порядке, параллельно, если это позволяют используемые исполнители.
Нау́ка — деятельность, направленная на выработку и систематизацию объективных знаний о действительности.
Аксио́ма, или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Арифме́тика — раздел математики, изучающий числа, их отношения и свойства. Предметом арифметики является понятие числа и его свойства. В арифметике рассматриваются измерения, вычислительные операции и приёмы вычислений. Изучением свойств отдельных целых чисел занимается высшая арифметика, или теория чисел. Теоретическая арифметика уделяет внимание определению и анализу понятия числа, в то время как формальная арифметика оперирует логическими построениями предикатов и аксиом. Арифметика является древнейшей и одной из основных математических наук; она тесно связана с алгеброй, геометрией и теорией чисел.
Ло́гика (др.-греч. λογική — «наука о правильном мышлении»; «способность к рассуждению»; от λόγος «учение, наука») — философская дисциплина и нормативная наука о законах, формах и приёмах интеллектуальной деятельности.
Исто́чник (фо́рма) пра́ва — способ, с помощью которого закрепляются нормы права.
Клише́ :
- Речевое клише — стандартные образцы словоупотребления, типовые схемы словосочетаний и синтаксических конструкций, а также общие модели речевого поведения в конкретных ситуациях.
- Идеологическое клише — шаблонное выражение, употребляемое в публицистике, журналистике, публичных выступлениях политических и государственных деятелей.
- Психологическое клише — см. Стереотип.
- Типографское клише — печатная форма для воспроизведения текста и иллюстраций.
- Клише (искусство) — установленная традицией, застывшая форма.
Поэ́тика — теория поэзии; наука, изучающая поэтическую деятельность, её происхождение, формы и значение, — и шире, законы литературы вообще.
ОПОЯ́З, русский формализм, «формальная школа» — научное объединение, созданное группой теоретиков и историков литературы, лингвистов, стиховедов — представителей так называемой «формальной школы» и существовавшее в 1916—1925 годах. Сама «формальная школа» просуществовала до начала 1930-х годов и оказала значительное влияние на теоретическое литературоведение и семиотику.
Форма́льная систе́ма — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причём все условия, регулирующие употребление этих слов в теории, явно высказаны посредством аксиом и правил, позволяющих вывести одну фразу из других.
Математическое доказательство — рассуждение с целью обоснования истинности какого-либо утверждения (теоремы), цепочка логических умозаключений, показывающая, что при условии истинности некоторого набора аксиом и правил вывода утверждение верно. В зависимости от контекста, может иметься в виду доказательство в рамках некоторой формальной системы или текст на естественном языке, по которому при необходимости можно восстановить формальное доказательство. Необходимость формального доказательства утверждений — одна из основных характерных черт математики как дедуктивной отрасли знаний, соответственно, понятие доказательства играет центральную роль в предмете математики, а наличие доказательств и их корректность определяют статус любых математических результатов.
Соц-арт — одно из направлений постмодернистского искусства, сложившееся в СССР в 1970-х годах в рамках так называемой альтернативной культуры, противостоящей государственной идеологии того периода.
Формализм — один из подходов к философии математики, пытающийся свести проблему оснований математики к изучению формальных систем. Наряду с логицизмом и интуиционизмом считался в XX веке одним из направлений фундаментализма в философии математики.
Метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики».
Искусствове́дение, искусствозна́ние — род гуманитарных наук, комплекс дисциплин, изучающих искусство.
В 1948 году были различные научные и технологические события, некоторые из которых представлены ниже.
Осип Мартынович (Меерович) Бескин — советский литературный и художественный критик.
Идеологи́ческое клише́ — приём риторики, шаблонное выражение, употребляемое в публицистике, СМИ, публичных выступлениях с целью дать лаконичную, образную, запоминающуюся характеристику политическим событиям и их участникам.
Буржуазный формализм — идеологическое клише, означающее любое проявление в искусстве, которое выходило за произвольно установленные в СССР рамки социалистического реализма или противопоставлялось ему. Советское искусствоведение рассматривало формализм как антинародную, буржуазную теорию. Сам термин «формализм» постепенно утратил научный смысл, приобретя оттенок вульгарности, поскольку он стал употребляться исключительно для дискредитации художников и направлений в искусстве, которые не отвечали официальным доктринам.
