Probabilistic Verification in Computational Systems DesignIosif ItkinSergey Frenkel, Victor Zakharov, Vladimir Ushakov, IPI RAS, Lomonosov Moscow State University, Moscow
Представление графов в памяти компьютера (c++).Olga MaksimenkovaСлайды по представлению графов в памяти компьютера. Примеры кода на языке C++. Акценты расставлены на дообъектных представлениях, которые могут быть использованы школьниками при решении олимпиадных задач по программированию.
1. Типы данных. Операции. Ввод и вывод C#Olga MaksimenkovaПрезентация лекции с краткосрочной школы повышения квалификации учителей информатики в НИУ ВШЭ (2012) год. Язык программирования c#
1. Типы данных. Операции. Ввод и вывод C#Olga MaksimenkovaПрезентация лекции с краткосрочной школы повышения квалификации учителей информатики в НИУ ВШЭ (2012) год. Язык программирования c#
КР Решение логических задач. логические основы построения пк
1. КОНТРОЛЬНАЯ РАБОТА
«РЕШЕНИЕ ЛОГИЧЕСКИХ ЗАДАЧ. ЛОГИЧЕСКИЕ ОСНОВЫ
ПОСТРОЕНИЯ ПК»
Вариант №1.
1. Записать логическую функцию, описывающую состояние логической схемы.
Составить таблицу истинности.
2. По заданной таблице истинности записать логическую функцию (СДНФ).
Упростить полученную логическую функцию. Составить логическую схему.
A B C F(a,b,c)
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 0
1 1 1 0
3. Экзамен сдавали четыре абитуриента: Агафонов, Веткин, Сараев и Киреев.
Известно, что:
1) Для того, чтобы Агафонов не сдал или Веткин сдал, необходимо, чтобы
Сараев сдал и Киреев не сдал экзамен.
2) Для того, чтобы не сдал Сараев, а Веткин сдал, необходимо, чтобы
Агафонов не сдал или Киреев сдал экзамен.
3) Неверно, что для того, чтобы не сдал Агафонов, достаточно, чтобы сдал
Киреев.
Кто сдал экзамен?
КОНТРОЛЬНАЯ РАБОТА
«РЕШЕНИЕ ЛОГИЧЕСКИХ ЗАДАЧ. ЛОГИЧЕСКИЕ ОСНОВЫ
ПОСТРОЕНИЯ ПК»
A
Y
B
1
&
&
1
&
&
&
2. Вариант №2.
1. Записать логическую функцию, описывающую состояние логической схемы.
составить таблицу истинности.
2. По заданной таблице истинности записать логическую функцию (СДНФ).
Упростить полученную логическую функцию. Составить логическую схему.
a b c F(a, b, c)
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 0
1 1 1 0
3. Семья состоит из пяти человек: Алексей, Вера, Глеб, Даша, Евгений.
1) Если телевизор смотрит Алексей, то смотрит и Вера;
2) смотрят либо Даша, либо Евгений, либо оба вместе;
З) смотрят либо Вера, либо Глеб, но не вместе;
4) Даша и Глеб либо смотрят вместе, либо вовсе не смотрят;
5) если смотрит Евгений, то смотрят Алексей и Даша.
Кто смотрит телевизор?
КОНТРОЛЬНАЯ РАБОТА
«РЕШЕНИЕ ЛОГИЧЕСКИХ ЗАДАЧ. ЛОГИЧЕСКИЕ ОСНОВЫ
ПОСТРОЕНИЯ ПК»
A
&
&
1
B
Y
3. Вариант №3.
1. Записать логическую функцию, описывающую состояние логической схемы.
Составить таблицу истинности.
2. По заданной таблице истинности записать логическую функцию (СДНФ).
Упростить полученную логическую функцию. Составить логическую схему.
A B C F(a,b,c)
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 1
3. На вопрос о погоде на завтра синоптик ответил:
1) Если будет мороз, то пойдет снег и будет пасмурно.
2) Если не будет мороза и пойдет снег, то будет пасмурно.
3) Пойдет снег, если будет пасмурно.
4) Неверно, что если не будет мороза, то будет пасмурно.
Какая будет погода завтра?
КОНТРОЛЬНАЯ РАБОТА
«РЕШЕНИЕ ЛОГИЧЕСКИХ ЗАДАЧ. ЛОГИЧЕСКИЕ ОСНОВЫ
ПОСТРОЕНИЯ ПК»
Вариант №4.
1.Записать логическую функцию, описывающую состояние логической схемы.
Составить таблицу истинности.
&
1 &
1
A
B
Y
A
&
B
Y
&
4. 2. По заданной таблице истинности записать логическую функцию (СДНФ).
Упростить полученную логическую функцию. Составить логическую схему.
A B C F(a,b,c)
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 0
3. В нарушении правил обмена валюты подозреваются четыре работника банка —
Крымов, Нестеренко, Романова, Тимофеева. Известно, что:
1) Если Крымов нарушил, то и Нестеренко нарушил правила обмена валюты.
2) Если Нестеренко нарушил, то и Романова нарушила или Крымов не нарушал..
3) Если Тимофеева не нарушила, то Крымов нарушил, а Романова не нарушала.
4) Если Тимофеева нарушила, то и Крымов нарушил.
Кто из подозреваемых нарушил правила обмена валюты?