𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Основы формальных логических языков: Учеб. пособие

✍ Scribed by Коротков М.А., Степанов Е.А.

Book ID
127407610
Publisher
СПбГИТМО
Year
2003
Tongue
Russian
Weight
824 KB
Category
Library
City
СПб
ISBN-13
9785757701226

No coin nor oath required. For personal study only.

✦ Synopsis

Данное учебное пособие посвящено основам формальных логических языков. В нем дается краткое изложение языков логики первого и второго порядков, элементов теории доказательств, теории моделей и формальной теории множеств. Пособие основано на курсе лекций, читаемом на кафедре Компьютерных технологий Санкт-Петербургского Государственного Института Точной Механики и Оптики.

✦ Subjects

Математическая логика

📜 SIMILAR VOLUMES

Оформление текстовых и графических матер
Оформление текстовых и графических материалов при подготовке дипломных проектов, курсовых и письменных экзаменационных работ Учеб. для учреждений нач. проф. образования: Учеб. пособие для учреждений сред. проф. образования при выполнении диплом., курсовых и письм. работ
✍ А.П.Ганенко, М.И.Лапсарь. 📂 Library 📅 2005 🏛 Академия 🌐 Russian ⚖ 5 MB

Аннотация издательства: Рассмотрены основные положения и требования ГОСТов и других нормативно-технических документов, относящихся к разработке, выполнению и оформлению технических и строительных чертежей, кинематических, гидравлических, пневматических, электрических и оптических схем, схем алгоритм

Основы генетики и наследственные нарушен
Основы генетики и наследственные нарушения развития у детей: Учеб. пособие для студентов вузов, обучающихся по специальностям: 031900 - Спец. психология, 031500 - Тифлопедегогика, 031600 - Сурдопедагогика, 031700 - Олигофренопедагогика, 031800 - Логопедия
✍ Асанов, Демикова, Морозов. 📂 Library 📅 2003 🏛 Academia 🌐 Russian ⚖ 3 MB

В учебном пособии раскрываются основные положения общей и медицинской генетики. Подробно рассмотрены биологические основы наследственности человека, цитогенетические и молекулярно-генетические механизмы генетических процессов, в том числе причины возникновения наследственной и ненаследственной измен