منطق و مبانی بیوانفورماتیک