Какая сигнатура называется функциональной: Ответы все модули дискретная математика итогового тестирования

Ответы все модули дискретная математика итогового тестирования

Автор admin На чтение 10 мин. Просмотров 1 Опубликовано 13.02.2013

Ответы на все модули по предмету дискретная математика, для итогового тестирования.

Ответы на модуль 1 (МНОЖЕСТВА И ОТНОШЕНИЯ) по предмету дискретная математика.

1) Как называется неорграф без циклов? ациклический.

2) Какое утверждение является верным? бинарное отношение R называется отношением эквивалентности, если оно рефлексивно, симметрично и транзитивно.

3) Какое утверждение является неверным? конечное множество является равномощным любому своему собственному подмножеству.

4) Как называется замкнутый обход симметричного мультиграфа по всем вершинам по одному разу? гамилътоновым циклом.

5) Как называется бинарное отношение, рефлексивное, антисимметричное и транзитивное? квазипорядок.

6) Какое утверждение не является верным? элементы множества не могут сами являться множествами.

7) Что такое граф? вершины и дуги.

8) Что такое булеан? совокупность всех подмножеств множества А.

9) Что понимается под множеством? совокупность некоторых объектов.

10) Как называется множество непустых подмножеств множества, если каждый элемент данного множества принадлежит в точности одному из его подмножеств, каждое из которых не является пустым? разбиением множества.

11) Какое множество А называется подмножеством множества В? если все элементы множества А принадлежат В.

12) Какое множество называют счетным? любое множество, равномощное множеству всех натуральных чисел.

13) Как называется бинарное отношение, которое только рефлексивно и транзитивно? отношение предпорядка.

14) Какое множество называется универсальным или универсумом? множество, содержащее все элементы, находящиеся в рассмотрении.

15) Какое утверждение является неверным? в сетевом графике имеются циклы.

16) Как называется симметричный граф, если любые две его вершины соединены между собой ребром? полный граф.

17) Какой граф называется связным? если любые две вершины графа соединены хотя бы одним путем.

18) Как называются отличающиеся друг от друга хотя бы одним элементом выборки длины k, составленные из n-элементного множества? сочетания без повторений из n элементов по k.

19) Какое свойство счетных множеств является неверным? любое подмножество счетного множества бесконечно.

20) Какие множества А и В называются равными или совпадающими? если они состоят из одних и тех же элементов.

21) Что понимается под решением задачи оптимизации «в слабом смысле»? нахождение единственного произвольного элемента.

22) Что такое задача перечисления в комбинаторике? если необходимо выделить все элементы множества, удовлетворяющие заданным свойствам.

23) Как называется последовательность дуг графа, таких, что конец любой дуги кроме последней совпадает с началом следующей дуги? путем в графе.

24) Что называется рacкраской (вершин) графа G? такое задание цветов вершинам G, что если [а, b] ребро, то вершины а и b имеют различные цвета.

25) Как называется замкнутый обход мультиграфа по всем ребрам по одному разу? эйлеровым циклом.

Ответы на модуль 2 (АЛГЕБРА И ТОПОЛОГИЯ) по предмету дискретная математика.

1) Что представляет собой тривиальный фильтр множества X? семейство F подмножеств X, состоящее лишь из самого множества X.

2) Как называется полугруппа с единицей? моноид.

3) Какой фильтр будет мажорировать любой фильтр окрестностей точки , если X — топологическое пространство? тривиальный фильтр.

4) Как называется нейтральный элемент мультипликативного группоида? единица.

5) Как называется совокупность предикатных и функциональных символов с указанием их местности? сигнатура.

6) Как называется формула, представляющая собой объединение, в которое входят по одному разу все множества (со знаками дополнения или без дополнений) на данном универсуме? конституента нуля.

7) Что называется алгебраическими системами? множества, на которых кроме операций заданы отношения.

8) В каком случае решетчатая топология является дискретной? когда разбиение состоит только из одноточечных подмножеств заданного множества.

9) Какой фильтр фильтрует множество X вплоть до одноточечного множества, состоящего из одной данной точки? ультрафильтр.

10) Какое утверждение является неверным? каждое множество, за исключением универсального, может быть задано объединением конституент единицы.

11) В каком случае решетчатая топология является тривиальной? когда разбиение состоит только из одной части заданного множества.

12) Что такое полная система булевых функций? набор булевых функций, если любая булева функция выражается через них при помощи операции суперпозиции в конечном числе раз.

13) Какой класс булевых функций называется замкнутым? если всякая суперпозиция функций данного класса будет функцией из этого класса.

14) Как называется нейтральный элемент аддитивного группоида? нуль.

15) Какое утверждение является неверным? любая топология мажорирует дискретную топологию.

16) Как называется 0-местный функциональный символ? константа.

17) Какое утверждение верно? циклическая группа всегда абелева.

18) Что не является условием, выполнение которого говорит о том, что семейство τ задает топологию во множестве X? (X — произвольное множество  —  некоторое семейство его подмножеств, множество индексов I может иметь произвольную мощность): пересечение конечного числа множеств из τ не принадлежит τ.

19) Как называется кольцо, в котором все отличные от нуля элементы составляют группу по умножению? тело.

20) Как называется формула алгебры множеств, представляющая собой пересечение, в которое входят по одному разу все множества (со знаками дополнения или без дополнений) на данном универсуме? конституента единицы.

21) Какие элементы а и b частично упорядоченного множества с нулем 0 и единицей 1 называются дополнительными друг для друга? если их пересечение равно нулевому элементу 0, а объединение дает единичный элемент 1.

22) Какая сигнатура называется функциональной? не содержащая предикатных (функциональных) символов.

23) Что называется мощностью алгебраической системы? мощность носителя системы.

24) Что такое терм? функциональное выражение, составленное с помощью сигнатурных функциональных символов.

25) Сколько будет всего разных булевых функций одной переменной? четыре.

Ответы на модуль 3 (АЛГЕБРА ЛОГИКИ) по предмету дискретная математика.

1) Какое высказывание истинно? никакая переменная не может быть одновременно свободной и связанной.

2) Какая дизъюнктивная нормальная форма (ДНФ) называется совершенной? дизъюнкция некоторых конституент единицы, среди которых нет одинаковых.

3) Какая формула аксиоматической теории называется теоремой? формула, которая выводится только из аксиом, не используя никаких гипотез.

4) В каком случае формула  называется выполнимой? если существует такой набор значений переменных, при котором формула принимает значение 1.

5) Какие формулы называются равносильными в данной интерпретации I = 〈М, Ф〉? формулы f и g, если формулы выражают в данной интерпретации один и тот же предикат.

6) Что называется длиной формулы логики предикатов? общее число входящих в нее символов предикатов (атомарных формул), логических символов и символов кванторов.

7) Какая формула логики предикатов называется нормальной? приведенная формула, если она содержит все символы кванторов впереди или кванторов вовсе нет.

8) Какие два дизъюнкта называются резольвентной парой? если существует такая литера, которая участвует в одном дизъюнкте как положительная, а в другом — как отрицательная.

9) Какое высказывание истинно? любая булева функция, не являющаяся константой 0, представима в виде сокращенной ДНФ.

10) Что называется функцией алгебры логики (ФАЛ) от п переменных ? функция, которая произвольному набору  нулей и единиц ставит в соответствие значение .

11) Что называется элементарным произведением? конъюнкт, в который любая переменная входит не более одного раза.

12) Что такое предикат? повествовательное предложение с параметрами.

13) Чем полностью характеризуются формулы алгебры логики семантически? таблицами истинности.

14) Какой дизъюнкт называется хорновским? дизъюнкт, у которого среди литер не более одной положительной.

15) Какие формулы называются равносильными на множестве М? формулы f и g, если они равносильны во всех интерпретациях, заданных на множестве М.

16) Какое утверждение является неверным? формула φ опровержима тогда и только тогда, когда она является тождественно истинной.

17) Как называется конъюнкция литер? конъюнктом.

18) Какое свойство алгоритма означает, что описываемый им процесс и сам алгоритм могут быть разбиты на отдельные элементарные этапы, возможность выполнения которых на ЭВМ у пользователя не вызывает сомнений? дискретность.

19) В каком случае говорят, что формула φ представляет функцию f? если булева функция f и формула φ имеют одну и ту же таблицу истинности.

20) Что называется дизъюнктивной нормальной формой (ДНФ)? дизъюнкция конъюнктов.

21) Какое свойство алгоритма означает, что он должен приводить к получению результата за конечное число шагов? результативность.

22) Что называется высказыванием? повествовательное предложение, о котором в данной ситуации можно сказать, что оно истинно или ложно, но не то и другое одновременно.

23) Какое высказывание является неверным? проблема распознавания применимых машин Тьюринга алгоритмически разрешима.

24) Какое утверждение является неверным? в аксиоматической теории можно одновременно иметь два доказательства некоторой теоремы и ее отрицания.

25) Какое высказывание является ложным? тела действуют друг на друга с силами, имеющими одинаковую природу, направленными вдоль одной и той же прямой, равными по модулю и противоположными по направлению.

Ответы на модуль 4 (КОНЕЧНЫЕ АВТОМАТЫ И РЕГУЛЯРНЫЕ ЯЗЫКИ) по предмету дискретная математика.

1) Как называется логическая операция, соответствующая союзу «тогда и только тогда, когда»? эквивалентностью.

2) Что называется конъюнкцией? бинарная логическая операция, соединяющая две двоичных переменных а и b, принадлежащих множеству {0, 1}, в такую переключательную функцию с, которая равна 1 (истинна) только тогда, когда равны 1 (истинны) обе переменных.

