1. 전체 페이지 수
가. 기본공식
전체게시물수페이지별게시물수전체페이지수
나. 언어 별 구현 코드
1) Java
public static int getTotalPageCnt(int totalPostCnt, int pagePerPostCnt)
{
int totalPageCnt = (totalPostCnt - 1) / pagePerPostCnt + 1;
return totalPageCnt;
}
다. 증명
1) 증명방법1(답을 통해 명제를 유도)
전체페이지수는전체게시물수를페이지별게시물수로나눈몫에나머지가있을경우을더해준값이된다단는전체게시물수를페이지별게시물수로나눈몫
단는전체게시물수를페이지별게시물수로나눈몫은전체게시물수를페이지별게시물수로나눈나머지즉는음이아닌정수은이상미만정수
2) 증명방법2(명제를 통해 답을 유도)
마지막페이지의게시물수는다음과같다