Корзина
0
Корзина
0
Добавьте в корзину товаров ещё на 900 гривен, чтобы БЕСПЛАТНО получить товар по Украине до отделения Новой почты.

Ваша корзина пустая

Меню
Главная>Каталог книг>Учебная литература>Естественные науки для ВУЗов>Курс математической логики и теории вычислимости
Купить Курс математической логики и теории вычислимости

Курс математической логики и теории вычислимости

"Курс математической логики и теории вычислимости". Герасимов А.С.

Учебное пособие поможет изучить математическую логику и теории алгоритмов. В книге описываются языки логики (высказываний и предикатов первого порядка). Представлена семантика каждого языка. Дается общее понятие и излагаются исчисления гилбертовского типа, секвенциальные исчисления. Объясняется метод резолюций как способ формального математического доказательства. Рассматриваются основные аксиоматические теории, в том числе элементарная арифметика и теория Цермело-Френкеля. В рамках теории алгоритмов представлена теория вычислимости, для которой даны точные определения понятий алгоритма (машина Тьюринга, алгоритмы Маркова, лямбда-исчисления, частично рекурсивные функции). Доказывается неразрешимость некоторых проблем, в том числе проблемы остановки машин Тьюринга, проблема равенства полугрупп, проблема общей значимости и выводимости для исчисления предикатов. Автор рассматривает теоремы Геделя о неполноте. Детально представлено исчисление Хоара, предназначенное для формальных доказательств корректности программы некоторого императивного языка программирования. Дается больше двухсот 200 упражнений.

Учебник адресован, главным образом, студентам, изучающим компьютерные и информационные науки, информатику и вычислительную технику. А также всем, кто хочет самостоятельно изучить математическую логику.
Нет в наличии

Курс математической логики и теории вычислимости

Купить Курс математической логики и теории вычислимости
Артикул : 43483
Издательство : Лань
Автор : Герасимов А.С.
Язык : Русский
ISBN13 : 978-5-8114-1666-0
Формат : 84x108/32
EAN13 : 9785811416660
Страниц : 416
Год издания : 2014
Тип переплета : Твердый
Нет в наличии

Описание
"Курс математической логики и теории вычислимости". Герасимов А.С.

Учебное пособие поможет изучить математическую логику и теории алгоритмов. В книге описываются языки логики (высказываний и предикатов первого порядка). Представлена семантика каждого языка. Дается общее понятие и излагаются исчисления гилбертовского типа, секвенциальные исчисления. Объясняется метод резолюций как способ формального математического доказательства. Рассматриваются основные аксиоматические теории, в том числе элементарная арифметика и теория Цермело-Френкеля. В рамках теории алгоритмов представлена теория вычислимости, для которой даны точные определения понятий алгоритма (машина Тьюринга, алгоритмы Маркова, лямбда-исчисления, частично рекурсивные функции). Доказывается неразрешимость некоторых проблем, в том числе проблемы остановки машин Тьюринга, проблема равенства полугрупп, проблема общей значимости и выводимости для исчисления предикатов. Автор рассматривает теоремы Геделя о неполноте. Детально представлено исчисление Хоара, предназначенное для формальных доказательств корректности программы некоторого императивного языка программирования. Дается больше двухсот 200 упражнений.

Учебник адресован, главным образом, студентам, изучающим компьютерные и информационные науки, информатику и вычислительную технику. А также всем, кто хочет самостоятельно изучить математическую логику.

Рекомендуемые книги

Купить Дома весело! Развивающие игры для самых маленьких

Дома весело! Развивающие игры для самых маленьких

Эйша Ситро

315 грн
Купить Дети страны хюгге. Уроки счастья и любви от лучших в мире родителей

Дети страны хюгге. Уроки счастья и любви от лучших в мире родителей

Еспер Юуль

215 грн
Купить Генеалогия морали

Генеалогия морали

Фридрих Ницше

58 грн
Купить Кругом одни психопаты. Кто они такие и как не поддаваться на их манипуляции?

Кругом одни психопаты. Кто они такие и как не поддаваться на их манипуляции?

Томас Эриксон

375 грн
Купить В лучшем виде. 30 историй людей, которые доказали, что после пятидесяти можно не только выглядеть отлично, но и чувствовать себя намного увереннее

В лучшем виде. 30 историй людей, которые доказали, что после пятидесяти можно не только выглядеть отлично, но и чувствовать себя намного увереннее

Владимир Яковлев

690 грн
Купить Нина и Золотое Число. Книга 5

Нина и Золотое Число. Книга 5

Муни Витчер

135 грн
Купить Міні листівка Бажаю солодкого життя!