3) Что называют словом или цепочкой в алфавите V? произвольный кортеж из множества  (k-й декартовой степени алфавита V) для различных k = 0, 1, 2,…

4) В каком случае код является исправляющим все ошибки? в случае, когда в передаваемом слове имеется не более k ошибок, тогда и только тогда, когда наименьшее расстояние между кодовыми словами .

5) Каждое правило какой грамматики имеет вид: в правой части правила может содержаться не более одного вхождения нетерминала? линейной грамматики.

6) В каком случае код является обнаруживающим? в случае, когда в передаваемом слове имеется не более чем k ошибок, тогда и только тогда, когда наименьшее расстояние между кодовыми словами .

7) Как называется зафиксированный порядок переменных, каждая из которых имеет свой вес? базой функции.

8) Как называется логическая операция, соответствующая союзу «или» в неразделительном смысле? дизъюнкцией.

9) Что называется эквиваленцией? логическая операция, соединяющая две переменных в такую переключательную функцию, которая истинна тогда, когда обе образующих ее переменных одновременно истинны или одновременно ложны.

10) Какой такт в функционировании автоматов называют неустойчивым? если очередное изменение состояния автомата происходит только за счет изменения внутреннего состояния — элементов памяти.

11) Какое утверждение является верным? автоматы Мура менее быстродействующие, чем автоматы Мили.

12) Как называется логическая операция, соответствующая союзу «если, … то»? импликацией.

13) Каждое правило какой грамматики имеет вид: левая часть каждого правила вывода есть нетерминал, а правая — произвольная (может быть и пустая) цепочка в объединенном алфавите? контекстно-свободной грамматики.

14) Как называется логическая операция, соответствующая частице «не», словосочетанию «неверно, что»? инверсией.

15) Какой код называется групповым? если множество всех кодовых слов образует группу.

16) При каком способе переключательная функция  задается таблицей ее значений — таблицей истинности — одномерной или двухмерной (картой Карно), где указываются наборы переменных и соответствующие значения функции? при матричном способе.

17) При каком способе переключательная функция  задается с помощью соответствующей отметки вершин n-мерного куба, который по сути является решеткой Хассэ, представляющей собой частично упорядоченное множество наборов (каждая вершина — точка n-мерного пространства)? при геометрическом способе.

18) Что называется дизъюнкцией? бинарная логическая операция, соединяющая две переменные а и b в такую переключательную функцию c, которая равна 0 (ложна) только тогда, когда ложны обе переменные (равны 0).

19) Какое утверждение является верным? при задании автомата ориентированным графом (орграфом) его вершины сопоставляют с внутренними состояниями.

20) Как называются конечные автоматы, имеющие больше, чем одно внутреннее состояние? последовательностными конечными автоматами.

21) Как называют объединение всех степеней языка L? итерацией.

22) Как называется автомат, если из любого его состояния достижимо любое другое состояние? сильно связанным.

23) Для какого основного класса грамматик характерно следующее: на правила вывода не накладывается никаких дополнительных ограничений? для грамматики типа 0.

24) Какую подцепочку х цепочки у называют началом (или префиксом) цепочки у? если у = xz для некоторой непустой цепочки z.

25) Что называется импликацией? логическая операция, соединяющая две переменных а и b в такую переключательную функцию c, которая равна 0 (ложна) только тогда, когда а истинно, а b ложно.

Ответы модуль 2 АЛГЕБРА И ТОПОЛОГИЯ дискретная математика

Ответы на модуль 2 (АЛГЕБРА И ТОПОЛОГИЯ) по предмету дискретная математика.

1) Что представляет собой тривиальный фильтр множества X? семейство F подмножеств X, состоящее лишь из самого множества X.

2) Как называется полугруппа с единицей? моноид.

3) Какой фильтр будет мажорировать любой фильтр окрестностей точки , если X — топологическое пространство? тривиальный фильтр.

4) Как называется нейтральный элемент мультипликативного группоида? единица.

5) Как называется совокупность предикатных и функциональных символов с указанием их местности? сигнатура.

6) Как называется формула, представляющая собой объединение, в которое входят по одному разу все множества (со знаками дополнения или без дополнений) на данном универсуме? конституента нуля.

7) Что называется алгебраическими системами? множества, на которых кроме операций заданы отношения.

8) В каком случае решетчатая топология является дискретной? когда разбиение состоит только из одноточечных подмножеств заданного множества.

9) Какой фильтр фильтрует множество X вплоть до одноточечного множества, состоящего из одной данной точки? ультрафильтр.

10) Какое утверждение является неверным? каждое множество, за исключением универсального, может быть задано объединением конституент единицы.

11) В каком случае решетчатая топология является тривиальной? когда разбиение состоит только из одной части заданного множества.

12) Что такое полная система булевых функций? набор булевых функций, если любая булева функция выражается через них при помощи операции суперпозиции в конечном числе раз.

13) Какой класс булевых функций называется замкнутым? если всякая суперпозиция функций данного класса будет функцией из этого класса.

14) Как называется нейтральный элемент аддитивного группоида? нуль.

15) Какое утверждение является неверным? любая топология мажорирует дискретную топологию.

16) Как называется 0-местный функциональный символ? константа.

17) Какое утверждение верно? циклическая группа всегда абелева.

18) Что не является условием, выполнение которого говорит о том, что семейство τ задает топологию во множестве X? (X — произвольное множество  —  некоторое семейство его подмножеств, множество индексов I может иметь произвольную мощность): пересечение конечного числа множеств из τ не принадлежит τ.

19) Как называется кольцо, в котором все отличные от нуля элементы составляют группу по умножению? тело.

20) Как называется формула алгебры множеств, представляющая собой пересечение, в которое входят по одному разу все множества (со знаками дополнения или без дополнений) на данном универсуме? конституента единицы.

21) Какие элементы а и b частично упорядоченного множества с нулем 0 и единицей 1 называются дополнительными друг для друга? если их пересечение равно нулевому элементу 0, а объединение дает единичный элемент 1.

22) Какая сигнатура называется функциональной? не содержащая предикатных (функциональных) символов.

23) Что называется мощностью алгебраической системы? мощность носителя системы.

24) Что такое терм? функциональное выражение, составленное с помощью сигнатурных функциональных символов.

25) Сколько будет всего разных булевых функций одной переменной? четыре.

Какое свойство счетных множеств является неверным мти

1 Модуль 25 из 25
2 модуль 25 из 25
3 модуль 25 из 25
4 модуль 25 из 25

МОДУЛЬ 1. МНОЖЕСТВА И ОТНОШЕНИЯ

25 из 25

Как называется неорграф без циклов?
ациклический

Какое утверждение является верным?
бинарное отношение R называется отношением эквивалентности, если оно рефлексивно, симметрично и транзитивно

Какое утверждение является неверным?
конечное множество является равномощным любому своему собственному подмножеству

Как называется замкнутый обход симметричного мультиграфа по всем вершинам по одному разу?
гамилътоновым циклом

Как называется бинарное отношение, рефлексивное, антисимметричное и транзитивное?
частичный порядок

Какое утверждение не является верным?
элементы множества не могут сами являться множествами

Что такое граф?
вершины и дуги

Что такое булеан?
совокупность всех подмножеств множества А

Что понимается под множеством?
совокупность некоторых объектов

Как называется множество непустых подмножеств множества, если каждый элемент данного множества принадлежит в точности одному из его подмножеств, каждое из которых не является пустым?
разбиением множества

Какое множество А называется подмножеством множества В?
если все элементы множества А принадлежат В

Какое множество называют счетным?
любое множество, равномощное множеству всех натуральных чисел

Как называется бинарное отношение, которое только рефлексивно и транзитивно?
отношение предпорядка

Какое множество называется универсальным или универсумом?
множество, содержащее все элементы, находящиеся в рассмотрении

Какое утверждение является неверным?
в сетевом графике имеются циклы

Как называется симметричный граф, если любые две его вершины соединены между собой ребром?
полный граф

Какой граф называется связным?
если любые две вершины графа соединены хотя бы одним путем

Как называются отличающиеся друг от друга хотя бы одним элементом выборки длины k, составленные из n-элементного множества?
сочетания без повторений из n элементов по k

Какое свойство счетных множеств является неверным?
любое подмножество счетного множества бесконечно

Какие множества А и В называются равными или совпадающими?
если они состоят из одних и тех же элементов

Что понимается под решением задачи оптимизации «в слабом смысле»?
нахождение единственного произвольного элемента

Что такое задача перечисления в комбинаторике?
если необходимо выделить все элементы множества, удовлетворяющие заданным свойствам

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

Что называется рacкраской (вершин) графа G?
такое задание цветов вершинам G, что если [а, b] ребро, то вершины а и b имеют различные цвета

Как называется замкнутый обход мультиграфа по всем ребрам по одному разу?
эйлеровым циклом

МОДУЛЬ 2. АЛГЕБРА И ТОПОЛОГИЯ

25 из 25

Что представляет собой тривиальный фильтр множества X?
семейство F подмножеств X, состоящее лишь из самого множества X

Как называется полугруппа с единицей?
моноид

Какой фильтр будет мажорировать любой фильтр окрестностей точки , если X — топологическое пространство?
тривиальный фильтр

Как называется нейтральный элемент мультипликативного группоида?
единица

Как называется совокупность предикатных и функциональных символов с указанием их местности?
сигнатура

Как называется формула, представляющая собой объединение, в которое входят по одному разу все множества (со знаками дополнения или без дополнений) на данном универсуме?
конституента нуля

Что называется алгебраическими системами?
множества, на которых кроме операций заданы отношения

