Понятие математической логики
Математическая логика – это современная форма логики, которая полностью опирается на формальные математические методы. Она изучает только умозаключения со строго определенными объектами и суждениями, для которых можно однозначно решить, истинны они или ложны. Начнем рассмотрение понятий матлогики с высказываний, которые являются аналогами суждений в формальной логике. Высказывание – это повествовательное предложение, о котором [...]

Посмотреть полностью...

Этапы развития логики
1-й этап связан с работами ученого и философа Аристотеля (384-322 гг. до н.э.). Он пытался найти ответ на вопрос ”как мы рассуждаем”, изучал ”правила мышления”. Аристотель впервые дал систематическое изложение логики. Он подверг анализу человеческое мышление, его формы – понятие, суждение, умозаключение и рассмотрел мышление со стороны строения, структуры, то есть с формальной [...]

Посмотреть полностью...

Логика и мышление
Перед изучением основ математической логики необходимо рассмотреть понятие логики в целом.
Logos (греч.) – слово, понятие, рассуждение, разум. Слово ”логика” обозначает совокупность правил, которым подчиняется процесс мышления или обозначает науку о правилах рассуждения и тех формах, в которых оно осуществляется. Логика изучает абстрактное мышление как средство познания объективного мира, исследует формы и законы, в [...]

Посмотреть полностью...

Машина состоит из бесконечного числа регистров R1,R2,..,Rn . В каждом регистре может находиться натуральное число r1,r2,..rn.
Принцип работы машины заключается в четырех командах:

Z(n)   – обнулить
S(n)   -  прибавить один
T(m,n)  -  переадресация (В Rn помещается Rm)
I(m,n,q)  -  Условный переход, если m=n, то перейти к команде с номером q

Посмотреть полностью...

Тема. MDI-приложения
Цель:

изучить средства Delphi для поддержки MDI-приложений

Ход работы
Создайте по MDI-технологии приложение для просмотра графических файлов в форматах jpg(jpeg), ico, bmp, wmf, emf, выполняющее следующие функции:

Посмотреть полностью...

Тема. Наследование и полиморфизм.
Цель:

научиться определять в программе классы-потомки
научиться реализовывать и использовать полиморфизм

Ход работы
Определите в отдельном модуле класс-предок –«геометрическая фигура». Создайте в том же модуле для этого класса классы потомки: «круг», «квадрат», «сектор». Общие характеристики должны быть в классе предке, а более частные в классах потомке. В классе «геометрическая фигура» должен быть определен абстрактный метод [...]

Посмотреть полностью...

Тема. Интерфейс пользователя
Цель:

изучить средства Delphi для обработки клавиатуры и мыши
изучить компоненты Delphi для создания панелей инструментов и состояния

Ход работы

Создайте графический редактор, выполняющий следующие функции:

Рисование произвольных кривых с возможностью выбора цвета.
Рисование прямых линий, прямоугольников, эллипсов, а также стирание линий.
Заливка замкнутых областей.
Сохранение, загрузка рисунка.

Посмотреть полностью...

Задание на практику

Разработать программу, выполняющую тестирование знаний студентов.
Составить список вопросов для программы тестирования.

Требования к программе тестирования
Программа должна:

Регистрировать студента, проходящего тест.
Отображать очередной вопрос и варианты ответа.
Позволять вводить ответ на вопрос.
Переходить к следующему вопросу.
Анализировать правильность ответа с вычислением оценки после прохождения всего теста.
Отобразить результаты тестирования после прохождения всего списка вопросов.

Посмотреть полностью...