Міні листівка Бажаю солодкого життя!

10 грн
Купить Занепад влади

Занепад влади

Мозес Наїм

210 грн
Купить Матан. Краткий курс в комиксах

Матан. Краткий курс в комиксах

Ларри Гоник

210 грн
Купить 100 отжиманий через 7 недель

100 отжиманий через 7 недель

Стив Спайрс

145 грн
Купить Вчимося розмовляти. Серія Оченята

Вчимося розмовляти. Серія Оченята

Віталій Юрченко

29 грн
Купить Торговое оборудование

Торговое оборудование

Щепкань С. О.

240 грн
Купить Фарби акварель «Бджілка» 8 кольорів Гамма

Фарби акварель «Бджілка» 8 кольорів Гамма

35 грн
Купить Сильне ім’я Надія

Сильне ім’я Надія

Савченко Надія

164 грн
Купить Комплект гри «Thinkers 9-12 років - Алгоритми» (укр.)

Комплект гри «Thinkers 9-12 років - Алгоритми» (укр.)

148 грн
Купить Акварель без правил. Техники, эксперименты, практические советы

Акварель без правил. Техники, эксперименты, практические советы

Джин Хэйнс

485 грн
Купить Львів. Топ 10. Фотоальбом. Польскою

Львів. Топ 10. Фотоальбом. Польскою

180 грн
Купить Список кораблів

Список кораблів

Сергій Жадан

230 грн
Купить Гуаш «Класична» Гамма, 20 мл, 6 кольорів

Гуаш «Класична» Гамма, 20 мл, 6 кольорів

84 грн
Купить Настольная игра «ZOOрегата»

Настольная игра «ZOOрегата»

350 грн
Купить Смайл. Объясни, угадай, назови. Настольная игра

Смайл. Объясни, угадай, назови. Настольная игра

420 грн
Купить Фломастери Centropen Набір 30 шт.

Фломастери Centropen Набір 30 шт.

125 грн
Купить Коробка-сумочка, лиловая, малая 18х14х5,5 см (подарочная)

Коробка-сумочка, лиловая, малая 18х14х5,5 см (подарочная)

60 грн
Купить Круто! Как подсознательное стремление выделиться правит экономикой и формирует облик нашего мира

Круто! Как подсознательное стремление выделиться правит экономикой и формирует облик нашего мира

Стивен Кварц, Анетт Асп

260 грн
Купить Про Лотту с Горластой улицы

Про Лотту с Горластой улицы

Астрид Линдгрен

232 грн
Купить Теремок. Оченята А4

Теремок. Оченята А4

42 грн
Купить Сознательный капитализм. Компании, которые приносят пользу клиентам, сотрудникам и обществу

Сознательный капитализм. Компании, которые приносят пользу клиентам, сотрудникам и обществу

Джон Макки, Радж Сисодиа

470 грн
Купить Моя перша 1000 англійських слів 3+

Моя перша 1000 англійських слів 3+

Олянишина Н.

180 грн
Купить Приют. Похитители костей. Книга 3

Приют. Похитители костей. Книга 3

Мэделин Ру

150 грн
Купить Настільна гра «Грибок»

Настільна гра «Грибок»

200 грн
Купить Александр Пушкин. Сказки

Александр Пушкин. Сказки

Александр Пушкин

125 грн
Купить Дикий робот

Дикий робот

Питер Браун

330 грн
Купить Крах титанов: История о жадности и гордыне, о крушении Merrill Lynch и о том, как Bank of America едва избежал банкротства

Крах титанов: История о жадности и гордыне, о крушении Merrill Lynch и о том, как Bank of America едва избежал банкротства

Грег Фаррелл

418 грн
Купить Перші кроки: Абетка

Перші кроки: Абетка

84 грн
Купить Травмафокус. Спеціалізований психотерапевтичний метод для роботи зі стресом, травмою та хронічним болем

Травмафокус. Спеціалізований психотерапевтичний метод для роботи зі стресом, травмою та хронічним болем

Томас Вебер

395 грн
Купить Официальное руководство Cisco по подготовке к сертификационным экзаменам CCNA ICND2 200-105: маршрутизация и коммутация,  академическое издание

Официальное руководство Cisco по подготовке к сертификационным экзаменам CCNA ICND2 200-105: маршрутизация и коммутация, академическое издание

Уэнделл Одом

1 260 грн
Купить Бюджетний кодекс України. Станом на 02.09.2019. Офіційний текст. Постатейний зміст

Бюджетний кодекс України. Станом на 02.09.2019. Офіційний текст. Постатейний зміст

82 грн
Купить Тренируем пальчики

Тренируем пальчики

Т. Шубина

