Книга: Супрун В.П. «Основы математической логики. Учебное пособие»

Основы математической логики. Учебное пособие

Серия: "для школьников... и не только!"

Учебное пособие предназначено школьникам и студентам для начального изучения одного из наиболее важных и сложных разделов дискретной математики — математической логики. Область применения математической логики весьма широка: информационные технологии, программирование, математическая лингвистика, системы искусственного интеллекта, управление базами данных и управление организационно-экономическими системами. В пособии рассматриваются основные разделы математической логики (алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов и машины Тьюринга). Пособие адресовано студентам младших курсов для успешного овладения элементами математической логики, а также старшеклассникам и их преподавателям при проведении факультативных занятий по дискретной математике.

Издательство: "Ленанд" (2017)

Формат: 60x90/16, 200 стр.

ISBN: 978-5-9710-4113-9

Другие книги автора:

КнигаОписаниеГодЦенаТип книги
Математика для старшеклассников: Дополнительные разделы школьной программы. 275 задач для / Изд. стеМатематика для старшеклассников: Дополнительные разделы школьной программы. 275 задач для / Изд. сте — Подробнее...2016365бумажная книга
Основы теории булевых функцийУчебное пособие предназначено студентам младших курсов высших учебных учреждений математического (или… — URSS, - Подробнее...2017416бумажная книга
Математика для старшеклассников. Методы решения и доказательства неравенств. 400 задач с подробными решениямиВ настоящем пособии приводятся как известные, так и нестандартные методы решения и доказательства… — URSS, - Подробнее...2018445бумажная книга
Основы математической логикиУчебное пособие предназначено школьникам и студентам для начального изучения одного из наиболее важных и… — URSS, - Подробнее...2017507бумажная книга
Основы математической логикиУчебное пособие предназначено школьникам и студентам для начального изучения одного из наиболее важных и… — URSS, (формат: 60x90/16, 200 стр.) Школьная программа Подробнее...2017656бумажная книга
Математика для старшеклассников. Нестандартные методы решения уравнений повышенной сложности. 180 уравнений с подробными решениямиУчебное пособие предназначено старшеклассникам для качественной подготовки к вступительным испытаниям по… — URSS, - Подробнее...2018416бумажная книга
Математика для старшеклассников. Нестандартные методы решения задач. Уравнения. Неравенства. Нахождение экстремальных значений математических выраженийУчебное пособие предназначено старшеклассникам, прежде всего для развития их математического образования… — URSS, - Подробнее...2018507бумажная книга
Математика для старшеклассников. Нестандартные методы решения уравнений повышенной сложности. 180 уравнений с подробными решениямиУчебное пособие предназначено старшеклассникам для качественной подготовки к вступительным испытаниям по… — URSS, Подробнее...2018538бумажная книга
Математика для старшеклассников. Дополнительные разделы школьной программы. 300 задач для эффективной подготовки к вступительным испытаниям и олимпиадамУчебное пособие предназначено старшеклассникам, прежде всего для эффективной подготовки к выпускным и… — URSS, - Подробнее...2018430бумажная книга
Математика для старшеклассников. Нестандартные методы решения задач. Уравнения. Неравенства. Нахождение экстремальных значений математических выраженийУчебное пособие предназначено старшеклассникам, прежде всего для развития их математического образования… — URSS, Подробнее...2018434бумажная книга
Математика для старшеклассников. Задачи повышенной сложностиВ настоящей книге рассматриваются задачи из различных разделов "школьной" математики (алгебра… — URSS, - Подробнее...2019445бумажная книга
Математика для старшеклассников. Задачи повышенной сложностиВ настоящей книге рассматриваются задачи из различных разделов`школьной`математики (алгебра, тригонометрия… — URSS, Подробнее...2019576бумажная книга

См. также в других словарях:

  • АЛГЕБРА ЛОГИКИ —         система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …   Философская энциклопедия

  • Тарасов, Евгений Васильевич — В Википедии есть статьи о других людях с такой фамилией, см. Тарасов. В Википедии есть статьи о других людях с именем Тарасов, Евгений. Евгений Васильевич Тарасов …   Википедия

  • Российская Советская Федеративная Социалистическая Республика —         РСФСР.          I. Общие сведения РСФСР образована 25 октября (7 ноября) 1917. Граничит на С. З. с Норвегией и Финляндией, на З. с Польшей, на Ю. В. с Китаем, МНР и КНДР, а также с союзными республиками, входящими в состав СССР: на З. с… …   Большая советская энциклопедия

  • Замятин, Алексей Петрович — Алексей Петрович Замятин Дата рождения: 3 октября 1946(1946 10 03) Место рождения …   Википедия

  • Логика — Гр …   Википедия

  • Российская Советская Федеративная Социалистическая Республика, РСФСР (народное образование и культурно-просветительные учреждения) — VIII. Народное образование и культурно просветительные учреждения = История народного образования на территории РСФСР уходит в глубокую древность. В Киевской Руси элементарная грамотность была распространена среди разных слоев населения, о чём… …   Большая советская энциклопедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»