Формальные системы

Формальные системы

👓 Е. В. Зайцева
Формальные системы

Формальные системы

✅ Учебное пособие предназначено для изучения формальных систем. Приведены основные понятия, относящиеся к семантике формализованных логико-математических языков. Изложены классическая логика исчисления высказываний и предикатов, показаны основы моделей и алгоритмов их практического использования при решении логических задач. Учебное пособие предназначено для обучающихся в бакалавриате по направлению подготовки «Информатика и вычислительная техника».



Также:

Ольга Петрова «Введение в теорию и практику перевода (на материале английского языка)»
Ольга Петрова «Введение в теорию и практику перевода (на материале английского языка)»
В. Д. Бондалетов «Старославянский язык. Сборник упражнений»
В. Д. Бондалетов «Старославянский язык. Сборник упражнений»
А. Ф. Наумович «Математический анализ. Ряды и несобственные интегралы»
А. Ф. Наумович «Математический анализ. Ряды и несобственные интегралы»
Г. П. Шалаева «Кто где живёт?»
Г. П. Шалаева «Кто где живёт?»
Б. Баарс «Мозг, познание, разум: введение в когнитивные нейронауки. В 2 томах»
Б. Баарс «Мозг, познание, разум: введение в когнитивные нейронауки. В 2 томах»

Report Page