9 грн
Купить Что бы сказал Фрейд? Как великие психотерапевты решили бы ваши проблемы

Что бы сказал Фрейд? Как великие психотерапевты решили бы ваши проблемы

Сара Томли

350 грн
Купить Науково-практичний коментар Кримінального процесуального кодексу України

Науково-практичний коментар Кримінального процесуального кодексу України

Тертишник В. М.

1 160 грн

Книги из категории "Учебная литература"

Купить Карта незримого. Восемь путешествий по физике частиц

Карта незримого. Восемь путешествий по физике частиц

Джон Баттерворт

345 грн
Купить Базовий курс інформатики Кн. 2. Інформаційні технології. 8-11кл.

Базовий курс інформатики Кн. 2. Інформаційні технології. 8-11кл.

Руденко В.Д. та ін.

45 грн
23 грн
Купить Литературный мастер-класс. Учитесь у Толстого, Чехова, Диккенса, Хемингуэя и многих других современных и классических авторов

Литературный мастер-класс. Учитесь у Толстого, Чехова, Диккенса, Хемингуэя и многих других современных и классических авторов

Юрген Вольф

385 грн
Купить Стратегічний аналіз. Навчальний посібник.

Стратегічний аналіз. Навчальний посібник.

Гордієнко П.Л.

84 грн
Купить Фінанси. Навчальний посібник.

Фінанси. Навчальний посібник.

Стойко О.Я., Дема Д.І.

160 грн
Купить Митна справа. Підручник затверджений МОН України

Митна справа. Підручник затверджений МОН України

Гребельник О.П.

240 грн
Купить Менеджмент зовнішньоекономічної та інноваційної діяльності (для магістрів): Навчальний посібник

Менеджмент зовнішньоекономічної та інноваційної діяльності (для магістрів): Навчальний посібник

К.В. Ковтуненко, О.М. Коваленко, О.В. Станіславик та ін.; за ред. д.е.н., доц. Ковтуненко К.В.

350 грн
Купить Живой текст. Как создавать глубокую и правдоподобную прозу

Живой текст. Как создавать глубокую и правдоподобную прозу

Карен Визнер

380 грн
Купить Высокоуровневые методы Изд.2 информатики и программирования.

Высокоуровневые методы Изд.2 информатики и программирования.

Истомин Е.П., Новиков В.В

73 грн
37 грн
Купить Одиссея писателя: Как найти вдохновение и соблюсти дедлайн

Одиссея писателя: Как найти вдохновение и соблюсти дедлайн

Кендра Левин

261 грн
Купить Логістика Навчальний поcібник

Логістика Навчальний поcібник

Тюріна Ніла

285 грн
Купить Высокоуровневые методы информатики и программирования. Учебник

Высокоуровневые методы информатики и программирования. Учебник

Истомин Е.П., Неклюдов С.

73 грн
37 грн
Купить Було-стало. Нові зміни в правописі

Було-стало. Нові зміни в правописі

Олександр Авраменко

52 грн
Купить Как написать книгу, чтобы ее не издали: 200 классических ошибок

Как написать книгу, чтобы ее не издали: 200 классических ошибок

Говард Миттельмарк, Сандра Ньюман

415 грн
Купить Фінансовий облік у банках (у контексті МСФЗ) Підручник затверджений МОН України

Фінансовий облік у банках (у контексті МСФЗ) Підручник затверджений МОН України

Литвин Н.Б.

760 грн
Купить Лірика Лесі Українки. Діалог з європейською культурою

Лірика Лесі Українки. Діалог з європейською культурою

Ведель Е.

36 грн
33 грн
Купить Практикум з менеджменту ч.2

Практикум з менеджменту ч.2

Баєва О.

33 грн
32 грн
Купить Українська мова: правопис в таблицях, тестові завдання (нова редакція)

Українська мова: правопис в таблицях, тестові завдання (нова редакція)

Олександр Авраменко

125 грн
Купить Фінанси (теоретичні основи)

Фінанси (теоретичні основи)

Грідчина М.

50 грн
25 грн
Купить Теорія прийняття рішень. Навчальний посібник

Теорія прийняття рішень. Навчальний посібник

Негрей М. В., Тужик К. Л.

205 грн

Цитаты пользователей

Всего цитат
0

Только зарегистрированные пользователи могут оставлять комментарии. Войдите, пожалуйста.

Отзывы

Отзывы
0 рецензий

Только зарегистрированные пользователи могут оставлять комментарии. Войдите, пожалуйста.
Все права защищены © 2003-2020 Bookzone.com.ua              Условия использования | Политика конфиденциальности
Интеграция сайта с 1С: ©SUPC