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