Практикум по введению в математическую логику
Автор: Воротников С. М., Егоров В. А., Матюшенко Л. Н.
Название: Практикум по введению в математическую логику : Учебное пособие
Издательство: Комсомольск-на-Амуре: Комсомельский-на-Амурс гос. техн. университет
Год: 1998
Страниц: 74
Формат: DJVU
Размер: 2,9 МБ
По содержанию данное пособие тесно связано с конспектом лекций одного из авторов и является методической основой для проведения практических занятий по темам, формулы логики высказываний и операции над ними; упрощение записи формул; доказательство равносильности, тождественной истинности и тождественной ложности формул; приведение формул логики высказываний к нормальным формам; использование формул логики высказываний в теории конечных автоматов; формулы логики предикатов и операции над ними; исследование выполнимости, истинности, ложности и равносильности формул логики предикатов, приведение формул логики предикатов к предваренной (пренексной) нормальной форме; основы исчисления высказываний и исчисления предикатов. Рассмотрены примеры решения задач по указанным темам, приведены задачи и упражнения для самостоятельного решения и варианты индивидуальных заданий. Для студентов-электриков, электронщиков, электромехаников и прикладных математиков.
Скачать с depositfiles
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12777 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Pasta Perfetta
Название: Pasta PerfettaАвтор: коллективИздательство: VJJE Publishing CoГод издания: 2004Страниц: 276Язык: АнглийскийФормат: PDFКачество: отличноеРазмер: 1.31 Mb МбОписание:Иллюстрированная книга о пр . . .
-
Зеленый клад
Автор: Поскребышева Г.Л.Название: Зеленый кладИздательство: Фонд Антимафия Год: 1993Формат: DJVUРазмер: 11.4 mbМы постоянно говорим о дефиците витаминов в нашем меню, но ничего не делаем для того, что . . .
-
The Book of Tea. Kakuzo Okakura
Название: The Book of Tea Автор: Kakuzo OkakuraИздательство: Dover Publications Страниц: 76 Год: 1964 Язык: английскийФормат: PDFРазмер: 3,41 МбMinor classic of the Orient. Perhaps the most entertaini . . .
-
На кухне моей бабушки. Еврейская поваренная книга
Название: На кухне моей бабушки. Еврейская поваренная книга Автор: Петр ЛюкимсонИздательство: Неоглори Год: 2008Страниц: 267ISBN: 978-5-222-13451-1, 978-5-903875-06-1Формат: docРазмер: 6.5 MбЯзык: рус . . .
-
Англия. Автобиография
Автор:Под редакцией: Дж. Льюиса-СтемпелаНазвание: Англия. АвтобиографияИздательство: М: Эксмо; СПб.: МидгардГод: 2008Формат: PDF, DjvuРазмер: 53,81 МбСерия: Биографии Великих СтранISBN: 978-5-699-2685 . . .
-
Історія культури України
Автор: Бокань В., Польовий Л.Название: Історія культури УкраїниИздательство: К.: МАУПГод: 2002Формат: pdfРазмер: 1.24 MbПропонований посібник розкриває поцес розвитку історії культури України, її наро . . .
-
История западноевропейской музыки до 1789 года. В двух томах. Том 2
Автор: Ливанова Т.Н.Название: История западноевропейской музыки до 1789 года. В двух томах. Том 2Издательство: М.: МузыкаГод: 1983Формат: pdfРазмер: 6.21 MbВ учебнике освещается история западноевропей . . .
-
Искусство режиссуры XX век
Автор: С.К. Никулин Л.А. ПичхадзеНазвание:Искусство режиссуры XX векИздательство:АРТ Год:2008Формат:DjVuРазмер:7 МбВ эту книгу вошли труды блестящих режиссеров XX века: вторая часть "Работы актера над . . .
-
Классические вторые блюда
Название: Классические вторые блюдаАвтор: Лариса КоробачИздательство: Современная школаГод: 2006Страниц: 244 ISBN: 985-6751-23-3Формат: PDFРазмер: 3.2 MбЯзык: русский От издателя Голубцы. Ш . . .
-
Леонардо да Винчи, архитектор
Автор:Б.П. МихайловНазвание: Леонардо да Винчи, архитекторИздательство: Государственное издательство литературы по строительству и архитектуре.Год: 1952Формат: docРазмер: 13,2 МбЕстественно, что, стре . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Практикум по введению в математическую логику. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.