Тест по информатике Тема: Теоретические основы информатики Класс: 10 Тип вопросов: Открытый вопрос Количество вопросов: 10 Вывод теста с ответами: Да

Вопросы

1. Что такое информатика и каковы её основные разделы?
2. Объясните различие между данными и информацией. Почему данные иногда называют «сырьем» информации?
3. Что такое алгоритм? Какие три основные характеристики алгоритма можно привести? Приведите пример простого алгоритма.
4. Что такое формальный язык? Приведите пример формального языка и его описания.
5. Что такое конечный автомат? Какие языки он распознаёт и чем отличаются детерминированные и недетерминированные автоматы?
6. Что такое грамматики и контекстно‑свободные грамматики? Опишите их основные компоненты и приведите простой пример грамматики.
7. Что такое Тьюринговая машина и какое место она занимает в теории вычислимости? Перечислите основные элементы Тьюринговой машины.
8. Что такое алгоритмическая сложность и нотация Big-O? Приведите пример и поясните смысл.
9. Что такое двоичная система счисления и как переводить число из десятичной в двоичную систему? Приведите пример перевода числа 13 в двоичную запись.
10. Что такое логика высказываний и какие базовые логические операции используются в теории информатики? Приведите пример простого логического выражения.

Ответы

1. Информатика — наука о представлении, обработке, сохранении и передаче информации с помощью вычислительных систем и алгоритмов; разделяется на теоретическую и прикладную, изучает основы вычислений, принципы организации информации, алгоритмы и их свойства.
2. Данные — неструктурированная совокупность фактов; информация — данные, обработанные и приведённые к смыслу для пользователя; обработка данных превращает их в полезную информацию.
3. Алгоритм — конечная последовательность действий, которая принимает входные данные и выдает выход; характеристики: конечное число шагов, корректность (правильный результат для заданного входа), и определённость (однозначность выполнения); пример: поиск максимального элемента в массиве.
4. Формальный язык — множество строк над заданным алфавитом, определяемое правилами/грамматикой; пример: L = { w ∈ {0,1}* | число единиц в w чётно }.
5. Конечный автомат — вычислательная модель с конечным числом состояний и переходов по входному символу; распознаёт регулярные языки; детерминированный автомат (DFA) имеет не более одного перехода из каждого состояния по каждому символу, недетерминированный (NFA) может иметь несколько переходов или безответный переход.
6. Грамматика — набор правил генерации языков; компоненты: терминалы, нетерминалы, стартовый символ, набор правил; контекстно‑свободная грамматика имеет правила вида A → γ, где A — нетерминал, γ — цепочка терминалов и/или нетерминалов. Пример: S → aSb | ε (генерирует сбалансированные пары a и b).
7. Тьюринговая машина — абстрактная вычислительная модель, формальная машина для моделирования любых алгоритмов; элементы: бесконечная лента, головка чтения-записи, конечный набор состояний, алфавит символов, таблица переходов; её способность моделировать любую вычислимую функцию определяет понятие вычислимости.
8. Сложность алгоритма — мера затрат времени или памяти в зависимости от размера входа; Big-O — верхняя граница роста ресурсоёмкости; пример: пузырьковая сортировка — O(n^2) по времени, если n — размер массива.
9. Двоичная система счисления использует два символа: 0 и 1; перевод из десятичной в двоичную осуществляется разбором по степеням двойки. Пример: 13 в двоичной системе — 1101₂ (13 = 1·8 + 1·4 + 0·2 + 1·1).
10. Логика высказываний изучает истинностные значения высказываний и их связи; базовые операции: конъюнкция (AND, ∧), дизъюнкция (OR, ∨), отрицание (NOT, ¬), импликация (IMPLICATION, →); пример простого выражения: (p ∧ q) → r.