В каком случае решетчатая топология является дискретной?
когда разбиение состоит только из одноточечных подмножеств заданного множества

Какой фильтр фильтрует множество X вплоть до одноточечного множества, состоящего из одной данной точки?
ультрафильтр

Какое утверждение является неверным?
каждое множество, за исключением универсального, может быть задано объединением конституент единицы

В каком случае решетчатая топология является тривиальной?
когда разбиение состоит только из одной части заданного множества

Что такое полная система булевых функций?
набор булевых функций, если любая булева функция выражается через них при помощи операции суперпозиции в конечном числе раз

Какой класс булевых функций называется замкнутым?
если всякая суперпозиция функций данного класса будет функцией из этого класса

Как называется нейтральный элемент аддитивного группоида?
нуль

Какое утверждение является неверным?
любая топология мажорирует дискретную топологию

Как называется 0-местный функциональный символ?
константа

Какое утверждение верно?
циклическая группа всегда абелева

Что не является условием, выполнение которого говорит о том, что семейство τ задает топологию во множестве X? (X — произвольное множество — некоторое семейство его подмножеств, множество индексов I может иметь произвольную мощность)
пересечение конечного числа множеств из τ не принадлежит τ

Как называется кольцо, в котором все отличные от нуля элементы составляют группу по умножению?
тело

Как называется формула алгебры множеств, представляющая собой пересечение, в которое входят по одному разу все множества (со знаками дополнения или без дополнений) на данном универсуме?
конституента единицы

Какие элементы а и b частично упорядоченного множества с нулем 0 и единицей 1 называются дополнительными друг для друга?
если их пересечение равно нулевому элементу 0, а объединение дает единичный элемент 1

Какая сигнатура называется функциональной?
не содержащая предикатных (функциональных) символов

Что называется мощностью алгебраической системы?
мощность носителя системы

Что такое терм?
функциональное выражение, составленное с помощью сигнатурных функциональных символов

Сколько будет всего разных булевых функций одной переменной?
четыре

МОДУЛЬ 3. АЛГЕБРА ЛОГИКИ

25 из 25

Какое высказывание истинно?
никакая переменная не может быть одновременно свободной и связанной

Какая дизъюнктивная нормальная форма (ДНФ) называется совершенной?
дизъюнкция некоторых конституент единицы, среди которых нет одинаковых

Какая формула аксиоматической теории называется теоремой?
формула, которая выводится только из аксиом, не используя никаких гипотез

В каком случае формула называется выполнимой?
если существует такой набор значений переменных, при котором формула принимает значение 1

Какие формулы называются равносильными в данной интерпретации I = 〈М, Ф〉?
формулы f и g, если формулы выражают в данной интерпретации один и тот же предикат

Что называется длиной формулы логики предикатов?
общее число входящих в нее символов предикатов (атомарных формул), логических символов и символов кванторов

Какая формула логики предикатов называется нормальной?
приведенная формула, если она содержит все символы кванторов впереди или кванторов вовсе нет

Какие два дизъюнкта называются резольвентной парой?
если существует такая литера, которая участвует в одном дизъюнкте как положительная, а в другом — как отрицательная

Какое высказывание истинно?
любая булева функция, не являющаяся константой 0, представима в виде сокращенной ДНФ

Что называется функцией алгебры логики (ФАЛ) от п переменных ?
функция, которая произвольному набору нулей и единиц ставит в соответствие значение

Что называется элементарным произведением?
конъюнкт, в который любая переменная входит не более одного раза

Что такое предикат?
повествовательное предложение с параметрами

Чем полностью характеризуются формулы алгебры логики семантически?
таблицами истинности

Какой дизъюнкт называется хорновским?
дизъюнкт, у которого среди литер не более одной положительной

Какие формулы называются равносильными на множестве М?
формулы f и g, если они равносильны во всех интерпретациях, заданных на множестве М

Какое утверждение является неверным?
формула φ опровержима тогда и только тогда, когда она является тождественно истинной

Как называется конъюнкция литер?
конъюнктом

Какое свойство алгоритма означает, что описываемый им процесс и сам алгоритм могут быть разбиты на отдельные элементарные этапы, возможность выполнения которых на ЭВМ у пользователя не вызывает сомнений?
дискретность

В каком случае говорят, что формула φ представляет функцию f?
если булева функция f и формула φ имеют одну и ту же таблицу истинности

Что называется дизъюнктивной нормальной формой (ДНФ)?
дизъюнкция конъюнктов

Какое свойство алгоритма означает, что он должен приводить к получению результата за конечное число шагов?
результативность

Что называется высказыванием?
повествовательное предложение, о котором в данной ситуации можно сказать, что оно истинно или ложно, но не то и другое одновременно

Какое высказывание является неверным?
проблема распознавания применимых машин Тьюринга алгоритмически разрешима

Какое утверждение является неверным?
в аксиоматической теории можно одновременно иметь два доказательства некоторой теоремы и ее отрицания

Какое высказывание является ложным?
в инерциальной системе отсчета ускорение, которое получает материальная точка, обратно пропорционально равнодействующей всех приложенных к ней сил и прямо пропорционально ее массе

МОДУЛЬ 4. КОНЕЧНЫЕ АВТОМАТЫ И РЕГУЛЯРНЫЕ ЯЗЫКИ

25 из 25

Как называется логическая операция, соответствующая союзу «тогда и только тогда, когда»?
эквивалентностью

Что называется конъюнкцией?
бинарная логическая операция, соединяющая две двоичных переменных а и b, принадлежащих множеству {0, 1}, в такую переключательную функцию с, которая равна 1 (истинна) только тогда, когда равны 1 (истинны) обе переменных

Что называют словом или цепочкой в алфавите V?
произвольный кортеж из множества (k-й декартовой степени алфавита V) для различных k = 0, 1, 2,…

В каком случае код является исправляющим все ошибки?
в случае, когда в передаваемом слове имеется не более k ошибок, тогда и только тогда, когда наименьшее расстояние между кодовыми словами

Каждое правило какой грамматики имеет вид: в правой части правила может содержаться не более одного вхождения нетерминала?
линейной грамматики

В каком случае код является обнаруживающим?
в случае, когда в передаваемом слове имеется не более чем k ошибок, тогда и только тогда, когда наименьшее расстояние между кодовыми словами

Как называется зафиксированный порядок переменных, каждая из которых имеет свой вес?
базой функции

Как называется логическая операция, соответствующая союзу «или» в неразделительном смысле?
дизъюнкцией

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

Какой такт в функционировании автоматов называют неустойчивым?
если очередное изменение состояния автомата происходит только за счет изменения внутреннего состояния — элементов памяти

Какое утверждение является верным?
автоматы Мура менее быстродействующие, чем автоматы Мили

Как называется логическая операция, соответствующая союзу «если, … то»?
импликацией

Каждое правило какой грамматики имеет вид: левая часть каждого правила вывода есть нетерминал, а правая — произвольная (может быть и пустая) цепочка в объединенном алфавите?
контекстно-свободной грамматики

Как называется логическая операция, соответствующая частице «не», словосочетанию «неверно, что»?
инверсией

Какой код называется групповым?
если множество всех кодовых слов образует группу

При каком способе переключательная функция задается таблицей ее значений — таблицей истинности — одномерной или двухмерной (картой Карно), где указываются наборы переменных и соответствующие значения функции?
при матричном способе

При каком способе переключательная функция задается с помощью соответствующей отметки вершин n-мерного куба, который по сути является решеткой Хассэ, представляющей собой частично упорядоченное множество наборов (каждая вершина — точка n-мерного пространства)?
при геометрическом способе

Что называется дизъюнкцией?
бинарная логическая операция, соединяющая две переменные а и b в такую переключательную функцию c, которая равна 0 (ложна) только тогда, когда ложны обе переменные (равны 0)

Какое утверждение является верным?
при задании автомата ориентированным графом (орграфом) его вершины сопоставляют с внутренними состояниями

Как называются конечные автоматы, имеющие больше, чем одно внутреннее состояние?
последовательностными конечными автоматами

Как называют объединение всех степеней языка L?
итерацией

Как называется автомат, если из любого его состояния достижимо любое другое состояние?
сильно связанным

Для какого основного класса грамматик характерно следующее: на правила вывода не накладывается никаких дополнительных ограничений?
для грамматики типа 0

Какую подцепочку х цепочки у называют началом (или префиксом) цепочки у?
если у = xz для некоторой непустой цепочки z

Что называется импликацией?
логическая операция, соединяющая две переменных а и b в такую переключательную функцию c, которая равна 0 (ложна) только тогда, когда а истинно, а b ложно

1 Модуль 25 из 25
2 модуль 25 из 25
3 модуль 25 из 25
4 модуль 25 из 25

МОДУЛЬ 1. МНОЖЕСТВА И ОТНОШЕНИЯ

25 из 25

Как называется неорграф без циклов?
ациклический

Какое утверждение является верным?
бинарное отношение R называется отношением эквивалентности, если оно рефлексивно, симметрично и транзитивно

Какое утверждение является неверным?
конечное множество является равномощным любому своему собственному подмножеству

Как называется замкнутый обход симметричного мультиграфа по всем вершинам по одному разу?
гамилътоновым циклом

Как называется бинарное отношение, рефлексивное, антисимметричное и транзитивное?
частичный порядок

Какое утверждение не является верным?
элементы множества не могут сами являться множествами

Что такое граф?
вершины и дуги

Что такое булеан?
совокупность всех подмножеств множества А

Что понимается под множеством?
совокупность некоторых объектов

