ToALL
Приветствую!
Вот скоро меня ожидает экзамен по матлогике, и необходимо найти очень срочно учебник с разбором задач. 
Пример некоторых задач:
1) Сколько сущ. линейных самодвойственных функций от n переменных;
2) Маш. Тьюринга;
3) Оцените утв.: "Для чисел n и m в двоичной записи сущ. конечный автомат, вычисл. их произведение." Ответ обоснуйте.
( (+), -, ?, !, 0).
4) Оцените утверждение. Если среди правил, опр. грамматику языка есть правило A ::= BC, где A, B, C - нетерм. символы, то язык не явл. автоматным. 
5)  Оцените утверждение. 
     Функция f в совокупности с неf и f* образует полную систему булевых ф-ций. 
   Вообщем, помогите, плз, экзамен на "носу", а я ничего не нашёл. Буду благодарен! 

M Kuvaldis

1. Читаем правила вверху страницы. Там написано, что "один топик  - один вопрос" Создайте для каждого вопроса отдельную тему, иначе данная будет с особым цинизмом удалена. 2. При создании заголовка темы пользуйтесь общепринятыми на форуме правилами.

Добавлено @ 13:55 
To Kuvaldis
Мне не нужны решения задач, мне нужен учебник или лучше задачник по темам данных задач.

Это сообщение отредактировал(а) student0511 - 11.1.2007, 13:56

Модератор: перенесено из из \\"Центра помощи\\". 

Вот лекции Алексеева по Дискретной матике (МГУ).

Добавлено @ 21:52 
Тут про двойственность и самодвойственность есть.