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