1. Наука, изучающая законы и формы мышления, называется: Г) логика
2. Повествовательное предложение, в котором что-то утверждается или отрицается называется: В) высказывание
3. Константа, которая обозначается «1» в алгебре логики называется: В) истина
4. Какое из следующих высказываний являются истинным? В) II + VI = VIII (2 + 6 = 8, записанное при римских чисел)
5. Объединение двух высказываний в одно с союза «и» называется: Б) конъюнкция
6. Чему равно значение логического выражения (1v1)^(1v0)? А) 1 ((1 v 1) ^ (1 v 0) = 1 ^ 1 = 1)
7. Что такое логика? B) это наука о формах и законах человеческого мышления и, в частности, о законах доказательных рассуждений
8. Логической операцией не является: A) логическое деление
9. Объединение двух высказываний в одно с оборота «если..., то..» называется: Г) импликация
10. Таблица, содержащая все возможные значения логического выражения, называется: Б) таблица истинности
11. Даны три высказывания: А = (Наступила осень) В = (Мы учимся в колледже) С = (Мы решаем контрольную работу) Напишите в виде формулы высказывание: «Наступила осень, мы учимся в колледже и решаем контрольную работу» ABC
12. Придумайте ложное высказывание, соответствующее функции и постройте таблицу истинности для следующей функции: Х=А+ВС В ответе выписать комбинации А, В, С при которых Х – ложно. Например, если A = (Скопье – столица Черногории), B = (Скопье – столица Македонии) и C = (Скопье – столица Эфиопии), то X = A + BC соответствует ложному высказыванию "Скопье – столица Черногории или Македонии и Эфиопии". Таблица истинности: A B C X 0 0 0 0 0 0 1 0 0 1 0 0 – случай из примера 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 1 1 1 1 1 X ложно при (A, B, C) = (0, 0, 0), (0, 0, 1), (0, 1, 0).
оретические исследования нашего соотечественника Андрея Андреевича Маркова (младшего) (1903-1979), выполненные в середине века, показали, что в общем случае алгоритмы должны содержать предписания двух видов:
1) предписания, направленные на непосредственное преобразование информации (функциональные операторы);
2) предписания, определяющие дальнейшее направление действий (логические операторы).
ример 1. Словесное описание алгоритма нахождения наибольшего общего делителя (НОД) пары натуральных чисел (алгоритм Евклида).
Чтобы найти НОД двух чисел, составьте таблицу из двух столбцов и назовите столбцы X и У. Запишите первое из заданных чисел в столбец X, а второе — в столбец У. Если данные числа не равны, замените большее из них на результат вычитания из большего числа меньшего. Повторяйте такие замены до тех пор, пока числа не окажутся равными, после чего число из столбца X считайте искомым результатом.
Построчная запись. Это запись на естественном языке, но с соблюдением некоторых дополнительных правил:
Г) логика
2. Повествовательное предложение, в котором что-то утверждается или отрицается называется:
В) высказывание
3. Константа, которая обозначается «1» в алгебре логики называется:
В) истина
4. Какое из следующих высказываний являются истинным?
В) II + VI = VIII (2 + 6 = 8, записанное при римских чисел)
5. Объединение двух высказываний в одно с союза «и» называется:
Б) конъюнкция
6. Чему равно значение логического выражения (1v1)^(1v0)?
А) 1 ((1 v 1) ^ (1 v 0) = 1 ^ 1 = 1)
7. Что такое логика?
B) это наука о формах и законах человеческого мышления и, в частности, о законах доказательных рассуждений
8. Логической операцией не является:
A) логическое деление
9. Объединение двух высказываний в одно с оборота «если..., то..» называется:
Г) импликация
10. Таблица, содержащая все возможные значения логического выражения, называется:
Б) таблица истинности
11. Даны три высказывания:
А = (Наступила осень)
В = (Мы учимся в колледже)
С = (Мы решаем контрольную работу)
Напишите в виде формулы высказывание: «Наступила осень, мы учимся в колледже и решаем контрольную работу»
ABC
12. Придумайте ложное высказывание, соответствующее функции и постройте таблицу истинности для следующей функции:
Х=А+ВС
В ответе выписать комбинации А, В, С при которых Х – ложно.
Например, если A = (Скопье – столица Черногории), B = (Скопье – столица Македонии) и C = (Скопье – столица Эфиопии), то X = A + BC соответствует ложному высказыванию "Скопье – столица Черногории или Македонии и Эфиопии".
Таблица истинности:
A B C X
0 0 0 0
0 0 1 0
0 1 0 0 – случай из примера
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 1
X ложно при (A, B, C) = (0, 0, 0), (0, 0, 1), (0, 1, 0).
Объяснение:
оретические исследования нашего соотечественника Андрея Андреевича Маркова (младшего) (1903-1979), выполненные в середине века, показали, что в общем случае алгоритмы должны содержать предписания двух видов:
1) предписания, направленные на непосредственное преобразование информации (функциональные операторы);
2) предписания, определяющие дальнейшее направление действий (логические операторы).
ример 1. Словесное описание алгоритма нахождения наибольшего общего делителя (НОД) пары натуральных чисел (алгоритм Евклида).
Чтобы найти НОД двух чисел, составьте таблицу из двух столбцов и назовите столбцы X и У. Запишите первое из заданных чисел в столбец X, а второе — в столбец У. Если данные числа не равны, замените большее из них на результат вычитания из большего числа меньшего. Повторяйте такие замены до тех пор, пока числа не окажутся равными, после чего число из столбца X считайте искомым результатом.
Построчная запись. Это запись на естественном языке, но с соблюдением некоторых дополнительных правил: