мощность произведения множеств

Посудевский Василий:2-ой курс:МОИС(ЛР1 семестр 4)) — Sandbox

Навигация наведите для открытия

Инструменты наведите для открытия

Просмотры наведите для открытия

Посудевский Василий:2-ой курс:МОИС(ЛР1 семестр 4))

Лабораторная работа №1. Тема: Формализация логических высказываний. Цель: Получить навыки формального представления в базе знаний логических высказываний.

Задание: Формализовать 2 логических высказывания из выбранной предметной области на SCn-коде и SCL.

Вариант задания 1:

Мощность множества и их равномощность.

Два некантровских множества равномощны(равны) тогда и только тогда, когда они состоят из одинакового числа элементов.

source