Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и языклогики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства. Рассмотрены основные...
ISBN: 978-5-8114-1666-0
Издательство:
Лань
Дата выхода: июнь 2014
Учебник для 1 класса открывает курс технологии для начальной школы. Первоклассники получат простейшее представление о месте технологии в преобразовательной деятельности человека, познакомятся с основными технологическими понятиями, с некоторыми видами материалов: пластилином, бумагой, волокнами, нитками, тканями и т.д. Исследуют свойства материалов, приобретут элементарные навыки их обработки с...
ISBN: 978-5-00007-153-3
Издательство:
Русское слово
Дата выхода: январь 2014
Найденных опечаток пока нет
Добавить запись