Как называется множество непустых подмножеств множества, если каждый элемент данного множества принадлежит в точности одному из его подмножеств, каждое из которых не является пустым?
разбиением множества

Какое множество А называется подмножеством множества В?
если все элементы множества А принадлежат В

Какое множество называют счетным?
любое множество, равномощное множеству всех натуральных чисел

Как называется бинарное отношение, которое только рефлексивно и транзитивно?
отношение предпорядка

Какое множество называется универсальным или универсумом?
множество, содержащее все элементы, находящиеся в рассмотрении

Какое утверждение является неверным?
в сетевом графике имеются циклы

Как называется симметричный граф, если любые две его вершины соединены между собой ребром?
полный граф

Какой граф называется связным?
если любые две вершины графа соединены хотя бы одним путем

Как называются отличающиеся друг от друга хотя бы одним элементом выборки длины k, составленные из n-элементного множества?
сочетания без повторений из n элементов по k

Какое свойство счетных множеств является неверным?
любое подмножество счетного множества бесконечно

Какие множества А и В называются равными или совпадающими?
если они состоят из одних и тех же элементов

Что понимается под решением задачи оптимизации «в слабом смысле»?
нахождение единственного произвольного элемента

Что такое задача перечисления в комбинаторике?
если необходимо выделить все элементы множества, удовлетворяющие заданным свойствам

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

Что называется рacкраской (вершин) графа G?
такое задание цветов вершинам G, что если [а, b] ребро, то вершины а и b имеют различные цвета

Как называется замкнутый обход мультиграфа по всем ребрам по одному разу?
эйлеровым циклом

МОДУЛЬ 2. АЛГЕБРА И ТОПОЛОГИЯ

25 из 25

Что представляет собой тривиальный фильтр множества X?
семейство F подмножеств X, состоящее лишь из самого множества X

Как называется полугруппа с единицей?
моноид

Какой фильтр будет мажорировать любой фильтр окрестностей точки , если X — топологическое пространство?
тривиальный фильтр

Как называется нейтральный элемент мультипликативного группоида?
единица

Как называется совокупность предикатных и функциональных символов с указанием их местности?
сигнатура

Как называется формула, представляющая собой объединение, в которое входят по одному разу все множества (со знаками дополнения или без дополнений) на данном универсуме?
конституента нуля

Что называется алгебраическими системами?
множества, на которых кроме операций заданы отношения

В каком случае решетчатая топология является дискретной?
когда разбиение состоит только из одноточечных подмножеств заданного множества

Какой фильтр фильтрует множество X вплоть до одноточечного множества, состоящего из одной данной точки?
ультрафильтр

Какое утверждение является неверным?
каждое множество, за исключением универсального, может быть задано объединением конституент единицы

В каком случае решетчатая топология является тривиальной?
когда разбиение состоит только из одной части заданного множества

Что такое полная система булевых функций?
набор булевых функций, если любая булева функция выражается через них при помощи операции суперпозиции в конечном числе раз

Какой класс булевых функций называется замкнутым?
если всякая суперпозиция функций данного класса будет функцией из этого класса

Как называется нейтральный элемент аддитивного группоида?
нуль

Какое утверждение является неверным?
любая топология мажорирует дискретную топологию

Как называется 0-местный функциональный символ?
константа

Какое утверждение верно?
циклическая группа всегда абелева

Что не является условием, выполнение которого говорит о том, что семейство τ задает топологию во множестве X? (X — произвольное множество — некоторое семейство его подмножеств, множество индексов I может иметь произвольную мощность)
пересечение конечного числа множеств из τ не принадлежит τ

Как называется кольцо, в котором все отличные от нуля элементы составляют группу по умножению?
тело

Как называется формула алгебры множеств, представляющая собой пересечение, в которое входят по одному разу все множества (со знаками дополнения или без дополнений) на данном универсуме?
конституента единицы

Какие элементы а и b частично упорядоченного множества с нулем 0 и единицей 1 называются дополнительными друг для друга?
если их пересечение равно нулевому элементу 0, а объединение дает единичный элемент 1

Какая сигнатура называется функциональной?
не содержащая предикатных (функциональных) символов

Что называется мощностью алгебраической системы?
мощность носителя системы

Что такое терм?
функциональное выражение, составленное с помощью сигнатурных функциональных символов

Сколько будет всего разных булевых функций одной переменной?
четыре

МОДУЛЬ 3. АЛГЕБРА ЛОГИКИ

25 из 25

Какое высказывание истинно?
никакая переменная не может быть одновременно свободной и связанной

Какая дизъюнктивная нормальная форма (ДНФ) называется совершенной?
дизъюнкция некоторых конституент единицы, среди которых нет одинаковых

Какая формула аксиоматической теории называется теоремой?
формула, которая выводится только из аксиом, не используя никаких гипотез

В каком случае формула называется выполнимой?
если существует такой набор значений переменных, при котором формула принимает значение 1

Какие формулы называются равносильными в данной интерпретации I = 〈М, Ф〉?
формулы f и g, если формулы выражают в данной интерпретации один и тот же предикат

Что называется длиной формулы логики предикатов?
общее число входящих в нее символов предикатов (атомарных формул), логических символов и символов кванторов

Какая формула логики предикатов называется нормальной?
приведенная формула, если она содержит все символы кванторов впереди или кванторов вовсе нет

Какие два дизъюнкта называются резольвентной парой?
если существует такая литера, которая участвует в одном дизъюнкте как положительная, а в другом — как отрицательная

Какое высказывание истинно?
любая булева функция, не являющаяся константой 0, представима в виде сокращенной ДНФ

Что называется функцией алгебры логики (ФАЛ) от п переменных ?
функция, которая произвольному набору нулей и единиц ставит в соответствие значение

Что называется элементарным произведением?
конъюнкт, в который любая переменная входит не более одного раза

Что такое предикат?
повествовательное предложение с параметрами

Чем полностью характеризуются формулы алгебры логики семантически?
таблицами истинности

Какой дизъюнкт называется хорновским?
дизъюнкт, у которого среди литер не более одной положительной

Какие формулы называются равносильными на множестве М?
формулы f и g, если они равносильны во всех интерпретациях, заданных на множестве М

Какое утверждение является неверным?
формула φ опровержима тогда и только тогда, когда она является тождественно истинной

Как называется конъюнкция литер?
конъюнктом

Какое свойство алгоритма означает, что описываемый им процесс и сам алгоритм могут быть разбиты на отдельные элементарные этапы, возможность выполнения которых на ЭВМ у пользователя не вызывает сомнений?
дискретность

В каком случае говорят, что формула φ представляет функцию f?
если булева функция f и формула φ имеют одну и ту же таблицу истинности

Что называется дизъюнктивной нормальной формой (ДНФ)?
дизъюнкция конъюнктов

Какое свойство алгоритма означает, что он должен приводить к получению результата за конечное число шагов?
результативность

Что называется высказыванием?
повествовательное предложение, о котором в данной ситуации можно сказать, что оно истинно или ложно, но не то и другое одновременно

Какое высказывание является неверным?
проблема распознавания применимых машин Тьюринга алгоритмически разрешима

Какое утверждение является неверным?
в аксиоматической теории можно одновременно иметь два доказательства некоторой теоремы и ее отрицания

Какое высказывание является ложным?
в инерциальной системе отсчета ускорение, которое получает материальная точка, обратно пропорционально равнодействующей всех приложенных к ней сил и прямо пропорционально ее массе

МОДУЛЬ 4. КОНЕЧНЫЕ АВТОМАТЫ И РЕГУЛЯРНЫЕ ЯЗЫКИ

25 из 25

Как называется логическая операция, соответствующая союзу «тогда и только тогда, когда»?
эквивалентностью

Что называется конъюнкцией?
бинарная логическая операция, соединяющая две двоичных переменных а и b, принадлежащих множеству {0, 1}, в такую переключательную функцию с, которая равна 1 (истинна) только тогда, когда равны 1 (истинны) обе переменных

Что называют словом или цепочкой в алфавите V?
произвольный кортеж из множества (k-й декартовой степени алфавита V) для различных k = 0, 1, 2,…

В каком случае код является исправляющим все ошибки?
в случае, когда в передаваемом слове имеется не более k ошибок, тогда и только тогда, когда наименьшее расстояние между кодовыми словами

Каждое правило какой грамматики имеет вид: в правой части правила может содержаться не более одного вхождения нетерминала?
линейной грамматики

В каком случае код является обнаруживающим?
в случае, когда в передаваемом слове имеется не более чем k ошибок, тогда и только тогда, когда наименьшее расстояние между кодовыми словами

Как называется зафиксированный порядок переменных, каждая из которых имеет свой вес?
базой функции

Как называется логическая операция, соответствующая союзу «или» в неразделительном смысле?
дизъюнкцией

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

Какой такт в функционировании автоматов называют неустойчивым?
если очередное изменение состояния автомата происходит только за счет изменения внутреннего состояния — элементов памяти

Какое утверждение является верным?
автоматы Мура менее быстродействующие, чем автоматы Мили

Как называется логическая операция, соответствующая союзу «если, … то»?
импликацией

Каждое правило какой грамматики имеет вид: левая часть каждого правила вывода есть нетерминал, а правая — произвольная (может быть и пустая) цепочка в объединенном алфавите?
контекстно-свободной грамматики

Как называется логическая операция, соответствующая частице «не», словосочетанию «неверно, что»?
инверсией

Какой код называется групповым?
если множество всех кодовых слов образует группу

При каком способе переключательная функция задается таблицей ее значений — таблицей истинности — одномерной или двухмерной (картой Карно), где указываются наборы переменных и соответствующие значения функции?
при матричном способе

