В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для...
ISBN: 978-5-9221-1301-4
Издательство:
Физматлит
Дата выхода: август 2011
Молодой врач Гай Морган, совершая прогулку по лесу Стоуви, пользующемуся дурной славой, поскользнулся, упал в овраг и обнаружил там человеческие кости. Как раз в это время суперинтендент Алан Маркби и Мередит Митчелл приехали в Нижний Стоуви осматривать дом для покупки. Сначала Маркби не придал происшествию с доктором большого значения, но, когда в местной церкви произошло убийство, он заподозрил связь...
ISBN: 978-5-227-05461-6
Издательство:
Центрполиграф
Дата выхода: сентябрь 2014
Найденных опечаток пока нет
Добавить запись