Математична логіка; Основи теорії алгоритмів
Є в наявності
Код товару: 69398
200 грн
Купити
КУПИТИ ЗА ОДИН КЛІК
Математична логіка; Основи теорії алгоритмів
Автор:
Шкільняк С.С.
Кількість сторінок:
280
Рік випуску:
2009
Дивитись всі характеристики
Видавництво:
Мова:
українська
Обкладинка:
твердый
Згорнути
Доставка і оплата
Якщо замовлення понад 2000 грн
- за тарифами перевізника!
Кур’єром по Києву 1-2дня
- до 2000 грн
-55 грн
- понад 2000 грн
- безкоштовно
Транспортними службами по Україні
- Укрпошта
- 3-7 днів
- Нова Пошта
- 2-3 дні
Оплата
Готівковий, безготівковий, Visa/MasterCard
Опис книги Математична логіка; Основи теорії алгоритмів
У посібнику викладено поняття і результати, які належать до основ математичної логіки і основ теорії алгоритмів. Вивчаються пропозиційна логіка, класична логіка першого порядку, а також інтуїціоністська та модальні логіки, формальні моделі алгоритмів і обчислюваних функцій, питання розв’язності та нерозв’язності, відносна обчислюваність, звідності. Наприкінці розділів наведено питання для самоконтролю, задачі та вправи для самостійного виконання. Для студентів спеціальностей “Інформатика” та “Прикладна математика”.
Залишити відгук