В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено большим количеством примеров и решенных задач, помогающих усвоить и закрепить излагаемый материал. Для студентов, аспирантов и преподавателей технических вузов.
Рейтинг университетов мира по их репутации 2012 по версии Times
На днях был обнародован новый рейтинг ВУЗов по всему миру по версии газеты Times, основанный на их репутации, - Top Universities by Reputation 2012. В представленных рейтинг не попало ни одного российского ВУЗа. Больше всего университетов оказалось, как и прежде, из США и Великобритании.
Рейтинг российских ВУЗов 2011 по уровню подготовки поступивших
14 сентября был обнародован мониторинг качества приема в высшие учебные заведения 2011 года, который дает людям представление об компетентности и уровне только что поступивших граждан. В некоторые университеты проходной балл был выше 90, в других ВУЗах он не дотягивал даже до 40. В соотношении с подобными рейтингами будут сокращаться бюджетные места в ВУЗах России, говорят представители Министерства образования и науки.