본문 바로가기

전체 글201

역/이/대우 진리표? 각 명제 사이의 관계식의 진릿값을 보여주는 표 역/ 이 /대우 ex> 비가 오면 장화를 신는다 p : 비가 오면 q : 장화를 신는다 p->q 역 p와 q의 위치를 바꾸는 것 q->p 이 각각에 부정을 붙이는 것 ㄱp -> ㄱq 대우 각각에 부정을 붙이고 p와 q의 위치를 바꾸는 것 ㄱq -> ㄱp 왜씀❔❓ 증명하기 어려운 명제는 대우를 이용하여 증명할 수 있다. ex> 30이 10보다 크면 30은 50보다 작다. p: 30이 10보다 크다 -> true q: 30은 50보다 작다 -> true p->q 는 참이다. 역 q->p -> 30이 50보다 작다면 30이 10보다 크다 이 ㄱp -> ㄱq -> 30이 10보다 작거나 같으면 30은 50보다 크거나 같다. false -> false -->.. 2021. 7. 20.
[JAVA]백준_9012_괄호 문제링크 https://www.acmicpc.net/problem/9012 9012번: 괄호 괄호 문자열(Parenthesis String, PS)은 두 개의 괄호 기호인 ‘(’ 와 ‘)’ 만으로 구성되어 있는 문자열이다. 그 중에서 괄호의 모양이 바르게 구성된 문자열을 올바른 괄호 문자열(Valid PS, VPS)이라고 www.acmicpc.net package BOJ; import java.io.BufferedReader; import java.io.IOException; import java.io.InputStreamReader; import java.util.Stack; public class Main_9012 { static int T; public static void main(String[].. 2021. 7. 19.
리액트에서 아이콘 쓰기 먼저 npm 혹은 yarn으로 설치를 해주어야 합니다. yarn add react-icons npm install react-icons --save 위의 명령어를 사용하여 설치를 해준 후 사용하고자하는 icon을 추가해주어야합니다. https://react-icons.github.io/react-icons/ React Icons React Icons Include popular icons in your React projects easily with react-icons, which utilizes ES6 imports that allows you to include only the icons that your project is using. Installation (for standard modern .. 2021. 7. 18.
[JAVA]백준_14722_우유도시 문제링크 https://www.acmicpc.net/problem/14722 14722번: 우유 도시 영학이는 딸기우유, 초코우유, 바나나우유를 좋아한다. 입맛이 매우 까다로운 영학이는 자신만의 우유를 마시는 규칙이 있다. 맨 처음에는 딸기우유를 한 팩 마신다. 딸기우유를 한 팩 마신 후 www.acmicpc.net dp는 너무 어렵따 😥 구글에 검색해서 다른 사람 블로그 보고 이해해서 풀어따 (참고한 블로그)[https://mygumi.tistory.com/224] package BOJ; import java.io.BufferedReader; import java.io.IOException; import java.io.InputStreamReader; import java.util.StringToken.. 2021. 7. 18.
Tomcat 설치하기 https://tomcat.apache.org/download-90.cgi Apache Tomcat® - Apache Tomcat 9 Software Downloads Welcome to the Apache Tomcat® 9.x software download page. This page provides download links for obtaining the latest version of Tomcat 9.0.x software, as well as links to the archives of older releases. Unsure which version you need? Specification version tomcat.apache.org 위의 링크로 들어가서 다운받기. 9.x 버전 다운로드 .. 2021. 7. 13.
yarn : 이 시스템에서 스크립트를 실행할 수 없으므로 C:\Users\user\AppData\Roaming\npm\yarn.ps1 파일을 로드할 수 없습니다. 자세한 내용은 about_Execution_Polici es(https://go.microsoft.com/fwlink/?LinkID=135170)를 참.. vscode에서 yarn 명령어 실행할려고 하니 안된다. 그래서 알아보니 powershell 에서 권한? 설정을 해줘야한다. 1. PowerShell 을 관리자 권한으로 실행시켜준다. 2. get-help Set-ExecutionPolicy 명령어 입력 후 Y(예) 해주기 3. Set-ExecutionPolicy RemoteSigned 명령어 입력 후 Y(예) 해주기 2021. 7. 13.
명제와 연산자 명제❔ 진실 혹은 거짓 T/F 로 진리를 구분할 수 있는 문장으로 항상 참과 거짓 둘 중 하나의 값만 가진다. 여러개의 명제를 조합 할 수도 있다. 예시 11은 소수이다 명제! 넷플릭스는 재미있다. 명제가 아니다. 이거는 사람마다 의견이 다를 수 있기 때문. 연산자 연산자는 명제를 연산하기 위한 도구이다. 기본 연산자로는 6가지가 있다. Not ㄱ P P 가 거짓이면? 참 , 참이면? 거짓 And (p^q) and 연산자와 똑같음 . 둘 다 참일 경우만 참 Or 논리합 p OR q Exclusice Or 배타적 논리합 p XOR q 단 한개만 참일 때 결과가 참이다. Implication 함축(조건 명제) p -> q p q p->q T T T T F F F T T F F T 참 값이고 거짓 값일 때만 .. 2021. 7. 12.
Git 설치하기 https://git-scm.com/downloads Git - Downloads Downloads macOS Windows Linux/Unix Older releases are available and the Git source repository is on GitHub. GUI Clients Git comes with built-in GUI tools (git-gui, gitk), but there are several third-party tools for users looking for a platform-specific exp git-scm.com 여기로 들어가서 운영체제에 맞는거 설치하기 설치된 exe파일 설치하는데 다 기본값으로 설치하면 됩니다. 다 next 눌러주기 설치한 후 Git Bas.. 2021. 7. 9.
[Docker Error] WSL 2 installation is incomplete 위와 같은 에러가 발생할 시 https://aka.ms/wsl2kernel Windows 10에 WSL 설치 Bash 터미널을 사용하여 Linux 배포(Ubuntu, Debian, SUSE, Kali, Fedora, Pengwin 및 Alpine 포함)를 Windows 10 머신에 설치하는 방법을 알아봅니다. docs.microsoft.com 링크로 접속하여 준다. 위의 커널 업데이트 패키지를 다운로드 후 설치하여준다. 도커가 실행되는 것을 확인할 수 있다. 2021. 7. 1.

티스토리툴바