При каком способе переключательная функция задается с помощью соответствующей отметки вершин n-мерного куба, который по сути является решеткой Хассэ, представляющей собой частично упорядоченное множество наборов (каждая вершина — точка n-мерного пространства)?
при геометрическом способе

Что называется дизъюнкцией?
бинарная логическая операция, соединяющая две переменные а и b в такую переключательную функцию c, которая равна 0 (ложна) только тогда, когда ложны обе переменные (равны 0)

Какое утверждение является верным?
при задании автомата ориентированным графом (орграфом) его вершины сопоставляют с внутренними состояниями

Как называются конечные автоматы, имеющие больше, чем одно внутреннее состояние?
последовательностными конечными автоматами

Как называют объединение всех степеней языка L?
итерацией

Как называется автомат, если из любого его состояния достижимо любое другое состояние?
сильно связанным

Для какого основного класса грамматик характерно следующее: на правила вывода не накладывается никаких дополнительных ограничений?
для грамматики типа 0

Какую подцепочку х цепочки у называют началом (или префиксом) цепочки у?
если у = xz для некоторой непустой цепочки z

Что называется импликацией?
логическая операция, соединяющая две переменных а и b в такую переключательную функцию c, которая равна 0 (ложна) только тогда, когда а истинно, а b ложно

Источник

Функциональное мышление. Часть 8 / Блог компании Microsoft / Хабр

Привет, Хабр! Мы с небольшим запозданием возвращаемся с новогодних каникул с продолжением нашей серии статей про функциональное программирование. Сегодня расскажем про понимание функций через сигнатуры и определение собственных типов для сигнатур функций. Подробности под катом!

Не очевидно, но в F# два синтаксиса: для обычных (значимых) выражений и для определения типов. Например:

[1;2;3]      // обычное выражение
int list     // выражение типов

Some 1       // обычное выражение
int option   // выражение типов

(1,"a")      // обычное выражение
int * string // выражение типов

Выражения для типов имеют особый синтаксис, который отличается от синтаксиса обычных выражений. Вы могли заметить множество примеров этого синтаксиса во время работы с FSI (FSharp Interactive), т.к. типы каждого выражения выводятся вместе с результатами его выполнения.

Как вы знаете, F# использует алгоритм вывода типов, поэтому зачастую вам не надо явно прописывать типы в коде, особенно в функциях. Но для эффективной работы с F# необходимо понимать синтаксис типов, что бы вы смогли определять свои собственные типы, отлаживать ошибки приведения типов и читать сигнатуры функций. В этой статье я сосредоточусь на использовании типов в сигнатурах функций.

Вот несколько примеров сигнатур с синтаксисом типов:

// синтаксис выражений        // синтаксис типов
let add1 x = x + 1            // int -> int
let add x y = x + y           // int -> int -> int
let print x = printf "%A" x   // 'a -> unit
System.Console.ReadLine       // unit -> string
List.sum                      // 'a list -> 'a
List.filter                   // ('a -> bool) -> 'a list -> 'a list
List.map                      // ('a -> 'b) -> 'a list -> 'b list

Понимание функций через сигнатуры

Часто, даже просто изучив сигнатуру функции, можно получить некоторое представление о том, что она делает. Рассмотрим несколько примеров и проанализируем их по очереди.

int -> int -> int

Данная функция берет два int параметра и возвращает еще один int. Скорее всего, это разновидность математических функций, таких как сложение, вычитание, умножение или возведение в степень.

int -> unit

Данная функция принимает int и возвращает unit, что означает, что функция делает что-то важное в виде side-эффекта. Т.к. она не возвращает полезного значения, side-эффект скорее всего производит операции записи в IO, такие как логирование, запись в базу данных или что-нибудь похожее.

unit -> string

Эта функция ничего не принимает, но возвращает string, что может означать, что функция получает строку из воздуха. Поскольку нет явного ввода, функция вероятно делает что-то с чтением (скажем из файла) или генерацией (например случайной строки).

int -> (unit -> string)

Эта функция принимает int и возвращает другую функцию, которая при вызове вернет строку. Опять же, вероятно, функция производит операцию чтения или генерации. Ввод, скорее всего, каким-то образом инициализирует возвращаемую функцию. Например, ввод может быть идентификатором файла, а возвращаемая функция похожа на readline(). Или же ввод может быть начальным значением для генератора случайных строк. Мы не можем сказать точно, но какие-то выводы можем сделать.

'a list -> 'a

Функция принимает список любого типа, но возвращает лишь одно значение этого типа. Это может говорить о том, что функция агрегирует список или выбирает один из его элементов. Подобную сигнатуру имеют List.sum, List.max, List.head и т.д.

