
Формальные методы в информатике

Quiz
•
Information Technology (IT)
•
11th Grade
•
Hard
Ярослав Плоткин
Used 1+ times
FREE Resource
10 questions
Show all answers
1.
MULTIPLE CHOICE QUESTION
30 sec • 1 pt
Что такое логика в информатике?
Логика в информатике - это изучение языков программирования.
Логика в информатике - это метод управления проектами.
Логика в информатике - это раздел, изучающий формальные системы вывода и логические операции.
Логика в информатике - это область, занимающаяся графическим дизайном.
2.
MULTIPLE CHOICE QUESTION
30 sec • 1 pt
Каковы основные виды логических операций?
ИФ, ИЛИФ, НЕФ, ИСКЛЮЧАЮЩЕЕ ИЛИФ
И, ИЛИ, НЕ, ИСКЛЮЧАЮЩЕЕ ИЛИФ
И, ИЛИ, НЕ, ИСКЛЮЧАЮЩЕЕ ИЛИ
И, ИЛИ, ИСКЛЮЧАЮЩЕЕ ИЛИ, ИЛИФ
3.
MULTIPLE CHOICE QUESTION
30 sec • 1 pt
Что такое формальное доказательство?
Формальное доказательство - это строгое логическое обоснование теоремы.
Формальное доказательство - это пример практического применения теоремы.
Формальное доказательство - это неформальное обсуждение теоремы.
Формальное доказательство - это случайное утверждение без логики.
4.
MULTIPLE CHOICE QUESTION
30 sec • 1 pt
Каковы основные правила вывода в логике?
Закон тождества
Закон двойного отрицания
Основные правила вывода в логике: закон исключенного третьего, закон противоречия, закон достаточного основания, модус поненс, модус толленс.
Закон контрапозиции
5.
MULTIPLE CHOICE QUESTION
30 sec • 1 pt
Что такое формальный язык?
Формальный язык - это язык, определяемый строгими правилами для создания и интерпретации выражений.
Формальный язык - это язык, используемый только в устной речи.
Формальный язык - это язык, созданный для общения между людьми.
Формальный язык - это язык, который не имеет правил.
6.
MULTIPLE CHOICE QUESTION
30 sec • 1 pt
Каковы компоненты формального языка?
Грамматика, лексика, фонетика
Алфавит, синтаксис, семантика
Синтаксис, морфология, прагматика
Алфавит, стиль, риторика
7.
MULTIPLE CHOICE QUESTION
30 sec • 1 pt
Что такое грамматика в контексте формальных языков?
Грамматика формального языка — это набор правил, определяющих его синтаксис и структуру.
Грамматика формального языка — это набор словарных определений.
Грамматика формального языка — это список всех возможных слов.
Грамматика формального языка — это набор правил для произношения слов.
Create a free account and access millions of resources
Similar Resources on Wayground
10 questions
Проверь свои знания в информатике

Quiz
•
11th Grade
11 questions
Java

Quiz
•
9th - 12th Grade
10 questions
Использование match-case в Python

Quiz
•
11th Grade
15 questions
7 клас тест 2 15 балів

Quiz
•
7th Grade - University
15 questions
Итоговый тест по Word

Quiz
•
10th Grade - University
15 questions
Основы нейронных сетей

Quiz
•
11th Grade
14 questions
Тест по основам HTML и формам

Quiz
•
11th Grade
10 questions
Повторение

Quiz
•
11th Grade
Popular Resources on Wayground
10 questions
Video Games

Quiz
•
6th - 12th Grade
10 questions
Lab Safety Procedures and Guidelines

Interactive video
•
6th - 10th Grade
25 questions
Multiplication Facts

Quiz
•
5th Grade
10 questions
UPDATED FOREST Kindness 9-22

Lesson
•
9th - 12th Grade
22 questions
Adding Integers

Quiz
•
6th Grade
15 questions
Subtracting Integers

Quiz
•
7th Grade
20 questions
US Constitution Quiz

Quiz
•
11th Grade
10 questions
Exploring Digital Citizenship Essentials

Interactive video
•
6th - 10th Grade
Discover more resources for Information Technology (IT)
10 questions
Video Games

Quiz
•
6th - 12th Grade
10 questions
UPDATED FOREST Kindness 9-22

Lesson
•
9th - 12th Grade
20 questions
US Constitution Quiz

Quiz
•
11th Grade
6 questions
Rule of Law

Quiz
•
6th - 12th Grade
15 questions
ACT Math Practice Test

Quiz
•
9th - 12th Grade
18 questions
Hispanic Heritage Month

Quiz
•
KG - 12th Grade
28 questions
Ser vs estar

Quiz
•
9th - 12th Grade
10 questions
Would you rather...

Quiz
•
KG - University