Учебное пособие посвящено изложению основ математической логики и теории алгоритмов. Основу пособия составляют конспекты лекций, которые читались студентам второго курса отделения компьютерных наук Омского государственного университета в 2002 году. Для студентов, обучающихся по специальности "Компьютерная безопасность" и по специальности "Вычислительные машины, комплексы, системы и сети". Чем занимается наука логика. Это теория, которая учит, как нужно правильно рассуждать, правильно делатьумозаключения и выводы, получая в результате верные (правильные) высказывания. Поэтому логика как наука должна содержать список правил получения правильных высказываний. Такой набор правил, умозаключений называется списком силлогизмов. Высказывание -это утверждение об изучаемых объектах, имеющее однозначное и точно определенное значение. В русском языке высказывание представляет собой повествовательное предложение, о котором молено сказать, что оно сообщает нам нечто верное либо нечто совершенноневерное. Следовательно, высказывание может быть либо истинным, либо ложным.