- •Нехай задано інтерпретацію:
- •Доведіть, що дана формула є теоремою числення висловлень, побудувавши послідовність формул, що є виводом даної формули із аксіом:
- •Доведіть, що в численні висловлень має місце наступна виводимість, побудувавши відповідне виведення із гіпотез:
- •Використовуючи теорему дедукції, доведіть, що наступна формула є теоремою числення висловлень:
- •Встановити, чи є терм вільним для змінної у формулі :
- •Нехай задано інтерпретацію:
- •Нехай задано інтерпретацію:
- •Задана машина Тьюринга із зовнішнім алфавітом та наступною функціональною схемою:
- •Побудувати машину Тьюринга для обчислення заданої частково-числової функції. Прокоментувати вибір зовнішнього алфавіту та початкової конфігурації. Пояснити сенс кожного стану та переходу.
- •У разі якщо машина зупиняється, визначити яке слово отримано нею в результаті, та яка її остання конфігурація.
- •Побудувати машину Тьюринга для обчислення заданої частково-числової функції. Прокоментувати вибір зовнішнього алфавіту та початкової конфігурації. Пояснити сенс кожного стану та переходу.
- •У разі якщо машина зупиняється, визначити яке слово отримано нею в результаті, та яка її остання конфігурація.
- •У разі якщо машина зупиняється, визначити яке слово отримано нею в результаті, та яка її остання конфігурація.
- •Побудувати машину Тьюринга для обчислення заданої частково-числової функції. Прокоментувати вибір зовнішнього алфавіту та початкової конфігурації. Пояснити сенс кожного стану та переходу.
- •У разі якщо машина зупиняється, визначити яке слово отримано нею в результаті, та яка її остання конфігурація.
- •Побудувати машину Тьюринга для обчислення заданої частково-числової функції. Прокоментувати вибір зовнішнього алфавіту та початкової конфігурації. Пояснити сенс кожного стану та переходу.
- •У разі якщо машина зупиняється, визначити яке слово отримано нею в результаті, та яка її остання конфігурація.
- •Побудувати машину Тьюринга для обчислення заданої частково-числової функції. Прокоментувати вибір зовнішнього алфавіту та початкової конфігурації. Пояснити сенс кожного стану та переходу.
- •У разі якщо машина зупиняється, визначити яке слово отримано нею в результаті, та яка її остання конфігурація.
- •Побудувати машину Тьюринга для обчислення заданої частково-числової функції. Прокоментувати вибір зовнішнього алфавіту та початкової конфігурації. Пояснити сенс кожного стану та переходу.
- •У разі якщо машина зупиняється, визначити яке слово отримано нею в результаті, та яка її остання конфігурація.
- •Побудувати машину Тьюринга для обчислення заданої частково-числової функції. Прокоментувати вибір зовнішнього алфавіту та початкової конфігурації. Пояснити сенс кожного стану та переходу.
- •У разі якщо машина зупиняється, визначити яке слово отримано нею в результаті, та яка її остання конфігурація.
- •Побудувати машину Тьюринга для обчислення заданої частково-числової функції. Прокоментувати вибір зовнішнього алфавіту та початкової конфігурації. Пояснити сенс кожного стану та переходу.
Встановити, чи зупиниться коли-небудь ця машина, якщо вона починає свою роботу із заданого слова (в початковий момент, в стані , машина знаходиться в комірці, в якій записана перша зліва буква слова, що переробляється).
У разі якщо машина зупиняється, визначити яке слово отримано нею в результаті, та яка її остання конфігурація.
Побудувати машину Тьюринга для обчислення заданої частково-числової функції. Прокоментувати вибір зовнішнього алфавіту та початкової конфігурації. Пояснити сенс кожного стану та переходу.
Задано номер автобусного білета. Використовуючи знаки плюс чи мінус, розставити їх так, щоб сума чисел дорівнювала 100
На конференції, щоб відвести більше часу на неформальне спілкування, різні секції рознесли по різних аудиторіях. Вчений із надзвичайно широкими інтересами бажає відвідати декілька доповідей в різних секціях. Відомі початок si і кінець fi кожної доповіді. Визначити, яку максимальну кількість доповідей можна відвідати. Використати жадібний алгоритм
Монетна система деякої держави складається з монет вартістю a1 = 1 < a2 < ... < an. Вимагається видати суму S найменшою можливою кількістю монет.