('a -> bool) -> 'a list -> 'a list

Эта функция принимает два параметра: первый — функция, преобразующая что-либо в bool (предикат), второй — список. Возвращаемое значение является списком того же типа. Предикаты используют для того, чтобы определить, соответствует ли объект некому критерию, и похоже ли, что данная функция выбирает элементы из списка согласно предикату — истина или ложь. После этого она возвращает подмножество исходного списка. Примером функции с такой сигнатурой является List.filter.

('a -> 'b) -> 'a list -> 'b list

Функция принимает два параметра: преобразование из типа 'a в тип 'b и список типа 'a. Возвращаемое значение является списком типа 'b. Разумно предположить, что функция берет каждый элемент из списка 'a, и преобразует его в 'b, используя переданную в качестве первого параметра функцию, после чего возвращает список 'b. И действительно, List.map является прообразом функции с такой сигнатурой.

Поиск библиотечных методов при помощи сигнатур

Сигнатуры функций очень важны в поиске библиотечных функций. Библиотеки F# содержат сотни функций, что поначалу может сбивать с толку. В отличие от объектно-ориентированных языков, вы не можете просто «войти в объект» через точку, чтобы найти все связанные методы. Но если вы знаете сигнатуру желаемой функции, вы быстро сможете сузить круг поисков.

Например, у вас два списка, и вы хотите найти функцию комбинирующую их в один. Какой сигнатурой обладала бы искомая функция? Она должна была бы принимать два списка в качестве параметров и возвращать третий, все одного типа:

'a list -> 'a list -> 'a list

Теперь перейдем на сайт документации MSDN для модуля List, и поищем похожую функцию. Оказывается, существует лишь одна функция с такой сигнатурой:

append : 'T list -> 'T list -> 'T list

То что нужно!

Определение собственных типов для сигнатур функций

Когда-нибудь вы захотите определить свои собственные типы для желаемой функции. Это можно сделать при помощи ключевого слова «type»:

type Adder = int -> int
type AdderGenerator = int -> Adder

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

Например, второе объявление из-за наложенного ограничения упадет с ошибкой приведения типов. Если мы его уберём (как в третьем объявлении), ошибка исчезнет.

let a:AdderGenerator = fun x -> (fun y -> x + y)
let b:AdderGenerator = fun (x:float) -> (fun y -> x + y)
let c                = fun (x:float) -> (fun y -> x + y)

Проверка понимания сигнатур функций

Хорошо ли вы понимаете сигнатуры функций? Проверьте себя, сможете ли вы создать простые функции с сигнатурами ниже. Избегайте явного указания типов!

val testA = int -> int
val testB = int -> int -> int
val testC = int -> (int -> int)
val testD = (int -> int) -> int
val testE = int -> int -> int -> int
val testF = (int -> int) -> (int -> int)
val testG = int -> (int -> int) -> int
val testH = (int -> int -> int) -> int

Для F# существует множество самоучителей, включая материалы для тех, кто пришел с опытом C# или Java. Следующие ссылки могут быть полезными по мере того, как вы будете глубже изучать F#:

Также описаны еще несколько способов, как начать изучение F#.

И наконец, сообщество F# очень дружелюбно к начинающим. Есть очень активный чат в Slack, поддерживаемый F# Software Foundation, с комнатами для начинающих, к которым вы можете свободно присоединиться. Мы настоятельно рекомендуем вам это сделать!

Не забудьте посетить сайт русскоязычного сообщества F#! Если у вас возникнут вопросы по изучению языка, мы будем рады обсудить их в чатах:

Об авторах перевода

Автор перевода @kleidemos
Перевод и редакторские правки сделаны усилиями русскоязычного сообщества F#-разработчиков. Мы также благодарим @schvepsss и @shwars за подготовку данной статьи к публикации.

Определение API. Сигнатура функции. Семантика функции. — Студопедия.Нет

Интерфейс прикладного программирования (application programming interface, API ) — набор готовых классов, процедур, функций, структур и констант, предоставляемых приложением (библиотекой, сервисом) для использования во внешних программных продуктах.
API библиотеки функций и классов включает в себя описание сигнатур и семантики
функций.
Сигнатура функции — часть общего объявления функции, позволяющая средствам
трансляции идентифицировать функцию среди других. В различных языках
программирования существуют разные представления о сигнатуре функции, что также
тесно связано с возможностями перегрузки функций в этих языках.
Семантика функции — это описание того, что данная функция делает. Семантика функции включает в себя описание того, что является результатом вычисления функции, как и от чего этот результат зависит.

Современные платформы программирования

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

Выделяют аппаратную платформу, платформу ОС и платформу программирования.

Аппаратные платформы отличаются друг от друга архитектурой центрального процессора и используемыми шинами связи функциональных блоков.

Платформа ОС представляет собой организацию исполнения прикладных программ на уровне операционной системы (например, порядок запуска программы, схему использования ею адресного пространства, API).

Программная платформа – это совокупность операционной системы, средств разработки прикладных программных решений и прикладных программ, работающих под управлением данной операционной системы.

Классификация платформы программирования:

1. Для разработки системного ПО (модулей ОС): основной платформой является использование языка программирования С или С++ со своим набором API для конкретной ОС. Примеры: Windows, Linux.

2. Для разработки приложений с использованием собственных библиотек. Примеры: Delphi, Visual Studio.

3. Для WEB приложений. Примеры: Net.Framework, J2SE, J2EE, PHP.

4. Для мобильных систем. Примеры: Android.

5. Для кроссплатформенного программирования. Примеры: GNU Compiler Collection.

Шаблоны в программировании. Применение.

Шаблоны(template) — средство языков программирования, предназначенное для кодирования обобщённых алгоритмов (обобщенное программирование), без привязки к некоторым параметрам (например, типам данных, размерам буферов, значениям по умолчанию).

Обобщённое программирование (generic programming) — идея программирования, основанная на разделении структур данных и алгоритмов через использование абстрактных описаний требований.

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

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

Виды реализации отказоустойчивости при программировании.

Отказоустойчивость — это свойство системы сохранять свою работоспособность после отказа (возникновения ошибки в работе программы) одного или нескольких составных компонентов.

1. Защитное программирование (программированием с защитой от ошибок) — стиль написания программ, при котором появляющиеся ошибки легко обнаруживаются и идентифицируются программистом.

Принципы: 

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

2.  каждая программная ошибка должна быть выявлена как можно раньше, что упрощает установление ее причины; 

3. ошибки в одном модуле должны быть изолированы так, чтобы не допустить их влияние на другие модули

2. Утверждение (assertion) в программировании — это код (метод или макрос), используемый при разработке, с помощью которого программа проверяет правильность своего выполнения. Если утверждение истинно, то все работает правильно, иначе — обнаружена ошибка в работе программы. Утверждение позволяют выявить быстрее ошибки в сложных программах.

Принципы:

1. Используйте процедуры обработки ошибок (проверка входных данных) для ожидаемых событий и утверждения для событий, которые происходить не должны. 

2. Не следует размещать выполняемый код в утверждениях. 

3. Надо использовать утверждения для проверки и документирования предусловий и постусловий. 

4. Необходимо после проверки утверждения обязательно обработать возможные ошибки

В ООП широко используются для повышения надежности ПО обработка 3. исключительных ситуаций(exception handling) — это механизм языков программирования, предназначенный для описания реакции программы на ошибки во время выполнения (процессором, УВВ и т.д.), которые могут возникнуть при выполнении программы и приводят к невозможности дальнейшего выполнения программы.

4. Изоляция повреждений (баррикада), вызванных ошибками. Данный подход аналогичен защите судна от затопления при повреждении его отсеков. Данный способ заключается в разработке набора интерфейсов в качестве оболочки для безопасных частей кода. То есть между «плохими» частями кода и данными устанавливается проверочные модули (классы), которые отвечают за исправление возможных ошибок.

Понятие алгебраической системы данной сигнатуры

Алгебраической
системой
сигнатурыназовем алгебраическую систему,
в которой:

1. Каждому
   n-местному предикатному
   символу изсопоставленn-местный
   предикат из,
   заданный на М.

2. Каждому
   n-местному функциональному
   символу изсопоставленаn-местная
   функция из,
   заданная на М.

3. Каждой
   предметной константе
   изсопоставлен элемент

42. Свободные и связанные переменные.
    Термы, свободные для данной переменной
    в данной формуле.

Переменная
называется свободной в ппф, если имеются
свободные вхождения этой переменной в
этой ппф.

Переменная
называется связанной в ппф, если имеются
связанные вхождения этой переменной в
этой ппф.

Все свободные
и связанные переменные обозначаются
разными буквами.

Терм
свободен для переменнойв формулеесли никакое свободное вхождениевне находится в области действия никакого
квантораили,
где– переменная, входящая в.

43. Значение терма данной сигнатуры в
    алгебраической системе той же сигнатуры.
    Пример.

Определим
значение терма
системы,
все предметные переменные которого
содержатся в наборев алгебраической системепри значениях переменныхсоответственно следующим образом:

1. Если
   есть константа,
   то значениеесть значение

2. Если
   есть переменная,
   то значениеесть

3. Если
   ,
   асоответственно, тосогласно функции

Пример:

Пусть
,
тогда

44. Значение ппф АП данной сигнатуры в
    алгебраической системе той же сигнатуры

Значение
в алгебраической системеприопределим следующим образом:

1. Если
   ,
   тотолько если

в,
иначе

2. Если
   ,
   тотолько еслии,
   иначе

3. Если
   ,
   тотолько еслиииначе

4. Если
   ,
   тотолько еслиииначе

5. Если
   ,
   тотолько еслии наоборот.

6. Если
   ,
   тотолько еслидля всех,
   иначе

7. Если
   ,
   тотолько еслихотя бы для одного,
   иначе

45. Кванторыикак обобщения логических связок & и.

Если М –
конечное основное множество алгебраической
системы
сигнатуры,– ппф данной сигнатуры, то предложенияи,
где,
имеют одно и то же значение.

Если М –
конечное основное множество алгебраической
системы
сигнатуры,– ппф данной сигнатуры, то предложенияиимеют
одно и то же значение.

46. Выполнимые формулы АП. Пример.

Ппф
сигнатурыназовем выполнимой, если существует
такая алгебраическая система,
чтоистинна впри некоторых значениях свободных
предметных переменных.

Пример:

выполнима.

47. Тождественно истинные формулы АП.
    Пример доказательства тождественной
    истинности.

Ппф
сигнатурыназовем тождественно истинной, еслиистинна в любой алгебраической системе
сигнатурыпри любых значениях свободных предметных
переменных.

Пример:

– тождественно истинная.

Доказательство
производится методом от противного,
тоесть

такое возможно лишь при,
что невозможно.

48. Эквивалентные формулы АП. Пример.

Две ппф
алгебры предикатов
исигнатурыназываются эквивалентными, если они
принимают одинаковые значения (tилиf) в любых алгебраических
системах данной сигнатуры. Факт
эквивалентности ппфизаписывается в виде.

Если они
эквивалентны только в какой-то
алгебраической системе
,
то факт эквивалентности записывается
как(а
внизу такая хуевинка

Пример:

в любой алгебраической системе

эквивалентны лишь в системе с одноместной
базой (вместоxТОЛЬКОtили ТОЛЬКОf)

49. Теорема о замене подформулы на
    эквивалентную подформулу в ппф алгебры
    предикатов.

Пусть
– подформула,,
тогда

50. Теорема о подстановке ппф вместо атомной
    формулы в эквивалентные ппф алгебры
    предикатов

Пусть
— ппф сигнатуры,– атомная формула, тогда если

51. Пренексные нормальные формы. Теорема
    о существовании эквивалентной пнф:
    алгоритм получения эквивалентной пнф.

Пусть Qобозначает некоторый кванторили.
Тогда ппф вида,
где– бескванторная формула, называетсяпренексной нормальной формой.

Теорема
о существовании:

Для любой
ппф алгебры предикатов существует
эквивалентная ей пренексная форма.

Алгоритм
получения:

1. Исключаем

2. Продвигаем

   до атома.

3. Переименовываем
   связанные переменные

4. Вынесим
   кванторы

52. Сколемовская стандартная форма (ссф):
    основная теорема, функции Сколема.

Пренексная
форма вида
называется сколемовской.

Основная
теорема:

Пусть
предложение
сигнатурыимеет вид

Также пусть
–nместные функциональные
символы.

Пусть
предложение
сигнатурыимеет вид

Тогда для
любой алгебраической системы
существует алгебраическая систематакая, что значениевсовпадает со значением.

— обогащение,
а– обеднение.
Функции,
вводимые вместо кванторов,
называются функциями Сколема.

53. Сколемовская стандартная форма (ссф):
    следствие основной теоремы.

Пренексная
форма вида
называется сколемовской.

Следствие:

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

54. Сколемовская стандартная форма(ссф):
    процедура построения, алгоритм Сколема.

Алгоритм
Сколема:

1. Представить
   исходное предложение
   в виде пнф

2. Найти
   квантор

3. Если
   квантор
   самый первый, то заменить все вхожденияна

4. Если
   нет, то заменить все вхождения
   на

5. Повторять
   до усеру.

55. Понятие логического следствия в АП.
    Пример.

Ппф
сигнатурыназывается логическим следствием
множества формултой же сигнатуры в алгебре предикатов,
если в любой алгебраической системеппфполучает значениеtкаждый
раз, как каждая ппф ппфпринимает значениеtв
этой системе.

Пример:

Пусть
,.

Рассмотрим
произвольную алгебраическую модель
.
Пусть в этой модели,
тогда,
значит.
Значит.

56. Выполнимые и невыполнимые множества
    посылок в АП

Множество
посылок
выполнимо в алгебре предикатов, если
найдется алгебраическая система
соответствующей сигнатуры такая, что
в базе этой системы существует набор
значений свободных переменных, на
котором все формулы изпринимают значениеt.

Множество
посылок
невыполнимо в АП, если в любой алгебраической
системе соответствующей сигнатуры для
любого набора значений свободных
предметных переменных найдется ппф,
значение которой =f.

57. Понятие резольвенты в АВ. Пример.

Пусть
– кнф,– элементарные дизъюнкции (дизъюнкты).

Резольвентой
дизъюнктов
назовем дизъюнкт

58. Теорема о свойстве резольвенты.

или

59. Основная теорема

Кнф
тождественно ложно тогда и только тогда,
когда тождественно ложна кнф

60. Формулировка принципа резолюции в АВ

Пусть
— некоторое множество дизъюнктов и
пусть для,
где– резольвента некоторой пары дизъюнктов
из.
Тогда, если для некоторогоi,
то кнф.

61. Схема применения принципа резолюции
    для доказательства факта логического
    следствия в АВ. Пример применения
    принципа резолюции для доказательства
    факта логического следствия.

Необходимо
определить, имеет ли место факт логического
следствия

1. Образуем
   ппф

2. Для
   строим эквивалентную ей кнф

3. Образуем
   и применяем принцип резолюции. Если на
   каком-то шагеi-1 получаем
   «пустой дизъюнкт» — тождественно ложную
   резольвенту,
   то

Пример:

Проверим

3. видим чтообразуют контрарную пару литер и дают,
   значит

62. Схема построения модели алгоритма

1. Выделение
   основных свойств (характерных черт,
   присущих алгоритму)

2. Определение
   основных элементов модели, исходя из
   выделенных характерных черт.

3. Принятие
   основных предположений об элементах
   модели (установление основных ограничений)

4. В рамках
   принятых предположений построение и
   анализ конкретных моделей алгоритмов

5. Установление
   взаимосвязи между различными моделями
   алгоритмов.

Тема 3. Алгебраические системы

⇐ ПредыдущаяСтр 11 из 27Следующая ⇒

Определения и примеры

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

Рассмотрим непустое множество А . Введем понятие n -местной операции на множестве Отметим, что, поскольку операция f является функцией, для любого набора (x 1, …, xn) ∈ Апрезультат применения операции f (x 1, …, xn) однозначно определен. Так как область значений операции f лежит в множестве А , то будем говорить, что операция f замкнута на множестве А .

Сигнатурой или языком ∑ называется совокупность предикатных и функциональных символов с указанием их местности. 0-местный функциональный символ называется константным символом или просто константой . Если α — функциональный или предикатный символ, то его местность обозначается через μ(α). n -местные предикатные и функциональные символы часто будем обозначать соответственно через P (n)и f (n). Если в рассматриваемой сигнатуре используются стандартные символы, такие, например, как + для операции сложения, ≤ для отношения порядка, | для отношения делимости, 0 для константного символа и другие, то мы просто пишем ∑ = {≤}, ∑ = {≤, +, ·, 0}, ∑ = { +, –, |, 0, 1} и т. д.

Алгебраической системой сигнатуры ∑ называется непустое множество А , где каждому n -местному предикатному (функциональному) символу из ∑ поставлен в соответствие п- местный предикат (соответственно операция), определенный на множестве А . Множество А называется носителем или универсумом алгебраической системы á А , ∑ñ . Предикаты и функции, соответствующие символам из ∑, называются их интерпретациями . Обозначать интерпретации будем теми же буквами, что и соответствующие символы сигнатуры. Заметим, что интерпретацией любого константного символа является некоторый элемент (константа ) из А .

Алгебраические системы в дальнейшем будут обозначаться готическими буквами (возможно, с индексами), а их носители — соответствующими латинскими буквами А , В ,… (с соответствующими индексами). Иногда мы будем отождествлять носитель с алгебраической системой.

Мощностью алгебраической системы называется мощность ее носителя А . В дальнейшем будем часто опускать слово «алгебраическая» и называть системой или структурой .

Сигнатура ∑ называется функциональной , (предикатной ), если она не содержит предикатных (функциональных) символов. Система называется алгеброй (моделью ), если ее сигнатура функциональна (предикатна).

Алгебра сигнатуры ∑ = {f }, где μ(f )= 2, называется группоидом . Единственная здесь операция f обычно обозначается символом ·: Если А — конечное множество, действия операции · можно задать квадратной таблицей, в которой для каждой пары (ai, aj) ∈ А 2записан результат действия · (ai, aj). Такая таблица называется таблицей Кэли группоида . Группоид называется полугруппой , если · — ассоциативная операция, т. е. для всех элементов x , y , z ∈ А верно х · (у · z ) = (х · у ) · z . Полугруппа называется моноидам , если существует элемент е ∈ А , называемый единицей, такой, что е · х = х · е = х для всех х ∈ А . Полугруппы и моноиды имеют особое значение в теории языков при обработке слов.

Пример 1.2. Пусть W (X ) — множество слов алфавита X . Определим на W (X ) операцию конкатенации ^ следующим образом: если α, β ∈ W (X ), то α^β = αβ, т. е результатом является слово, полученное соединением слов α и β (например. xyz ^zx = xyzzx ). Операция ^ ассоциативна, т. е. для любых слов α, β, γ верно (α^β)^γ = α^(β^γ).

Следовательно, система á W (X ), ^ñ является полугруппой. Так как для всех α ∈ W (X ) верно Λ^α = α^Λ = α, где Λ — пустое слово, то Λ удовлетворяет свойству единицы. Таким образом, система á W (X ), ^ñ является моноидом.

Моноид = á A , ·ñ называется группой , если для любого элемента х ∈ А существует элемент х –1∈ А , называемый обратным к х , такой, что х · х –1= х –1· х = е . Группа называется коммутативной или абелевой , если х · y = y · х для всех x , y ∈ А .

Подсистемы

Алгебраическая система называется подсистемой системы (обозначается через ), если выполняются следующие условия:

а) А ⊆ В ;

б) для любого функционального символа f n∈ ∑, соответствующих функций и и любых элементов a 1, a 2, …, an∈ А выполняется равенство , т. е. интерпретации символа f действуют одинаково па элементах из A ;

