Книга: Попов Сергей Викторович «Прикладная логика»
|
Серия: "-" Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический - установлениевыполнимости логических функций - и синтаксический - построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются. Книга может быть полезна в качестве учебного пособия по дисциплинам: дискретная математика, информационное моделирование, искусственный интеллект и проектирование экспертных систем. Издательство: "Физматлит" (2011)
ISBN: 978-5-9221-1340-3 Купить за 382 руб в My-shop |
Попов, Сергей Викторович
Председатель совета директоров "Группы МДМ" с апреля 2002 г.; родился 12 август 1971 г.; окончил Уральский политехнический институт по специальности "промышленная электроэнергетика"; 1992—2000 — занимал руководящие должности в ряде компаний, работающих с металлургической промышленностью, отвечал за экономическую эффективность и практическую реализацию бизнес-проектов, в т. ч. по поставке металлургической продукции, как внутри России, так и на экспорт; в 2000 г. стал одним из основателей финансово-промышленной группы МДМ; с мая 2000 г. занимал пост президента Группы МДМ, в апреле 2002 г. был избран также председателем совета директоров; в мае 2002 г. передал пост президента А. Мельниченко, сосредоточившись на стратегических проблемах развития группы МДМ в должности председателя совета директоров.
Как отмечала "Российская газета" (23.04.2002 г.), С. Попов стоял у истоков создания "Группы МДМ", разработал и реализовал стратегию развития компании. Под его руководством "Группа МДМ" превратилась в одну из крупнейших российских компаний, работающих в области прямого инвестирования и управления промышленными активами, сформировала значительный пакет активов в угольной, трубно-металлургической, химической отраслях. Согласно публикации журнала "Профиль" (№ 16, 2002 г.), на начало 2002 г., Группа МДМ, суммарный годовой оборот которой превышает 3 млрд. долларов, объединяла Трубную металлургическую компанию, Сибирскую угольную энергетическую компанию "Байкал-Уголь", минерально-химическую компанию "Еврохим", венчурную компанию МДМ. Группа контролирует около 35% производства угля в России, 40% производства трубной продукции, 50%. ферросилиция.
Источник: Попов, Сергей Викторович
Другие книги схожей тематики:
| Автор | Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|---|
| С. В. Попов | Прикладная логика | Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач… — Издательская фирма"Физико-математическая литература", электронная книга Подробнее... | 2011 | 386 | электронная книга |
| Попов Сергей Викторович | Прикладная логика | Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач… — Физматлит, - Подробнее... | 2011 | 382 | бумажная книга |
| С. В. Попов, Н. Л. Брошкова | Прикладная логика | Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач… — ФИЗМАТЛИТ, (формат: 60x90/16, 216 стр.) Подробнее... | 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 слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
ЛОГИКА СИМВОЛИЧЕСКАЯ — ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому … Философская энциклопедия
логика трансцендентальная — ЛОГИКА ТРАНСЦЕНДЕНТАЛЬНАЯ один из наиболее важных и известных разделов «Критики чистого разума» И. Канта, который, наряду с трансцендентальной эстетикой, составляет трансцендентальное учение о началах. Л. т. распадается на… … Энциклопедия эпистемологии и философии науки
логика прикладная — ЛОГИКА ПРИКЛАДНАЯ понятие, объединяющее разработки и способы систематического использования логического аппарата для решения конкретных практических задач. При этом необходимо различать Л. п. и отдельные приложения логики. Для Л. п.… … Энциклопедия эпистемологии и философии науки
Прикладная математика — область математики, рассматривающая применение математических методов, алгоритмов в других областях науки и практики. Примерами такого применения будут: численные методы, математическая физика, линейное программирование, оптимизация и… … Википедия
