2016年9月30日金曜日

学習環境

集合・位相入門(松坂 和夫(著)、岩波書店)の第1章(集合と写像)、2(集合の間の演算)、問題5.を取り組んでみる。

問題5.


  1. ( xAx B c )x C c xA( x B c x C c ) xAx ( BC ) c xA( BC )

  2. xAx ( BC ) c xAx ( B C c ) c xAx( B c C ) xA( x B c xC ) ( xAx B c )( xAC ) xA B c xAC x( AB )( AC )

コード(Emacs)

python 3.5

#!/usr/bin/env python3
# -*- coding: utf-8 -*-

from matplotlib_venn import venn3_unweighted
import matplotlib.pyplot as plt
import sympy

a = sympy.FiniteSet(*range(15))
b = sympy.FiniteSet(*range(5, 20))
c = sympy.FiniteSet(*range(10, 25))

print('a')
print((a - b) - c == a - (b | c))

print('b')
print(a - (b - c) == (a - b) | (a & c))

plt.figure(figsize=(6, 6))
venn3_unweighted(subsets=(a, b, c), set_labels=('A', 'B', 'C'))
plt.savefig('sample5.svg')
plt.show()

入出力結果(Terminal, IPython)

$ ./sample5.py
a
True
b
True
$

0 コメント:

コメントを投稿