в) для любого предикатного символа P (n)∈ ∑, соответствующих предикатов и справедливо равенство , т. е. предикат содержит в точности те кортежи отношения , которые состоят из элементов множества А .

Если ∑ — функциональная (предикатная) сигнатура, то подсистема алгебры (модели) называется подалгеброй (подмоделью ).

Теорема 3.1.Если — алгебраическая система , X ⊆ В , X ≠ ∅ , то существует единственная подсистема с носителем , В (Х ), такая, что X ⊆ B (Х ) м для любой подсистемы для которой X ⊆ A .

Для описания устройства подсистемы определим индукцией по построению понятие терма сигнатуры ∑:

1) переменные и константные символы из ∑ суть термы;

2) f ∈ ∑ — n -местный функциональный символ, t 1, t 2, …, tn— термы, то f (t 1, t 2, …, tn) — терм;

3) никаких термов, кроме построенных по пп. 1, 2, нет.

Таким образом, термом является любое функциональное выражение, составленное с помощью сигнатурных функциональных символов.

Множество всех термов сигнатуры ∑ обозначается через Т (∑).

Рекомендуемые страницы:

Функциональный стиль. Регистр.

Функциональный стиль языка — это система взаимосвязанных языковых средств, служащая определенной цели в общении. Таким образом, функциональный стиль следует рассматривать как продукт определенной конкретной задачи, поставленной отправителем сообщения. Функциональные стили появляются в основном в литературном стандарте языка.

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

То, что мы здесь называем функциональными стилями, также называется регистрами или дивами.

В английском литературном стандарте мы различаем следующие основные функциональные стили (отсюда и FS):

1) Язык художественной литературы.

2) Язык публицистической литературы.

3) Язык газет.

4) Язык научной прозы.

5) Язык официальных документов.

Как уже упоминалось, функциональные стили являются продуктом развития письменной разновидности языка. l Каждая FS может характеризоваться рядом отличительных признаков, ведущих или подчиненных, постоянных или изменяющихся, обязательных или необязательных. Однако большинство ФС воспринимаются как независимые целые из-за своеобразного сочетания и взаимосвязи общих для всех признаков (особенно с учетом синтаксической организации) с ведущими характеристиками каждой ФС.

Каждая ФС подразделяется на несколько подстилей. Они представляют собой разновидности абстрактного инварианта. Каждый сорт имеет основные черты, общие для всех разновидностей данной ФС, и особенности, присущие только этому сорту. Тем не менее, в некоторых случаях подстиль может настолько отклоняться от инварианта, что в крайнем случае может даже оторваться.

Мы отчетливо воспринимаем следующие подстили пяти приведенных выше ФС.

Художественная литература ФС имеет следующие подстили:

а) языковой стиль поэзии; б) языковой стиль эмоциональной прозы; в) языковой стиль драмы.

Публицистический ФС включает следующие подстили: а) языковой стиль ораторского искусства; б) языковой стиль эссе;

c) языковой стиль тематических статей в газетах и ​​журналах. *

Газета FS подпадает под а) языковой стиль кратких новостей и сообщений; б) языковой стиль заголовков газет и в) языковой стиль уведомлений и рекламных объявлений.

Научная проза ФС также имеет три раздела: а) языковой стиль гуманитарных наук; б) языковой стиль «точный» | науки; в) языковой стиль научно-популярной прозы.J

Официальный документ ФС можно разделить на четыре разновидности: а) языковой стиль дипломатических документов; б) языковой стиль деловых документов; c) языковой стиль юридических документов;

г) языковой стиль военных документов.

Представленная здесь классификация никоим образом не является произвольной. Это результат долгих и подробных наблюдений за фактическим материалом, в которых учитывались не только особенности использования языка, но и экстралингвистические данные, в частности, цель общения.Однако мы признаем, что эта классификация не защищена от критики. Возможно, другие схемы могут быть разработаны и выделены различными подходами к проблеме функциональных стилей. Классификация ФС Jj — непростой вопрос, и любое ее обсуждение обязательно будет отражать более одного угла зрения. Так, например, некоторые стилисты считают, что газетные статьи (включая тематические) следует отнести к категории M по функциональному стилю газетного языка, а не по языку публицистической литературы.Другие настаивают на включении языка повседневного дискурса в систему функциональных стилей. Проф. Будагов выделяет только два основных функциональных стиля: язык науки и язык эмоциональной литературы.

