URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Косовская Т.М. Обучение формализации и проверке правильности рассуждений средствами исчислений высказываний и предикатов
Id: 184552
 

Обучение формализации и проверке правильности рассуждений средствами исчислений высказываний и предикатов

2013. 132 с. Мягкая обложка. ISBN 978-5-288-05495-2.
Обращаем Ваше внимание, что книги с пометкой "Предварительный заказ!" невозможно купить сразу. Если такие книги содержатся в Вашем заказе, их цена и стоимость доставки не учитываются в общей стоимости заказа. В течение 1-3 дней по электронной почте или СМС мы уточним наличие этих книг или отсутствие возможности их приобретения и сообщим окончательную стоимость заказа.

 Аннотация

В основе учебного пособия лежит курс лекций по математической логике, читавшийся на математико-механическом факультете СПбГУ. В учебном пособии излагаются основы классической математической логики как средства формализации и проверки правильности рассуждений, сформулированных на естественном (русском) языке. Подробно обсуждаются и снабжены разобранными примерами вопросы соответствия логических связок и структур предикатных формул общепринятым оборотам речи. Изложены процедуры построения вывода в исчислениях, ориентированных на реализацию на компьютере.

Учебное пособие рассчитано, в первую очередь, на студентов, обучающихся по направлению 010500 «Математическое обеспечение и администрирование информационных систем», а также на широкий круг интересующихся математической логикой, начиная со школьников.

 
© URSS 2016.

Информация о Продавце