Книга: Супрун В.П. «Основы математической логики»
|
Производитель: "URSS" Серия: "Школьная программа" Учебное пособие предназначено школьникам и студентам для начального изучения одного из наиболее важных и сложных разделов дискретной математики математическойлогики. Область применения математической логики весьма широка: информационные технологии, программирование, математическая лингвистика, системы искусственногоинтеллекта, управление базами данных и управление организационно-экономическими системами. В пособии рассматриваются основные разделы математической логики (алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов и машины Тьюринга). Пособие адресовано студентам младших курсов для успешного овладения элементами математической логики, а также старшеклассникам и их преподавателям при проведении факультативных занятий по дискретной математике. ISBN:978-5-9710-4113-9 Издательство: "URSS" (2017) Формат: 60x90/16, 200 стр.
ISBN: 978-5-9710-4113-9 |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Математика для старшеклассников: Дополнительные разделы школьной программы. 275 задач для / Изд. сте | Математика для старшеклассников: Дополнительные разделы школьной программы. 275 задач для / Изд. сте — Подробнее... | бумажная книга | ||
| Основы теории булевых функций | Учебное пособие предназначено студентам младших курсов высших учебных учреждений математического (или… — URSS, - Подробнее... | бумажная книга | ||
| Математика для старшеклассников. Методы решения и доказательства неравенств. 400 задач с подробными решениями | В настоящем пособии приводятся как известные, так и нестандартные методы решения и доказательства… — URSS, - Подробнее... | бумажная книга | ||
| Основы математической логики | Учебное пособие предназначено школьникам и студентам для начального изучения одного из наиболее важных и… — URSS, - Подробнее... | бумажная книга | ||
| Математика для старшеклассников. Нестандартные методы решения уравнений повышенной сложности. 180 уравнений с подробными решениями | Учебное пособие предназначено старшеклассникам для качественной подготовки к вступительным испытаниям по… — URSS, - Подробнее... | бумажная книга | ||
| Математика для старшеклассников. Нестандартные методы решения задач. Уравнения. Неравенства. Нахождение экстремальных значений математических выражений | Учебное пособие предназначено старшеклассникам, прежде всего для развития их математического образования… — URSS, - Подробнее... | бумажная книга | ||
| Математика для старшеклассников. Нестандартные методы решения уравнений повышенной сложности. 180 уравнений с подробными решениями | Учебное пособие предназначено старшеклассникам для качественной подготовки к вступительным испытаниям по… — URSS, Подробнее... | бумажная книга | ||
| Математика для старшеклассников. Дополнительные разделы школьной программы. 300 задач для эффективной подготовки к вступительным испытаниям и олимпиадам | Учебное пособие предназначено старшеклассникам, прежде всего для эффективной подготовки к выпускным и… — URSS, - Подробнее... | бумажная книга | ||
| Математика для старшеклассников. Нестандартные методы решения задач. Уравнения. Неравенства. Нахождение экстремальных значений математических выражений | Учебное пособие предназначено старшеклассникам, прежде всего для развития их математического образования… — URSS, Подробнее... | бумажная книга | ||
| Математика для старшеклассников. Задачи повышенной сложности | В настоящей книге рассматриваются задачи из различных разделов "школьной" математики (алгебра… — URSS, - Подробнее... | бумажная книга | ||
| Математика для старшеклассников. Задачи повышенной сложности | В настоящей книге рассматриваются задачи из различных разделов`школьной`математики (алгебра, тригонометрия… — URSS, Подробнее... | бумажная книга |
См. также в других словарях:
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
История логики — изучает развитие науки о формах и законах правильного мышления (логика). Появление логики в качестве разработанного анализа принципов умозаключений имеет отношение исключительно к трём локальным цивилизациям, а именно: Китай, Индия и Древняя… … Википедия
Алгебра логики — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. А. л. возникла в середине 19 в. в трудах Дж. Буля (См. Буль) и развивалась… … Большая советская энциклопедия
алгебра логики — АЛГЕБРА ЛОГИКИ исторически первая форма математической (символической) логики, сложившаяся к последней трети 19 в. К ее созданию привела аналогия между решением алгебраических уравнений и выводом следствий из посылок, а также то, что… … Энциклопедия эпистемологии и философии науки
Кафедра математической лингвистики Санкт-Петербургского университета — Эта статья предлагается к удалению. Пояснение причин и соответствующее обсуждение вы можете найти на странице Википедия:К удалению/7 октября 2012. Пока процесс обсуждения не завершён, статью можно … Википедия
Кафедра математической лингвистики — факультета филологии и искусств Санкт Петербургского университета (создана в 1962 году) выпускающая кафедра для студентов отделения прикладной лингвистики СПбГУ, старейшего отделения такого профиля в России. Содержание 1 История 2 Персоналии 2.1 … Википедия
