Книга: Л. С. Козачков «Прикладная логика информатики»

Прикладная логика информатики

В монографии излагаются теоретические и прикладные аспекты современной информатики как науки о технологии построения, анализа и использования человеко-компьютерного знания. С единых позиций рассматриваются традиционные и новые подходы и результаты в области лингвистических, математических и логических оснований баз знаний, развивающихся в информатике АСУ и АСНТИ, теории проектирования баз данных, экспертных, "интеллектуальных" и других систем, ориентированных на анализ информациии принятие решений. Эффективность предложенных подходов иллюстрируется на примерах систем различного назначения - управления экономикой, научно-технического прогнозирования, организационного управления наукой, САПР, АСНТИ. Для специалистов в области теории н практики проектирования баз данных и знаний АСУ, а также преподавателей, аспирантов и студентов кибернетических факультетов.

Издательство: "Наукова думка" (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 печатных трудов.… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»