آموزش منطق و مبانی بیوانفورماتیک در دانشگاه تهران