Книга: Л. С. Козачков «Прикладная логика информатики»
![]() |
В монографии излагаются теоретические и прикладные аспекты современной информатики как науки о технологии построения, анализа и использования человеко-компьютерного знания. С единых позиций рассматриваются традиционные и новые подходы и результаты в области лингвистических, математических и логических оснований баз знаний, развивающихся в информатике АСУ и АСНТИ, теории проектирования баз данных, экспертных, "интеллектуальных" и других систем, ориентированных на анализ информациии принятие решений. Эффективность предложенных подходов иллюстрируется на примерах систем различного назначения - управления экономикой, научно-технического прогнозирования, организационного управления наукой, САПР, АСНТИ. Для специалистов в области теории н практики проектирования баз данных и знаний АСУ, а также преподавателей, аспирантов и студентов кибернетических факультетов. Издательство: "Наукова думка" (1990) Формат: 60x90/16, 256 стр.
ISBN: 5-12-001195-0 Купить за 200 руб на Озоне |
Другие книги схожей тематики:
Автор | Книга | Описание | Год | Цена | Тип книги |
---|---|---|---|---|---|
А. А. Забуга | Теоретические основы информатики | В учебном пособии рассматриваются такие разделы классической математики, как комбинаторика, теория… — Новосибирский государственный технический университет, электронная книга Подробнее... | 2013 | 175 | электронная книга |
С. М. Авдошин | Дискретная математика. Формально-логические системы и языки | Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы… — ДМК Пресс, электронная книга Подробнее... | 2018 | 519 | электронная книга |
Зыков С.В. | Введение в теорию программирования | Учебный курс "Введение в теорию программирования" основан на творческом синтезе избранных формальных… — Интернет-Университет Информационных Технологий (ИНТУИТ), - Подробнее... | 2018 | 330 | бумажная книга |
Зыков Сергей Викторович | Введение в теорию программирования | Учебный курс "Введение в теорию программирования" основан на творческом синтезе избранных формальных… — ИНТУИТ.РУ, Основы информационных технологий Подробнее... | 2018 | 428 | бумажная книга |
С. В. Зыков | Введение в теорию программирования. Курс лекций. Учебное пособие | Учебный курс ВВЕДЕНИЕ В ТЕОРИЮ ПРОГРАММИРОВАНИЯ основан на творческом синтезе избранных формальных теорий… — Интернет-университет информационных технологий, (формат: 60x90/16мм, 400 стр.) Интернет-университет информационных технологий Подробнее... | 2012 | 427 | бумажная книга |
Зыков Сергей Викторович | Введение в теорию программирования. Курс лекций | Учебный курс Введение в теорию программирования основан на творческом синтезе избранных формальных теорий… — Интернет-университет информационных технологий, (формат: 60x90/16мм, 400 стр.) Архитектура для профессионалов Подробнее... | 2004 | 427 | бумажная книга |
См. также в других словарях:
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
Институт математики, экономики и информатики Иркутского государственного университета — Институт математики, экономики и информатики Иркутский государственный университет Английское название Institute of Mathematics, Economics and Information Science Девиз И … Википедия
Математическая логика — (теоретическая логика, символическая логика) раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.»[1] Согласно определению П. С. Порецкого, «математическая… … Википедия
Непейвода, Николай Николаевич — Николай Николаевич Непейвода Дата рождения: 17 июня 1949(1949 06 1 … Википедия
Непейвода — Непейвода, Николай Николаевич Николай Николаевич Непейвода Дата рождения: 17 июня 1949 Научная сфера: математика, логика, философия, информатика … Википедия
Непейвода, Николай — Непейвода Николай Николаевич (род. 1949) математик, логик, философ, информатик. Доктор физико математических наук, профессор. Активно работает над разработкой учебной программы по фундаментальным основам информатики. Более 150 печатных трудов.… … Википедия