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