Лекції з математичної логіки та теорії алгоритмів. Частина 2. Мови і обчислення 112491
Паперова книга
112491
-
ISBN978-5-4439-0944-8
-
Видавництво
-
Автор
-
Рік2017
-
МоваРосійська
385 ₴
Все про “Лекції з математичної логіки та теорії алгоритмів. Частина 2. Мови і обчислення”
Від видавця
Книга написана за матеріалами лекцій і семінарів, що проводилися авторами для студентів молодших курсів мехмату МГУ.
У ній розповідається про основні поняття математичної логіки (логіка висловлювань, мови першого порядку, выразимость, обчислення висловлювань, можна розв'язати теорії, теорема про повноту, початку теорії моделей). Виклад розрахований на учнів математичних шкіл, студентів-математиків та всіх, хто цікавиться математичною логікою.
Книга містить близько 200 завдань різної труднощі.
Анотація
Лекції з математичної логіки та теорії алгоритмів. Частина 2. Мови і обчислення
Всі характеристики
- Видавництво
- Автор
- Категорія
- Номер видання5-е вид.
- Рік2017
- Сторінок240
- Формат145х215 мм
- ОбкладинкаМ'яка
- Тип паперуОфсетний
- МоваРосійська
Товар входить до категорії
-
Самовивіз з відділень поштових операторів від
45 ₴ -80 ₴ -
Доставка поштовими сервісами - тарифи перевізника
Рецензії