Дата: 17.12.2015; вид: 1432

.

Разделы фонетики

Мы знаем, что звуковую среду можно изучать с четырех точек зрения: артикуляционной, акустической, слуховой и функциональной.

Мы можем рассматривать отрасли фонетики в соответствии с этими аспектами. Артикуляционная фонетика — это изучение того, как органы голоса используются для воспроизведения звуков речи. Акустическая фонетика — это изучение физических свойств звуков речи. Слуховая фонетика — это изучение того, как люди воспринимают звуки речи.Из этих трех ветвей фонетики самой давней и до недавнего времени наиболее развитой является артикуляционная фонетика. По этой причине большинство терминов, используемых лингвистами для обозначения звуков речи, имеют артикуляционное происхождение.

Фонетистов также интересует, каким образом звуковые явления функционируют в определенном языке. Другими словами, они изучают абстрактную сторону звуков языка. Раздел фонетики, изучающий функциональный (лингвистический) аспект звуков речи, называется фонологией.В отличие от фонетики, которая изучает все возможные звуки, которые может издавать голосовой аппарат человека, фонология изучает только те звуковые контрасты, которые создают различия в значениях в пределах языка.

Помимо четырех разделов фонетики, описанных выше, существуют и другие разделы науки. Мы можем говорить об общей фонетике и фонетике конкретного языка (специальной или описательной фонетике). Общая фонетика изучает все звуковые возможности человеческого речевого аппарата и способы их использования в целях общения.Фонетика конкретного языка изучает современную фонетическую систему конкретного языка, то есть систему его произношения, и дает описание всех фонетических единиц языка. Описательная фонетика основана на общей фонетике.

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

Тесно связана с исторической фонетикой сравнительная фонетика, целью которой является изучение соотношения между фонетическими системами двух или более языков и выяснение соответствия между звуками речи родственных языков.

Фонетика может быть теоретической и практической. На факультетах иностранных языков в этой стране введены два курса:

1. Практическая или нормативная фонетика, изучающая субстанцию, материальную форму фонетических явлений по отношению к значению.

2. Теоретическая фонетика, которая в основном занимается функционированием фонетических единиц в языке.

Эта дихотомия существует между лингвистами-теоретиками и лингвистами-прикладниками. Вкратце, теоретическая лингвистика изучает язык с целью построения теории его структуры и функций и без учета каких-либо практических приложений, которые может иметь исследование языка. Прикладная лингвистика занимается применением концепций и результатов лингвистики для решения множества практических задач, включая преподавание языков.

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

Фонетика также связана со многими другими науками. Акустическая фонетика связана с физикой и математикой. Артикуляционная фонетика связана с физиологией, анатомией и антропологией. Историческая фонетика связана с общей историей народа, язык которого изучается; это также связано с археологией.Фонология связана с теорией коммуникации (информации), математикой и статистикой.

:

.

Аспекты и единицы фонетики

Фонетика как отрасль языкознания

Мы начинаем изучение языка с изучения состава, структуры и функций звуков речи. Этот раздел лингвистики называется фонетикой.

Фонетика — это независимый раздел лингвистики, такой как лексикология или грамматика. Эти лингвистические науки изучают язык с трех разных точек зрения. Лексикология занимается словарным запасом языка, происхождением и развитием слов, их значением и словообразованием.Грамматика определяет правила изменения слов и объединения слов в предложения. Фонетика изучает внешнюю форму языка; его здравый смысл. Фонетик исследует фонемы и их аллофоны, слоговую структуру, распределение ударения и интонацию. Его интересуют звуки, производимые человеческими речевыми органами, поскольку эти звуки играют роль в языке. Давайте назовем этот ограниченный диапазон звуков звуковой средой, а отдельные звуки в этом диапазоне — звуками речи.Теперь мы можем определить фонетику как изучение звуковой среды. Фонетика — это изучение того, как люди издают, передают и воспринимают звуки речи. Фонетика занимается изучением способов организации звуков в систему единиц и вариаций единиц во всех типах и стилях разговорной речи.

Фонетика — это основной раздел языкознания. Без фонетики не обходятся ни теория языка, ни языковая практика. Никакое лингвистическое изучение невозможно без постоянного рассмотрения материала на уровне выражения.

Аспекты и единицы фонетики

Человеческая речь — результат очень сложной серии событий. Рассмотрим речевую цепочку, которую в упрощенном виде можно изобразить так:

Формирование концепции происходит в мозгу говорящего.Этот этап можно назвать психологическим. Сообщение, сформированное в головном мозге, передается по нервной системе к органам речи. Следовательно, мы можем сказать, что человеческий мозг управляет поведением артикулирующих органов, что влияет на создание определенного набора звуков речи. Эту вторую стадию можно назвать физиологической. Движения речевого аппарата нарушают воздушный поток, создавая звуковые волны. Следовательно, третий этап можно назвать физическим или акустическим. Кроме того, любое общение требует не только говорящего, но и слушателя.Таким образом, последние этапы — это прием звуковых волн физиологическим аппаратом слуха слушателя, передача устного сообщения через нервную систему в мозг и лингвистическая интерпретация передаваемой информации. . Звуковые явления имеют разные аспекты:

(а) артикуляционный аспект;

(б) акустический аспект;

(c) слуховой (перцептивный) аспект;

(г) функциональный (лингвистический) аспект.

Теперь можно показать взаимосвязь между этапами речевой цепи и аспектами звуковой материи.

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

(1) силовой механизм;

(2) механизм вибрации;

(3) резонаторный механизм;

(4) блокирующий механизм.

Функции силового механизма заключаются в подаче энергии в виде давления воздуха и в регулировании силы воздушного потока. Силовой механизм включает: (1) диафрагму, (2) легкие, (3) бронхи, (4) дыхательное горло или трахею. Голосовая щель и надгортанные полости входят в энергетический механизм как части дыхательных путей. Механизм вибрации состоит из гортани или голосового аппарата, в котором находятся голосовые связки. Самая важная функция голосовых связок — это их роль в производстве голоса.Глотка, рот и носовая полость функционируют как основные резонаторы, таким образом составляя механизм резонатора. Механизм обструкции (язык, губы, зубы и небо) формирует различные типы препятствий.

Акустический аспект изучает звуковые волны. Основные колебания голосовых связок по всей их длине создают основной тон голоса. Одновременные колебания каждой части голосовых связок производят частичные тона (обертоны и гармоники).Количество колебаний в секунду называется частотой. Частота основных колебаний голосовых связок — это основная частота. Основная частота определяет высоту голоса и составляет акустическую основу речевой мелодии. Интенсивность речевых звуков зависит от амплитуды вибрации.

Слуховой (звуковоспринимающий) аспект , с одной стороны, представляет собой физиологический механизм. Мы можем воспринимать звуковые волны в диапазоне от 16 Гц до 20 000 Гц с разницей и в 3 Гц.Человеческое ухо трансформирует механические колебания воздуха в нервные и передает их в мозг. Слушатель слышит акустические характеристики основной частоты, формантной частоты, интенсивности и продолжительности с точки зрения воспринимаемых категорий высоты звука, качества, громкости и длины. С другой стороны, это тоже апсихологический механизм. Дело в том, что повторения того, что можно было бы услышать как одно и то же высказывание, только случайно, если вообще когда-либо, акустически идентичны. Фонетическая идентичность — это.теоретический идеал. Фонетическое сходство, а не фонетическая идентичность — это критерий, с которым мы работаем при лингвистическом анализе.

Функциональный аспект . Фонемы, слоги, ударение и интонация — языковые явления. Они составляют значимые единицы (морфемы, слова, словоформы, высказывания). Звуки речи выполняют разные лингвистические функции.

Давайте посмотрим на соотношение некоторых фонетических терминов, о которых говорилось выше.

Фонетическая система языка — это набор фонетических единиц, упорядоченных и заменяющих друг друга в заданной структуре.Фонетика делится на два основных компонента (или системы): сегментная фонетика, которая касается отдельных звуков (то есть «сегментов» речи), и суперсегментная фонетика, имеющая дело с более крупными единицами связанной речи: слогами, словами, фразами и текстами.

1. Сегментарные единицы — звуки речи (гласные и согласные), которые образуют вокальную и согласную системы;

2. Супрасегментальные, или просодические, единицы — это слоги, ударные (ритмические) единицы, интонационные группы, высказывания, которые образуют подсистему высоты звука, ударения, ритма, темпа, пауз.

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

Рассмотрим четыре составляющих фонетической системы языка.

Первым и основным компонентом фонетической структуры языка является система его сегментарных фонем, существующих в материальной форме своих аллофонов.Фонематический компонент имеет 3 аспекта или проявления:

1. Система его фонем как дискретных обособленных единиц;

2. Распределение аллофонов фонем;

3. Способы соединения речевых звуков в словах и в местах их соединения или способы выполнения переходов VC, CV, CC и VV.

Второй компонент — это слоговая структура слов. Слоговая структура имеет два неотделимых друг от друга аспекта: слоговое образование и слоговое деление.

Третий компонент — это акцентная структура слов как элементов словарного запаса (т. Е. Как произносимых изолированно). Акцентная структура слов имеет три аспекта: физический (акустический) характер словесного акцента; расположение ударения в двусложных и многосложных словах; степени ударения слова.

Четвертый компонент фонетической системы — интонационная структура высказываний. Четыре компонента фонетической системы языка (фонематическая, слоговая, акцентная и интонационная) составляют его произношение (в широком смысле этого слова).

:

.