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