Книга: С. В. Попов, Н. Л. Брошкова «Прикладная логика»
|
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и синтаксический — построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые притрадиционном подходе не проявляются. Книга может быть полезна в качестве учебного пособия по дисциплинам: дискретная математика, информационное моделирование, искусственный интеллект и проектирование экспертных систем. Издательство: "ФИЗМАТЛИТ" (2011) Формат: 60x90/16, 216 стр.
ISBN: 978-5-9221-1340-3 Купить за 382 руб на Озоне |
Другие книги схожей тематики:
| Автор | Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|---|
| С. В. Попов | Прикладная логика | Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач… — Издательская фирма"Физико-математическая литература", электронная книга Подробнее... | 2011 | 386 | электронная книга |
| Попов Сергей Викторович | Прикладная логика | Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач… — Физматлит, - Подробнее... | 2011 | 382 | бумажная книга |
| Попов Сергей Викторович, Брошкова Наталья Леонидовна. | Прикладная логика. | 216 стр. Логический формализм рассматривается как инструмент для формулировки и решения содержательных… — Физматлит, (формат: 60x90/16, 216 стр.) Подробнее... | 2011 | 308 | бумажная книга |
| Л. С. Козачков | Прикладная логика информатики | В монографии излагаются теоретические и прикладные аспекты современной информатики как науки о технологии… — Наукова думка, (формат: 60x90/16, 256 стр.) Подробнее... | 1990 | 200 | бумажная книга |
| И. И. Блехман, А. Д. Мышкис, Я. Г. Пановко | Прикладная математика. Предмет, логика, особенности подходов | Первая в мировой литературе книга, посвященная систематическому рассмотрению основных особенностей… — Наукова думка, (формат: 60x90/16, 272 стр.) Подробнее... | 1976 | 710 | бумажная книга |
| Блехман И.И. | Прикладная математика. Предмет, логика, особенности подходов. С примерами из механики | В настоящей книге рассматриваются основные особенности процесса применения математики к решению… — URSS, - Подробнее... | 2018 | 632 | бумажная книга |
| Блехман И.И. | Прикладная математика. Предмет, логика, особенности подходов. С примерами из механики | В настоящей книге рассматриваются основные особенности процесса применения математики к решению… — URSS, - Подробнее... | 2018 | 973 | бумажная книга |
| Блехман И., Мышкис А., Пановко Я. | Прикладная математика Предмет Логика Особенности подходов С примерами из механики | В настоящей книге рассматриваются основные особенности процесса применения математики к решению… — (формат: Мягкая глянцевая, 376 стр.) Подробнее... | 2018 | 649 | бумажная книга |
| Блехман И.И. | Прикладная математика. Предмет, логика, особенности подходов. С примерами из механики | В настоящей книге рассматриваются основные особенности процесса применения математики к решению… — URSS, Школьная программа Подробнее... | 2018 | 507 | бумажная книга |
См. также в других словарях:
ПРИКЛАДНАЯ ЛОГИКА — ПРИКЛАДНАЯ ЛОГИКА логический аппарат систематически используемый для решения конкретных практических задач. При этом необходимо различать прикладную логику и отдельные приложения логики. Для прикладной логики характерна именно систематичность … Философская энциклопедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
ЛОГИКА СИМВОЛИЧЕСКАЯ — ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому … Философская энциклопедия
логика трансцендентальная — ЛОГИКА ТРАНСЦЕНДЕНТАЛЬНАЯ один из наиболее важных и известных разделов «Критики чистого разума» И. Канта, который, наряду с трансцендентальной эстетикой, составляет трансцендентальное учение о началах. Л. т. распадается на… … Энциклопедия эпистемологии и философии науки
логика прикладная — ЛОГИКА ПРИКЛАДНАЯ понятие, объединяющее разработки и способы систематического использования логического аппарата для решения конкретных практических задач. При этом необходимо различать Л. п. и отдельные приложения логики. Для Л. п.… … Энциклопедия эпистемологии и философии науки
Прикладная математика — область математики, рассматривающая применение математических методов, алгоритмов в других областях науки и практики. Примерами такого применения будут: численные методы, математическая физика, линейное программирование, оптимизация и… … Википедия
