Логические и математические исчисления Год выпуска: 2011Автор: Ю. А. ШихановичИздательство: Научный мирСтраниц: 256ISBN: 978-5-91522-246-4Описание В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления. От читателя требуется владение материалом книги Ю.А.Шихановича "Введение в математику" (М: "Научный мир", 2005). Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю.А.Шихановича "Минимум по теории алгоритмов для нематематиков" (М: "Научный мир", 2009).
Похожие книги
В.А. Иванов, В.С. Медведев. Математические основы теории оптимального и логического управления. – М.: МГТУ им. Н. Э. Баумана, 2011. – 600 с. В.Л. Файншмидт. Дифференциальное и интегральное исчисление функций нескольких аргументов. – СПб.: БХВ-Петербург, 2007. – 208 с. А.К. Гуц. Математическая логика и теория алгоритмов. – М.: Либроком, 2009. – 120 с. Кибернетика и логика. – М.: Наука, 1978. – 336 с. Э.Ландау. Основы анализа. Действия над целыми, рациональными, иррациональными, комплексными числами. Дополнение к учебникам по дифференциальному и интегральному исчислению. – М.: КомКнига, 2010. – 184 с. Ю.А. Шиханович. Логические и математические исчисления. – М.: Научный мир, 2011. – 256 с. Вилем Новак, Ирина Перфильева, Иржи Мочкорж. Математические принципы нечеткой логики. – М.: ФИЗМАТЛИТ, 2006. – 352 с. Е.В. Просолупов. Курс лекций по дискретной математике. Часть 2. Математическая логика. – М.: Издательство СПбГУ, 2013. – 80 с. Г.Фреге. Логика и логическая семантика. – М.: Либроком, 2015. – 514 с. Татьяна Гордова. Логицизм И.Г. Ламберта. – М.: LAP Lambert Academic Publishing, 2012. – 120 с. Владимир Кулаков. Исчисление высказываний и логическое программирование. – М.: LAP Lambert Academic Publishing, 2012. – 156 с. Сергей Гуров. Исчисления высказываний и исчисления секвенций. – М.: LAP Lambert Academic Publishing, 2013. – 124 с. Гуц А.К. Математическая логика и теория алгоритмов. – М.: , 2016. – с. Ф.А. Новиков. Символический искусственный интеллект. Математические основы представления знаний. Учебное пособие. – М.: Юрайт, 2017. – 280 с. Г.Фреге. Логика и логическая семантика. – М.: Либроком, 2018. – 512 с. Г.Фреге. Логика и логическая семантика. – М.: Либроком, 2015. – 514 с. Г.Фреге. Логика и логическая семантика. – М.: Едиториал УРСС,Ленанд, 2018. – 512 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Алексей Привет, Виталий. Примите, пожалуйста, мои восхищения Вами по поводу курсовика, который Вы мне сегодня прислали. Вы не представляете, как чудовищно он контрастирует с той работой, которую сегодня мне показывал мой однокурсник. То, что я увидел достойно быть настольным пособием по сопровождению подобных работ. Нас не учили так красиво делать.
