Интересная и сказочная история. Прочитаю ребёнку перед сном обязательно.
Читается легко и сразу переживаешь сказочным персонажам. Жду заявленного пр...
В практикуме приводятся основные положения в области промышленных логистических систем, подходы к формированию навыков количественного и качественного анализа информации, необходимых для принятия...
Учебное пособие предназначено для изучения формальных систем. Приведены основные понятия, относящиеся к семантике формализованных логико-математических языков. Изложены классическая логика исчисления...
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов,...
Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основные понятия, относящиеся к семантике...